-
Voting:
-
6
+
One second, my cat is sitting on my remote keyboard and it's causing my computer to do funny things. I'll be right back.
— Michael George,
during a review of combinatorial proofs
·
May 20, 2020
·
Permalink
-
Voting:
-
6
+
Will you stop learning after you graduate ? No! Why should our ML algorithms stop learning ?
— Chris De Sa,
while teaching online learning
·
May 6, 2020
·
Permalink
-
Voting:
-
6
+
If I had to pick a way to die: suffocated by baby golden retrievers.
— Molly Feldman
·
Sept. 6, 2019
·
Permalink
-
Voting:
-
6
+
Fun fact: A pipe organ is emacs, but for sound.
— Shrutarshi Basu
·
May 17, 2019
·
Permalink
-
Voting:
-
6
+
Tensors come from somewhere. They're not just something you start with in the morning.
...
Well, maybe my morning.
— Fredrik Kjolstad
·
April 25, 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:
-
6
+
What do you have against fixed point combinators?
— Adrian Sampson,
defensively professing
·
Oct. 12, 2018
·
Permalink
-
Voting:
-
6
+
I'm not in for the "Better" part, I'm just here for the anarchy
— Rachit Nigam,
Planning a Blades in the Dark session
·
Sept. 16, 2018
·
Permalink
-
Voting:
-
6
+
The first rule of fight club is: don't use large numbers.
— Greg Morrisett,
on constraints of using natural numbers in Coq
·
Aug. 28, 2017
·
Permalink
-
Voting:
-
6
+
lol, I haven't been quoted at all
— Dhruv Singhal,
commenting on how Prof. Gries has a longer history of being quoted than him.
·
March 29, 2017
·
Permalink
-
Voting:
-
6
+
It seems like someone will just come along and fork your system and call it "ThunderCoq"
— Xiang Long,
Discussing Names for Programming Languages that will sell
·
Feb. 10, 2016
·
Permalink
-
Voting:
-
6
+
Every day is Kenday.
— Edward Tremel,
Working on a Saturday
·
Dec. 12, 2015
·
Permalink
-
Voting:
-
6
+
P = NP or bust, I say.
— Nate Foster,
on fellowship application topics
·
Oct. 13, 2015
·
Permalink
-
Voting:
-
6
+
"Yes, Nate?" - Gün
"Jiggle your dongle." - Nate
— Nate Foster,
at the Industry-Academia Partnership Cloud Computing Workshop, helping Gun out with a blue problem
·
Oct. 2, 2015
·
Permalink
-
Voting:
-
6
+
It's comforting to know that every two months I'll feel like a failure.
— Tom Ristenpart,
on recurring bouts of Imposter Syndrome
·
Sept. 1, 2015
·
Permalink