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.
|
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.
|
Sat, 11 Jun 2016 03:04:22 +0000 |
HackBot |
<moon_> addquote <zzo38> Why does my computer support only one colormap? <oerjan> because it\'s meta-racist
|
Sat, 11 Jun 2016 02:20:03 +0000 |
HackBot |
<oerjan> delquote 1280
|
Sat, 11 Jun 2016 02:06:48 +0000 |
HackBot |
<moon_> addquote +++ Out of cheese error +++
|
Sat, 11 Jun 2016 01:40:35 +0000 |
HackBot |
<oerjan> sled wisdom/moon//s/a/a murderous/
|
Fri, 10 Jun 2016 07:54:27 +0000 |
HackBot |
<noloveinwaikiki> le/rn oerjan/pedantic like a STASI agent traces every unknown user. but why? game? tradition? misinformation? uncivilized sports .. ultraviolant on christmas eve. (old text: wisdom/oerjan_)
|
Fri, 10 Jun 2016 07:52:27 +0000 |
HackBot |
<noloveinwaikiki> le/rn oerjan_/"Your mysterious renouned cackling overlord emeritus oerjan is a lazy expert in future computation. Also a Precambrian Norwegian who mildly dislikes Roald Dahl with a passion. Lately when he tries to remember a word, \'amortized\' pops up instead. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it"
|
Fri, 10 Jun 2016 07:45:29 +0000 |
HackBot |
<noloveinwaikiki> le/rn oerjan/pedantic like a STASI agent traces every unknown user. but why? game? tradition? misinformation? uncivilized sports .. ultraviolant on christmas eve./
|
Fri, 10 Jun 2016 07:45:26 +0000 |
HackBot |
<noloveinwaikiki> le/rn oerjan/"pedantic like a STASI agent traces every unknown user in search for signys love. but why? game? tradition? desinformation? uncivilized sports .. ultrabrutal on christmas eve."
|
Fri, 10 Jun 2016 07:45:22 +0000 |
HackBot |
<noloveinwaikiki> le/rn oerjan/"pedantic like a STASI agent traces every unknown user. but why? game? tradition? misinformation? uncivilized sports .. ultraviolant on christmas eve."/
|
Fri, 10 Jun 2016 07:42:12 +0000 |
HackBot |
<noloveinwaikiki> le/rn oerjan/pedantic like a STASI agent traces every unknown user in search for signys love. but why? game? tradition? desinformation? uncivilized sports .. ultrabrutal on christmas eve.
|
Fri, 10 Jun 2016 03:13:21 +0000 |
HackBot |
<oerjan> ` mv wisdom/politic{,s}
|
Fri, 10 Jun 2016 03:12:57 +0000 |
HackBot |
<oerjan> learn Politics: See lies.
|
Fri, 10 Jun 2016 03:10:43 +0000 |
HackBot |
<shachaf> sled bin/before//s/-2/"$(hg log --template \'{rev}\\\\n\' "$f" | tail -n+2 | head -n1)"/
|
Fri, 10 Jun 2016 03:04:05 +0000 |
HackBot |
<shachaf> sled bin/lastfiles//s/....$/-- "$@"/
|
Fri, 10 Jun 2016 03:03:11 +0000 |
HackBot |
<shachaf> sled bin/before//s/files/files "$@"/
|
Fri, 10 Jun 2016 03:02:26 +0000 |
HackBot |
<shachaf> sled bin/lastfiles//s/$/ "$@"/
|
Fri, 10 Jun 2016 03:01:49 +0000 |
HackBot |
<shachaf> revert
|
Fri, 10 Jun 2016 03:01:07 +0000 |
HackBot |
<shachaf> mkx bin/before//([[ -n "$1" ]] && echo "$1" || lastfiles) | while read f; do echo -n "$f//"; hg cat -r -2 "$f"; done
|
Fri, 10 Jun 2016 03:00:21 +0000 |
HackBot |
<oerjan> undo 8426
|