Anthropic engineer Neil Conway jokes: 'Take that, formal methods researchers!'
neil_conway · x · 2026-11-12
Neil Conway tweeted "Take that, formal methods researchers!" with a link. The lighthearted jab is making the rounds in the AI engineering community as a fun aside.
More from Fun
- Jensen Huang 'resigns' meme: fake LinkedIn resume lists Denny's dishwasher gigs — citrini · 2026-11-13
- 15,000 chess games over 13 years: Elo flatlined for 6 years, then rose again — _aidan_clark_ · 2026-11-13
- August 1969: the computer art contest that predicted we'd learn to love machine art — Merzmensch · 2026-11-13
- The meme cycle is now faster than the news cycle — signulll · 2026-11-13
- Steve Yegge's Bash Agent Factory Hit macOS Limits, Forcing a Python Rewrite — Steve_Yegge · 2026-11-13
- Jensen Huang's exit revives 2022 lore of his feud with Anthropic's Amodei — IgorCarron · 2026-11-13