| 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/"\\$@"/-- "$@"/
|
