log

age author description
Thu, 16 Jun 2016 09:39:48 +0000 HackBot <izabera> ` echo \'(( $# )) || set /dev/stdin\' >> bin/tac
Thu, 16 Jun 2016 09:39:25 +0000 HackBot <izabera> ` echo \'#!/bin/bash\' > bin/tac
Thu, 16 Jun 2016 09:37:42 +0000 HackBot <shachaf> rm bin/tac
Thu, 16 Jun 2016 08:31:34 +0000 HackBot <shachaf> sled wisdom/oerjan//s/over/zombie over/
Thu, 16 Jun 2016 08:17:38 +0000 HackBot <shachaf> ` hg cat -r 8437 wisdom/oerjan > wisdom/oerjan; rm wisdom/oerjan_
Thu, 16 Jun 2016 05:13:25 +0000 HackBot <shachaf> le/rn_append phenomenom/The collection of them is called "phenomenomenclature".
Thu, 16 Jun 2016 05:08:46 +0000 HackBot <shachaf> learn A phenomenom is a name given to a phenomenon.
Thu, 16 Jun 2016 05:03:58 +0000 HackBot <\oren\> learn A Steprans variable is a variable whose notation is variable.
Thu, 16 Jun 2016 05:03:12 +0000 HackBot <\oren\> learn A Tall proof is a proof with a small hole, which can only be filled by another Tall proof.
Thu, 16 Jun 2016 05:02:18 +0000 HackBot <shachaf> learn A perfunctory proof is a category-theoretical proof that cites Per Martin-L\xc3\xb6f.
Thu, 16 Jun 2016 04:56:50 +0000 HackBot <shachaf> le/rn modal logic/"modal logic" means "the most common logic" (that is, classical logic).
Thu, 16 Jun 2016 04:54:29 +0000 HackBot <shachaf> learn A matrix is just a matrix. Taneb invented them.
Tue, 14 Jun 2016 14:23:30 +0000 HackBot <oerjan> mkx bin/slwd//sled "wisdom/$1"
Tue, 14 Jun 2016 14:18:04 +0000 HackBot <int-e> ` sed -i s/person/lunatic/ wisdom/moon
Tue, 14 Jun 2016 12:56:32 +0000 HackBot <oerjan> sled wisdom/children//s/$/./
Tue, 14 Jun 2016 12:40:55 +0000 HackBot <oerjan> sled wisdom/erlang//s/./E/;s/$/./
Tue, 14 Jun 2016 10:50:49 +0000 HackBot <hppavilion[1]> learn Children are a fungible commodity
Tue, 14 Jun 2016 10:48:33 +0000 HackBot <hppavilion[1]> le/rn clever/Being clever is different from being wise, but they are indistinguishable in sufficiently large quantities.
Tue, 14 Jun 2016 01:41:15 +0000 HackBot <Sgeo> learn erlang has tricked people into loving global mutable variables while pretending to embrace immutability
Mon, 13 Jun 2016 08:26:16 +0000 HackBot <oerjan> learn Isms are philosophies, religions or ideologies that have branched off from older ones, such as Leninism or Buddhism. Etymologically "ism" is a backformation from portmanteaus on "schism".
Mon, 13 Jun 2016 08:25:51 +0000 HackBot <oerjan> learn Isms are philosophies, religions or ideologies that have branched off from older ones, such as Leninism or Buddhism. Etymologically "ism" is a backformation from portmanteaus on "schism".
Mon, 13 Jun 2016 08:24:54 +0000 HackBot <oerjan> learn Isms are philosophies, religions or ideologies that have branched off from older ones, such as Leninism or Buddhism. Etymologically from portmanteaus on "schism".
Mon, 13 Jun 2016 08:14:58 +0000 HackBot <oerjan> sled wisdom/java//s/./J/;s/$/./
Mon, 13 Jun 2016 08:13:25 +0000 HackBot <oerjan> learn OIC, OIC means Oh I see.
Mon, 13 Jun 2016 08:12:17 +0000 HackBot <oerjan> learn The IOCCC is the Industrial Ordovician COBOL Conference Circuit. Not to be confused with OIC. See also ioccclist.
Mon, 13 Jun 2016 07:55:16 +0000 HackBot <oerjan> le/rn tanebvention/Tanebventions include automatic squirrel feeders, necessity, Go, submarine jousting, the universe, weetoflakes, persistence, the BBC, progress, and this sentence. See also tanebventions (math). He never invents anything involving sex.
Mon, 13 Jun 2016 07:53:53 +0000 HackBot <oerjan> le/rn tanebventions (math)/Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, the reals, Lambek\'s lemma, pointless topology, and histograms.
Mon, 13 Jun 2016 06:56:31 +0000 HackBot <oerjan> learn Implication is a useful rhetorical device, if you know what I mean.
Mon, 13 Jun 2016 03:49:48 +0000 HackBot <tswett> learn Violation is the act of playing an instrument in the viola family.
Mon, 13 Jun 2016 00:05:58 +0000 HackBot <shachaf> le/rn complete heyting algebra/A complete Heyting algebra is just a cartesian closed complete lattice.