Yudkowsky jokes Dath ilan compensates for weak computers with self-referential LeanRustLisp
burny_tech · x · 2026-11-07
Eliezer Yudkowsky posts a fictional bit: in Dath ilan, people make up for weaker computers by programming in "LeanRustLisp" — a highly self-referential language designed both for easily-provable invariants and for compiling to fast machine code. He quips that the average person (himself) isn't smart enough to program in it — in-group humor about combining formal verification with performance programming.
More from Fun
- Planes can autoland in 75m-visibility fog, yet still need a human with glowing sticks to park — aakashgupta · 2026-11-07
- Reddit user posts a self-described balanced video recap of the Hugging Face incident — Flare_Devil_D · 2026-11-07
- AI agent simulation of Pepys and the Great Fire loops: wake, look, sleep — repligate · 2026-11-07
- AI short film 'THE AWAKENING' stuns with cinematic scale-texture realism — tanji_ri · 2026-11-07
- AI video 'Time Freeze' stuns: whole street frozen, one sheet of paper keeps moving — No-Influence-161 · 2026-11-07
- Mid-tier designer claims designer + Opus beats Jony Ive + Opus — CharlesLiu9 · 2026-11-07