-
Voting:
-
0
+
In LaTeX, when you are the second reference, a dagger shows up... so it looks like you died.
— Dexter Kozen
·
2001
·
Permalink
-
Voting:
-
0
+
I've got to get out of this habit of defining things in terms of things I haven't defined yet.
— Dexter Kozen,
CS 686
·
2001
·
Permalink
-
Voting:
-
2
+
Why is it that any time I mention anything remotely connected to the lambda calculus everyone starts smirking?
— Dexter Kozen
·
2001
·
Permalink
-
Voting:
-
0
+
Demonic is Moore's Law... actually it's Murphy's Law.
— Dexter Kozen,
in a discussion about angelic operations
·
2001
·
Permalink
-
Voting:
-
1
+
The sun blows up... that seems to me as something that doesn't happen in a normal program.
— Dexter Kozen,
CS 686
·
2001
·
Permalink
-
Voting:
-
1
+
If everyone's happy with that, we'll call it a proof modulo all the cases we left out.
— Dexter Kozen,
CS 686
·
2001
·
Permalink
-
Voting:
-
0
+
I'm going to take another piece of chalk.
— Dexter Kozen,
CS 686
·
2001
·
Permalink
-
Voting:
-
1
+
I've got to stop working out -- I'm breaking all the chalk.
— Dexter Kozen,
CS 686
·
2001
·
Permalink
-
Voting:
-
0
+
Writing PP is hard and that's being polite about it... it's actually much harder than that.
— Dexter Kozen
·
2001
·
Permalink
-
Voting:
-
0
+
The difference is the program is running quickly in parallel vs. in parallel quickly.
— Dexter Kozen,
CS 686
·
2001
·
Permalink