-
Simple Sabotage
In 1944 the OSS wrote a field manual on how to sabotage meetings. It reads like the minutes of a faculty council.
-
mathe.social
mathe.social ist eine Mastodon-Instanz für alle, die Mathematik machen, lernen, lehren oder einfach mögen. Wer da ist, was es dort gibt und wie ihr mitmacht.
-
Theoremoids
A new word for what arrives in a mathematician's inbox these days: solutions that are probably true, sent by people who have no idea what they are sending.
-
Just ‘42’ tells us nothing.
When producing answers is no longer the distinctive skill of a mathematician, what is the value of an answer? Some thoughts on output versus competence.
-
Auto-formalization II: Now What?
Auto-formalization works. What comes next for Mathlib, costs, definitions, and the human role in mathematics?