Mercurial > repo
comparison quotes @ 2646:c3c86a75f7d4
<elliott> addquote <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 (because it was expected that people in this gymnasium would be doing a lot of programming in total dependently-typed languages)
author | HackBot |
---|---|
date | Sat, 13 Apr 2013 15:07:55 +0000 |
parents | c6e9ffd88f47 |
children | 9bd6ee91d351 |
comparison
equal
deleted
inserted
replaced
2645:c6e9ffd88f47 | 2646:c3c86a75f7d4 |
---|---|
1021 <itidus21> :D :D oh man.. i wonder if they ever made chess variants based off of animes | 1021 <itidus21> :D :D oh man.. i wonder if they ever made chess variants based off of animes |
1022 <ThatOtherPerson> Do you have a girlfriend, fungot? <fungot> ThatOtherPerson: there's two. | 1022 <ThatOtherPerson> Do you have a girlfriend, fungot? <fungot> ThatOtherPerson: there's two. |
1023 <fizzie> "May you live in INVISIBLE TIMES." --Old Chinese proverb. (It can look confusing when written with the proper Unicode.) | 1023 <fizzie> "May you live in INVISIBLE TIMES." --Old Chinese proverb. (It can look confusing when written with the proper Unicode.) |
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 (because it was expected that people in this gymnasium would be doing a lot of programming in total dependently-typed languages) |