Quote of the Day
Voting:
-
0
+
Householder did his work in the fifties - he was one of the founders of Numerical Algebra. He is now retired in Malibu. This will happen one day to me too: the "Van-Loan Matrix" has two columns at the top and three at the bottom. For that they'll let me retire in Elmira.
— Charlie Van Loan
Oct. 10, 1980
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