Mercurial > repo
graph
-
<shachaf> le/rn complete heyting algebra/A complete Heyting algebra is just a cartesian closed complete lattice.Mon, 13 Jun 2016 00:05:58 +0000, by HackBot
-
<shachaf> sled wisdom/frame//s/However, f/F/Mon, 13 Jun 2016 00:00:22 +0000, by HackBot
-
<shachaf> sedlast s./..Sun, 12 Jun 2016 11:45:27 +0000, by HackBot
-
<shachaf> le/rn pointless topology//Pointless topology is the kind of topology Taneb invents.Sun, 12 Jun 2016 11:44:55 +0000, by 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:27:29 +0000, by HackBot
-
<shachaf> sedlast s/y/yt/Sun, 12 Jun 2016 11:26:03 +0000, by 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:22:03 +0000, by HackBot
-
<shachaf> sled wisdom/locale//s/a question //Sun, 12 Jun 2016 11:17:08 +0000, by HackBot
-
<shachaf> le/rn stone space/Stone spaces were invented by P. T. Barnum as a hoax.Sun, 12 Jun 2016 11:14:54 +0000, by HackBot
-
<shachaf> le/rn sober space/Sober spaces are the dual of Stoned spaces. Taneb invented them.Sun, 12 Jun 2016 10:59:22 +0000, by HackBot
-
<shachaf> mkx bin/now//lastfiles "$@" | while read f; do echo -n "$f//"; cat "$f"; doneSun, 12 Jun 2016 07:11:42 +0000, by HackBot
-
<moon_> addquote <oerjan> i don\'t approve of nuclear-free zones; without nuclei we\'d not exist hthSun, 12 Jun 2016 00:56:19 +0000, by HackBot
-
<shachaf> sled bin/hog//s/"\\$@"/-- "$@"/Sun, 12 Jun 2016 00:37:39 +0000, by HackBot
-
<shachaf> sled bin/hoag//s/"\\$@"/-- "$@"/Sun, 12 Jun 2016 00:37:34 +0000, by HackBot
-
<shachaf> sled bin/lastfiles//s/log/log --removed/Sun, 12 Jun 2016 00:35:32 +0000, by HackBot
-
<shachaf> sled bin/before//s/log/log --removed/Sun, 12 Jun 2016 00:33:11 +0000, by HackBot
-
<int-e> rm wisdom/godotSat, 11 Jun 2016 14:30:22 +0000, by HackBot
-
<oerjan> learn peer gynt is a famous norwegian troll. nowadays he amuses himself by resetting people\'s irc connections.Sat, 11 Jun 2016 05:09:36 +0000, by HackBot
-
<moon_> addquote <zzo38> Why does my computer support only one colormap? <oerjan> because it\'s meta-racistSat, 11 Jun 2016 03:04:22 +0000, by HackBot
-
<oerjan> delquote 1280Sat, 11 Jun 2016 02:20:03 +0000, by HackBot
-
<moon_> addquote +++ Out of cheese error +++Sat, 11 Jun 2016 02:06:48 +0000, by HackBot
-
<oerjan> sled wisdom/moon//s/a/a murderous/Sat, 11 Jun 2016 01:40:35 +0000, by 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:52:27 +0000, by HackBot