Mercurial > repo
changeset 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 |
| files | quotes |
| diffstat | 1 files changed, 1 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/quotes Sat Apr 13 02:28:40 2013 +0000 +++ b/quotes Sat Apr 13 15:07:55 2013 +0000 @@ -1023,3 +1023,4 @@ <fizzie> "May you live in INVISIBLE TIMES." --Old Chinese proverb. (It can look confusing when written with the proper Unicode.) <shachaf> oerjan is spreading the tired rumour that if you play Nietzsche backwards you hear Jewish messages. <FreeFull> So a monoid is something like a mon, so for example pikachu is a monoid +<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)