Quote of the Day
Voting:
-
0
+
Every semester there's this evangelical team member who wants to use Rust for the compiler and convinces the rest of the team to come along. Here's what I'll tell you - there has been one successful Rust group in the history of this class.
— Andrew Myers,
during the first Compilers class
Jan. 23, 2023
Recent Quotes
-
Voting:
-
0
+
I find doing proofs in Coq quite relaxing— Jules Jacobs, Discussing mechanized proofs with Mark Moeller and Nate Foster · Sept. 17, 2024 · Permalink
-
Voting:
-
0
+
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:
-
0
+
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:
-
0
+
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:
-
0
+
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:
-
0
+
I've seen Zootopia— Marten van Schijndel, being a millenial · March 19, 2024 · Permalink
-
Voting:
-
0
+
I love eating espresso pods. nom nom nom— Marten van Schijndel, syntactic islands · March 19, 2024 · Permalink
-
Voting:
-
0
+
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:
-
0
+
live, laugh, love DPD— Kayla Sprayberry, moments of love from Intro to Digital Product Design · Feb. 8, 2024 · Permalink
-
Voting:
-
0
+
I know of no logic, except my own.— Shir Cohen, when presented with a temporal logic formula. · Oct. 23, 2023 · Permalink
-
Voting:
-
0
+
"I only write segfault free code"— Suraaj Sureshkannan, A naive junior grad student. · Oct. 1, 2023 · Permalink
-
Voting:
-
0
+
I'm gonna be super corporate and eat a salad.— Albert Gong, None · Sept. 12, 2023 · Permalink