log

age author description
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.
Mon, 13 Jun 2016 00:00:22 +0000 HackBot <shachaf> sled wisdom/frame//s/However, f/F/
Sun, 12 Jun 2016 11:45:27 +0000 HackBot <shachaf> sedlast s./..
Sun, 12 Jun 2016 11:44:55 +0000 HackBot <shachaf> le/rn pointless topology//Pointless topology is the kind of topology Taneb invents.
Sun, 12 Jun 2016 11:27:29 +0000 HackBot <shachaf> sedlast s/The difference is that/However,/;s/ism doesn\'t/isms don\'t/;s/a f/f/
Sun, 12 Jun 2016 11:26:03 +0000 HackBot <shachaf> sedlast s/y/yt/
Sun, 12 Jun 2016 11:22:03 +0000 HackBot <shachaf> learn A frame is just a complete Heying algebra. The difference is that a frame homomorphism doesn\'t preserve implication, if you know what I mean.
Sun, 12 Jun 2016 11:17:08 +0000 HackBot <shachaf> sled wisdom/locale//s/a question //
Sun, 12 Jun 2016 11:14:54 +0000 HackBot <shachaf> le/rn stone space/Stone spaces were invented by P. T. Barnum as a hoax.
Sun, 12 Jun 2016 11:02:56 +0000 HackBot <shachaf> learn Locales are just frames, which are just complete Heyting algebras. Taneb accidentally invented them by asking a question about lattices. The only locale available in #esoteric is en_NZ.UTF-8.
Sun, 12 Jun 2016 10:59:22 +0000 HackBot <shachaf> le/rn sober space/Sober spaces are the dual of Stoned spaces. Taneb invented them.
Sun, 12 Jun 2016 07:11:42 +0000 HackBot <shachaf> mkx bin/now//lastfiles "$@" | while read f; do echo -n "$f//"; cat "$f"; done
Sun, 12 Jun 2016 00:56:19 +0000 HackBot <moon_> addquote <oerjan> i don\'t approve of nuclear-free zones; without nuclei we\'d not exist hth
Sun, 12 Jun 2016 00:37:39 +0000 HackBot <shachaf> sled bin/hog//s/"\\$@"/-- "$@"/
Sun, 12 Jun 2016 00:37:34 +0000 HackBot <shachaf> sled bin/hoag//s/"\\$@"/-- "$@"/
Sun, 12 Jun 2016 00:35:32 +0000 HackBot <shachaf> sled bin/lastfiles//s/log/log --removed/
Sun, 12 Jun 2016 00:33:11 +0000 HackBot <shachaf> sled bin/before//s/log/log --removed/
Sat, 11 Jun 2016 14:30:22 +0000 HackBot <int-e> rm wisdom/godot
Sat, 11 Jun 2016 05:19:49 +0000 HackBot <shachaf> le/rn per martin-l\xc3\xb6f/"per Martin-L\xc3\xb6f" is a common citation lazy logicians use when they don\'t want to prove their theorems. It rarely gets past peer review.
Sat, 11 Jun 2016 05:09:36 +0000 HackBot <oerjan> learn peer gynt is a famous norwegian troll. nowadays he amuses himself by resetting people\'s irc connections.