This slide in particular reads like something you’d see on, I dunno, Astral Codex Ten.

It’s a symptom of a broader decline of culture even in highly intellectualized fields like modern mathematics. Top mathematicians are now indistinguishable from lesswrong posters.

Indeed.

where have you gone, Herbert Simon, a nation turns its lonely eyes to you etc etc.

Bertolt Brecht, "Stories of Mr. Keuner"

This was another standout passage:

By the way, Wolfgang Panofsky, who coauthored a very well-known text on electromagnetism with Melba Phillips, was Erwin Panofsky’s son, and his brother was also a physicist.

This passage stood out to me as well. But it’s a very deep and multilayered essay overall.

Y’all better be aiming at the good life, with and for others, in just institutions. Just sayin’.

I need to start carrying Cioran and Eliade in my bag alongside this book, for the full Romanian immersion.

Quine's indeterminacy of translation obviously applies to the process of translating mathematical texts to their Lean formalizations. Useful to keep in mind in the context of all the current AI-and-math discourse.

I got the joke, don’t worry

The what

Oof, hope you take care of this ASAP.