-
Voting:
-
7
+
On the Internet no one knows you're a Pokémon, and the adversary is trying to get all the Bitcoins for himself.
— Elaine Shi,
concluding talk at the end of the IC3/Ethereum Bootcamp
·
July 28, 2016
·
Permalink
-
Voting:
-
7
+
What are the eigenvalues of this butt?
— Eston Schweickart,
in response to a poor diagram
·
Feb. 19, 2016
·
Permalink
-
Voting:
-
7
+
This function is just a hundred-line switch statement in C. You can read and understand that even if you're a PL person.
— Robert Escriva,
responding to Laure during Systems Lunch
·
Feb. 20, 2015
·
Permalink
-
Voting:
-
7
+
I can't make sense of what's in the book.
— John Hopcroft,
On the Hopcroft & Ullman book
·
April 23, 1982
·
Permalink
-
Voting:
-
7
+
Student: In the recursive Towers of Hanoi program, how do you prove that you never put a disk on a smaller disk?
Gries: You prove it by recursion
Student: You prove it by recursion?
Gries: Sure, you just say, "By recursion."
— David Gries
·
Oct. 17, 1978
·
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
+
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