Recent Quotes
-
Voting:
-
0
+
Truth and computation are identical.
— Bob Constable
·
Feb. 8, 1980
·
Permalink
-
Voting:
-
0
+
It has the same status as in classical math. You can worry about it.
— Bob Constable,
On the Axiom of Choice in constructive mathematics
·
Feb. 8, 1980
·
Permalink
-
Voting:
-
0
+
My goal in life is to not get into Upson's Familiar Quotations.
— Rick Schlichting
·
Feb. 8, 1980
·
Permalink
-
Voting:
-
0
+
PL/I is a disaster, right?
— Alan Demers
·
Feb. 6, 1980
·
Permalink
-
Voting:
-
1
+
If none of the faculty show up, this talk is going to be about Stellar Conquest.
— Scott Johnson
·
Jan. 31, 1980
·
Permalink
-
Voting:
-
0
+
I don't really care about the asymptotic running time of the algorithm; what I care about is how many blips it takes.
— Scott Johnson
·
Jan. 31, 1980
·
Permalink
-
Voting:
-
0
+
We want to lift ourselves out of the primitive recursive muck.
— Bob Constable
·
Jan. 30, 1980
·
Permalink
-
Voting:
-
0
+
This wealth of knowledge will get us confused.
— Bob Constable
·
Jan. 28, 1980
·
Permalink
-
Voting:
-
0
+
I think right linear.
— Alan Demers
·
Jan. 23, 1980
·
Permalink
-
Voting:
-
0
+
You don't solve NP-complete problems in your compiler.
— Alan Demers
·
Jan. 21, 1980
·
Permalink
-
Voting:
-
1
+
The major problem with many articles is not that they are wrong, but that they are ugly.
— Edsger W. Dijkstra
·
Jan. 15, 1980
·
Permalink
-
Voting:
-
3
+
It's good to write a program occasionally ... as long as you don't run them.
— Edsger W. Dijkstra
·
Jan. 15, 1980
·
Permalink