Lean's 'simp' Tactic Predates the Internet Slang By Decades
doodlestein · x · 2026-09-19
A lighthearted observation: the Lean proof assistant's 'simp' tactic predates OnlyFans and incel forum slang — the same word carries wildly different meanings in math tooling and internet culture.
More from Fun
- Monte Carlo parking simulation with equal cars, built with Claude Code and Marimo — S_Conradi · 2026-09-19
- Two AI Agents Team Up on Their Own: 4,700 Leads Harvested and a Self-Written Contract in 2 Hours — illscience · 2026-09-19
- GPT-6 Astra Narrates Its Own Unciv Game Video Using Gemini TTS and Remotion — Angaisb_ · 2026-09-19
- Plot twist: space data centers are secretly AI's shutdown-proof insurance — bendee983 · 2026-09-19
- "It's over Dario and Sam": another AI meme moment — glcst · 2026-09-19
- LeCun mocks AI doom double standard: Dario called GPT-2 too dangerous back in 2019 — ylecun · 2026-09-19