Meme: Equality from classical logic and Martin-Löf to univalence to JavaScript's [undefined]==0
miniapeur · x · 2026-10-23
An expanding-brain meme ranks four notions of equality: classical x=y or x≠y, Martin-Löf identity types, univalent equality (X≅Y)≅(X=Y), and the 'enlightened' final form — JavaScript's [undefined]==0.
More from Fun
- DeepMind's IPO Paper Gets a 1000x Citation 'Hack' — Thanks to Another Paper Named IPO — _lewtun · 2026-10-23
- Kling 4.0 nails authentic early-2000s MiniDV home video aesthetics — Forsaken_Stuff_Ai · 2026-10-23
- God rewrote the universe in Rust — and a 19yo with an anime avatar corrected His borrow checker — CtrlAltDwayne · 2026-10-23
- DNS records show India's "govt cloud" mgovcloud.in actually runs on Zoho's IP space — kingslyj · 2026-10-23
- Local LLM benchmark drama: unrepeatable scores spark call for AIPerf standard — TheZachMueller · 2026-10-23
- Meme: New Haskell programmers grapple with Monads while category theorists keep a whole cabinet of higher abstractions — miniapeur · 2026-10-23