Mercurial > repo

diff quotes @ 2648:732f7cec564a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<kmc> 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 (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:18:33 +0000
parents 9bd6ee91d351
children 4520e953fa79
line wrap: on
line diff
--- a/quotes	Sat Apr 13 15:18:15 2013 +0000
+++ b/quotes	Sat Apr 13 15:18:33 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 (it was expected that people in this gymnasium would be doing a lot of programming in total dependently-typed languages)