Dad makes daughter's boyfriend formally verify his intentions in Lean
marktenenholtz · x · 2026-09-24
AI-circle joke: while other dads ask their daughter's boyfriend about his intentions, marktenenholtz makes him formally verify those intentions in Lean — nerdy humor that resonated.
More from Fun
- AI demo clones a Windows-like interface, down to the OS look — generativist · 2026-09-24
- When "Make no mistake" in real speech sparks AI-psychosis jokes — soleio · 2026-09-24
- A pacifier-sucking kitten enters GTA Vice City via AI third-person gameplay generator — Aiden_Tech_Ai · 2026-09-24
- Demo shows a generated bird 'kindly sharing the frame' in a fun clip — misovalko · 2026-09-24
- 'If AI can solve anything with millions of dollars of reasoning, ask it how to cluster standard errors' — daveholtz · 2026-09-24
- AI is eager to add code but never to delete it, dev laments — DanielLockyer · 2026-09-24