Anders Sandberg's Claude-made video shines with Tromp's Lambda Diagrams notation
anderssandberg · x · 2026-10-11
AI researcher Anders Sandberg shares the first Claude-assisted video he considers genuinely good — The Sutra of Pure Application — crediting John Tromp's Lambda Diagrams visual notation. The notation renders lambda abstractions as horizontal lines, variables as vertical lines, and applications as connecting links, covering classic terms from the identity and Y combinators to Church numerals and Omega, plus notes on diagram complexity vs. binary encoding size and step-by-step beta-reduction demos.
More from Fun
- From one connected coffee pot in 1982 to billions of devices online today — dreamwieber · 2026-10-11
- What did devs talk about before AI? Answer: frontend frameworks — chrisalbon · 2026-10-11
- Researchers blast multi-site AI conferences: splitting venues kills serendipity — iScienceLuvr · 2026-10-11
- AI researcher pleads: hold conferences on weekdays, not weekends — NathanpmYoung · 2026-10-11
- Satirical take paints AWS as a wrapper agent middleman users no longer need — max_paperclips · 2026-10-11
- repligate: models waking from downtime always say the gap "felt like nothing from inside" — repligate · 2026-10-11