The funniest stock character of Math days: the guy terrified by basic linear algebra (Lean-certifiably)
_onionesque · x · 2026-10-07
A tongue-in-cheek sketch of a classic stock character from "Math days": the guy who insists only knowledge matters — not the source or method — yet gets visibly terrified by basic linear algebra, provided the fear is Lean-certifiable. A jab at the formal proof community's obsession with rigor.
More from Fun
- Computer engineers knew it decades ago: computers are good at math — yunta_tsai · 2026-10-07
- rakyll shares Stage 1 cancer diagnosis, thanks Stanford and UCSF doctors — rakyll · 2026-10-07
- Cancer Researcher's Satirical Grief Post Over OpenAI 'Solving' Cancer Goes Viral — flowersslop · 2026-10-07
- Independent AI Auro Goes Viral: Community Blind Picks Shape Its Personality — TheMoonMidas · 2026-10-07
- Auro's Personality Came From Endless Iteration With Opus, Creator Says — TheMoonMidas · 2026-10-07
- Lawyer meme: my client couldn't have done it — that requires near-O(n log n) integer multiplication — airkatakana · 2026-10-07