-
Voting:
-
19
+
The weird thing is, there are like sometimes competent people in business school
— Jonathan DiLorenzo,
explaining career options for operations research
·
Oct. 30, 2017
·
Permalink
-
Voting:
-
19
+
I was the future once...
— Cristian Danescu-Niculescu-Mizil,
reminiscing about his time as a PhD student
·
Aug. 30, 2016
·
Permalink
-
Voting:
-
17
+
I was a mushroom once.
— Dexter Kozen
·
June 17, 2016
·
Permalink
-
Voting:
-
16
+
Assuming the lower bound is death...
— Sam Havron,
when discussing potential fatal (or worse) scenarios in arbitrary environments
·
Aug. 19, 2017
·
Permalink
-
Voting:
-
16
+
Let me prove a lemma which isn't quite true.
— John Hopcroft,
CS 4850 lecture
·
March 8, 2017
·
Permalink
-
Voting:
-
16
+
I like my women how I like my coffee...bitter.
— Kevin Sekniqi
·
Oct. 28, 2015
·
Permalink
-
Voting:
-
15
+
What doesn't kill you ... makes you sad.
— Ethan Cecchetti,
regarding being a graduate student and in response to repeated declarations of "what doesn't kill you makes you stronger".
·
Sept. 27, 2019
·
Permalink
-
Voting:
-
15
+
There's very few ways I could describe JavaScript without using curse words.
— Kyle Harms,
helping a student debug JavaScript code
·
Nov. 6, 2018
·
Permalink
-
Voting:
-
15
+
We're in a bit of a pickle.
— Andrew Myers,
Talking about Spectre, Meltdown, and other speculative attacks in 6113
·
Aug. 27, 2018
·
Permalink
-
Voting:
-
15
+
You are not four
— Stephanie Meik,
reaction to a CS graduate student writing on a desk in the MEng lounge
·
Oct. 30, 2017
·
Permalink
-
Voting:
-
15
+
'No more than k threads are in the critical section at once'
You can achieve that by just not running any threads.
'No patient is ever given the wrong medication'.
That's also easy. You just take away Obamacare.
— Lorenzo Alvisi,
Talking about Safety Properties in CS4410
·
Feb. 14, 2017
·
Permalink
-
Voting:
-
14
+
Don't mind this. I'm just putting it here to scare everyone.
— Yoav Artzi,
when a slide of combinatory categorial grammar comes up.
·
Aug. 23, 2016
·
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
-
Voting:
-
13
+
"Classical and Nonclassical Logic." That seems to have it covered.
— Drew Zagieboylo,
not being constructive
·
July 27, 2018
·
Permalink
-
Voting:
-
13
+
I can't go to Moonies. I need a fake ID that says I'm under 19!
— Richard Bowen,
discussing where to go on Friday night after Argos.
·
Sept. 29, 2017
·
Permalink