-
Voting:
-
23
+
I take Andrew Myers' name in vain.
— Bob Constable,
on higher powers
·
May 6, 2015
·
Permalink
-
Voting:
-
3
+
We'll keep the windows closed so dogs don't jump in. Well, dogs don't usually jump in on the second floor.
— Bob Constable
·
May 4, 2015
·
Permalink
-
Voting:
-
9
+
Why is OCaml used more here than on the West Coast? I guess it's our proximity to France.
— Bob Constable
·
April 15, 2015
·
Permalink
-
Voting:
-
9
+
I'm Bob Constable, I forgot how long I've been here...
— Bob Constable,
introducing himself at visit day
·
March 9, 2015
·
Permalink
-
Voting:
-
6
+
In theory A, the A stands for America, 'cause we did it first.
— Bob Constable
·
Jan. 22, 2015
·
Permalink
-
Voting:
-
3
+
There is no accessible paper on type theory. I'm partially responsible, I've written three papers.
— Bob Constable
·
May 8, 1984
·
Permalink
-
Voting:
-
0
+
I know of no other logic in which one can say such complete and utter nonsense.
— Bob Constable
·
Oct. 3, 1983
·
Permalink
-
Voting:
-
0
+
I really believe that most of classical mathematics is meaningless at best.
— Bob Constable
·
Sept. 16, 1982
·
Permalink
-
Voting:
-
0
+
Well, it looks like today's lecture is going to be more confused than normal.
— Bob Constable
·
March 15, 1981
·
Permalink
-
Voting:
-
0
+
Student: I've never seen a computer that implements the integers.
Constable: Unfortunately, they're not building them the way they ought to.
— Bob Constable
·
Nov. 4, 1980
·
Permalink