Recent Quotes
-
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
-
Voting:
-
5
+
All will hear the jingle-jangle of her strings, and despair!
— Michael Roberts,
Discussing the potential "greatest and most terrible of mandolinists"
·
Jan. 24, 2019
·
Permalink
-
Voting:
-
0
+
Pain, pain, pain, pain
— Newton Ni,
when asked what is P4
·
Dec. 16, 2018
·
Permalink
-
Voting:
-
11
+
I'm written in Rust and Haskell. That's why I don't do anything.
— Wil Thomason,
explaining his problems with the real world
·
Nov. 29, 2018
·
Permalink
-
Voting:
-
9
+
Most of us know Fabian for his department service and his cakes. If you don't know what I mean about cakes, you haven't been spending enough time at department picnics.
It turns out he does research as well.
— Bobby Kleinberg,
introducing Fabian Muehlboeck at colloquium
·
Nov. 27, 2018
·
Permalink
-
Voting:
-
1
+
Stack Overflow often has the answer for how to look up the answer, though.
— Drew Zagieboylo,
explaining how to figure out how to profile Java
·
Nov. 19, 2018
·
Permalink
-
Voting:
-
4
+
You've noticed in this class, we've used whatever notation is convenient.
— John Hopcroft,
explaining Turing Machines
·
Nov. 17, 2018
·
Permalink
-
Voting:
-
1
+
If you want to know when he's up, just keep texting him, "U up?"
— Isaac Sheff,
on how to keep tabs on one's friends
·
Nov. 16, 2018
·
Permalink
-
Voting:
-
9
+
That’s just a polynomial time algorithm for 3-CNF
— John Hopcroft,
after being asked what was in the box he drew on the chalkboard
·
Nov. 16, 2018
·
Permalink
-
Voting:
-
5
+
Any movie with a decapitated horse's head is a gift.
— Rolph Recto,
Discussing The Godfather
·
Nov. 14, 2018
·
Permalink
-
Voting:
-
0
+
Ross: Oh, did I tell you last time I played Pokémon I named my rival Fabian?
Fabian: why your rival?
Ross: well I only get to name myself and my rival, and *I'm* obviously Ross.
Fabian: well, I *guess* I'm honored...
— Ross Tate and Fabian Muehlboeck,
driving home from SPLASH
·
Nov. 9, 2018
·
Permalink