Quote of the Day
Voting:
-
0
+
Aside: I was thinking to myself this morning: the fact that we are giving you yet another update makes me want to stab myself in the eye, and also I was thinking that some of you might want to beat me to that. I was so distracted by this thought that I didn't watch where I was going, and I got hit in the head by a lowering parking-garage arm.
So take what comfort you can out of the fact that the universe is extracting its cosmic revenge on me for you.
— Lillian Lee
Oct. 19, 2022
So take what comfort you can out of the fact that the universe is extracting its cosmic revenge on me for you.
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