March 2, 2026
Bubbles, beef, and beta‑reduction
Show HN: Visual Lambda Calculus – a thesis project (2008) revived for the web
2008 math toy gets a web glow‑up—and the comments are wild
TLDR: A 2008 master’s thesis is now a web toy that visualizes lambda calculus with colorful bubbles and shareable puzzles. Commenters loved the teaching potential but debated utility, compared it to John Tromp’s diagrams, and called for a modern, physics‑y remake—while clicking the demo and swapping puzzle links nonstop.
An old master’s thesis is back as Visual Lambda, a web toy that turns brain‑bending math (lambda calculus) into colorful bubbles you can drag, animate, and even solve puzzles with. The dev dropped live demos and a puzzle mode. Nostalgia popped, and comparisons flew as the author set factorial(3) side‑by‑side with John Tromp’s visual diagrams to spotlight Bubble Notation’s smooth reductions.
Then the thread split. One camp—teachers, students, and the curious—called it a teaching dream that finally makes abstract ideas watchable. The other camp shrugged: cute eye candy, but will it help anyone write code? A mini‑skirmish broke out over untyped versus typed versions and requests for step‑by‑step clarity. Modernizers begged for a shinier rewrite—think WebGL sparkle and springy physics—while purists defended the retro feel and focus.
Humor kept it buoyant. Commenters joked their browsers were “doing math yoga,” flexed speed‑runs of the golden‑coin puzzles, and revived the classic “Alligator Eggs vs Bubbles” rivalry. Meanwhile, link‑hoppers ping‑ponged between Tromp’s diagrams and the site, sharing custom puzzle URLs like trading cards. Love it or roast it, everyone agreed: it’s mesmerizing—and dangerously clickable.
Key Points
- •Visual Lambda, a 2008 thesis project, has been revived for the web to visualize untyped lambda calculus using Bubble Notation.
- •The tool animates beta-reduction, supports step-by-step execution with undo/redo per term, and allows drag-and-drop construction of applications.
- •A live demo, an interactive Lambda Puzzles challenge, and several demonstration videos are provided.
- •Local execution requires Python 3.8+ and pygame-ce 2.5.6, with controls and shortcuts documented in included files.
- •Future work proposes a modern reimplementation with physics-like interactions and clearer lazy-evaluation visualization; the project is licensed under LGPL v3.0.