Mercurial > repo
comparison quotes @ 2683:cc943e323295
<elliott> revert
| author | HackBot |
|---|---|
| date | Sun, 14 Apr 2013 05:10:36 +0000 |
| parents | 55e4fd41c0f3 |
| children | 13a92c927196 |
comparison
equal
deleted
inserted
replaced
| 2682:55e4fd41c0f3 | 2683:cc943e323295 |
|---|---|
| 1024 <shachaf> oerjan is spreading the tired rumour that if you play Nietzsche backwards you hear Jewish messages. | 1024 <shachaf> oerjan is spreading the tired rumour that if you play Nietzsche backwards you hear Jewish messages. |
| 1025 <FreeFull> So a monoid is something like a mon, so for example pikachu is a monoid | 1025 <FreeFull> So a monoid is something like a mon, so for example pikachu is a monoid |
| 1026 <kmc> i had a dream just now where i was in a gymnasium and they had fire alarm pull stations but they also had a similarly shaped "call/cc alarm" which I think you were supposed to pull if you found a way to write call/cc (it was expected that people in this gymnasium would be doing a lot of programming in total dependently-typed languages) | 1026 <kmc> i had a dream just now where i was in a gymnasium and they had fire alarm pull stations but they also had a similarly shaped "call/cc alarm" which I think you were supposed to pull if you found a way to write call/cc (it was expected that people in this gymnasium would be doing a lot of programming in total dependently-typed languages) |
| 1027 <olsner> I've seen horses jump on tv, they can probably jump in scotland too | 1027 <olsner> I've seen horses jump on tv, they can probably jump in scotland too |
| 1028 <elliott> that is better than any made up story i was about to tell | 1028 <elliott> that is better than any made up story i was about to tell |
| 1029 <shachaf> "would be a good name for a band when preceded by its quotation" would be a good name for a band when preceded by its quotation |