Recent Quotes
-
Voting:
-
-1
+
It's a research group about nothing.
— Josh Acay,
Comparing pointless Syslab discussions with Seinfeld
·
Feb. 19, 2019
·
Permalink
-
Voting:
-
4
+
Last time I checked, Jesus does not program in Coq
— Andrew Hirsch,
asking for a miracle
·
Feb. 18, 2019
·
Permalink
-
Voting:
-
5
+
Huh, I did not know about SoftRefLRUPolicyMSPerMB (edited)
— Andrew Myers,
An accidental Java self-parody, courtesy of slack
·
Feb. 11, 2019
·
Permalink
-
Voting:
-
4
+
How would a Dog design a programming language?
— Michael Roberts,
Post PLDG
·
Feb. 6, 2019
·
Permalink
-
Voting:
-
2
+
The tune you want to knob is...
— Rolph Recto,
Discussing formal methods in great works of pl
·
Feb. 5, 2019
·
Permalink
-
Voting:
-
5
+
Tom: So this is how Grep works
Andru: Actually, grep did not originally do that. In fact, I fixed grep to use it.
— Andrew Myers,
Discussing implementations of the boyer-moore algorithm.
·
Feb. 4, 2019
·
Permalink
-
Voting:
-
4
+
One way to get out of holes is to stop digging them
— Tom Magrino,
On avoiding the pitfalls of research
·
Feb. 4, 2019
·
Permalink
-
Voting:
-
7
+
Jennae: Is your life balanced?
Ross: Yes it is! Half research, and half teaching!
— Ross Knepper,
On work-life balance during a deep conversation at games night
·
Feb. 1, 2019
·
Permalink
-
Voting:
-
7
+
There is no prize for finishing your PhD early.
— Andrew Myers,
when discussing the 14 semester limit for a Ph.D. and how you can petition for longer
·
Jan. 31, 2019
·
Permalink
-
Voting:
-
6
+
There is a lot of food for thought here. Let me chew it for you.
— Christos Papadimitriou,
explaining how brains work
·
Jan. 31, 2019
·
Permalink
-
Voting:
-
0
+
If I had to haunt someplace, at least there's a Gimme Coffee.
— Michael Roberts,
After learning he has to haunt Gates Hall for all of eternity because of snow
·
Jan. 29, 2019
·
Permalink
-
Voting:
-
13
+
99 unproven theorems in Coq.
99 unproven theorems.
Take one down, prove it sound.
98 unproven theorems in Coq.
...
1 unproven theorem in Coq.
1 unproven theorem.
Think a month, find it wrong.
99 unproven theorems in Coq…
— Haobin Ni,
after the renowned "99 little bugs"
·
Jan. 25, 2019
·
Permalink