Quote of the Day
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
Recent Quotes
-
Voting:
-
-609
+
I find doing proofs in Coq quite relaxing
— Jules Jacobs,
Discussing mechanized proofs with Mark Moeller and Nate Foster
·
Sept. 17, 2024
·
Permalink
-
Voting:
-
-618
+
Formally, multiplication takes bitstrings as inputs, but we're not Neanderthals, so let's instead say that multiplication takes numbers as inputs.
— Noah SD,
when giving an example of a one-way function in CS 4830 lecture
·
Sept. 3, 2024
·
Permalink
-
Voting:
-
-156
+
My wife still uses Emacs, which is the most contentious point in our marriage.
— Kilian Weinberger,
after stating that the first chatbot ELIZA shipped with Emacs
·
Aug. 29, 2024
·
Permalink
-
Voting:
-
-5
+
We use this thing called Ed Discussions. I don't know why they call it that. When you look it up online you get all sorts of wrong results.
— Anonymous Professor,
inaugural TA meeting
·
Aug. 21, 2024
·
Permalink
-
Voting:
-
-5
+
We should just shut down CMS .... just give up
— Noah Schiff, CMSX team lead,
when looking at the CMSX codebase
·
April 18, 2024
·
Permalink
-
Voting:
-
-5
+
I've seen Zootopia
— Marten van Schijndel,
being a millenial
·
March 19, 2024
·
Permalink
-
Voting:
-
78
+
I love eating espresso pods. nom nom nom
— Marten van Schijndel,
syntactic islands
·
March 19, 2024
·
Permalink
-
Voting:
-
-3
+
Do I have to tell you what a category is? I'm gonna tell you what a category is.
— Dexter Kozen,
Kleene Algebra Lecture, introducing adjunctions
·
Feb. 15, 2024
·
Permalink
-
Voting:
-
-4
+
live, laugh, love DPD
— Kayla Sprayberry,
moments of love from Intro to Digital Product Design
·
Feb. 8, 2024
·
Permalink
-
Voting:
-
-5
+
I know of no logic, except my own.
— Shir Cohen,
when presented with a temporal logic formula.
·
Oct. 23, 2023
·
Permalink
-
Voting:
-
-4
+
"I only write segfault free code"
— Suraaj Sureshkannan,
A naive junior grad student.
·
Oct. 1, 2023
·
Permalink
-
Voting:
-
-4
+
I'm gonna be super corporate and eat a salad.
— Albert Gong,
None
·
Sept. 12, 2023
·
Permalink