Visual Lambda Calculus
a thesis project (2008) revived for the web
Get picks like this daily. Today's launch numbers, the top launches, AI and tech news, and a daily opportunity pick, straight to your inbox.
Want to reach these readers? Sponsor an issue.
Originally built as my master's thesis in 2008, Visual Lambda is a graphical environment where lambda terms are manipulated as draggable 2D structures ("Bubble Notation"), and beta-reduction is smoothly animated.I recently revived and cleaned up the project and published it as an interactive web version: https://bntre.github.io/visual-lambda/GitHub repo: https://github.com/bntre/visual-lambdaIt also includes a small "Lambda Puzzles" challenge, where you try to extract a hidden free variable (a golden coin) by constructing the right term: https://github.com/bntre/visual-lambda#puzzles
HN · launched Feb 28, 2026 · 49 upvotes (top 19%) · 0 views
Niche: interactive coding education platforms · 134 launches, 7 in the last 7 days ▼ -30% · Explore this niche →
Category and tags
- Education
- Dev tools
- Developer
- Not AI
- Hobby / open-source project
Visit website ↗ Source listing ↗
More like this: all 134 launches in interactive coding education platforms →
Could you build this?
Partial While an interactive web UI with canvas/SVG rendering can be vibe-coded, properly implementing the formal semantics of lambda calculus (AST reduction, capture-avoiding substitution, beta-reduction steps) and smooth 2D graph morphing requires significant theoretical computer science and graphics programming knowledge.
What it would actually take: A complete implementation requires a parser and abstract syntax tree evaluator for untyped or typed lambda calculus with step-by-step reduction rules, connected to a dynamic layout engine (e.g., D3 force or custom bubble layout algorithms). Rendering and animating beta reductions requires managing term substitutions visually without visual glitches or node collisions. Domain expertise in formal language semantics, lambda calculus, and complex canvas/SVG transition animations is required.
Discussion
9 comments analyzed.
Competitors mentioned: Ollama (model registry and distribution pattern), Jupyter notebooks (alternative for ML predictions), 2swap videos (lambda calculus visualization), John Tromp's Lambda Diagrams, Bubble Notation
Concerns raised: Missing categorical string diagrams support
Feature requests: Smooth animation of diagrams, Model registry for publishing pre-trained models, Support for Haskell Arrows notation
Competitors
Other products that read as similar to this one : 85 launches clear the similarity bar, closest 8 shown.
Attention rank: #22 of 86 (itself plus its competitors, highest first, normalized so YC and Product Hunt are compared fairly).
Launched 120 days after the earliest competitor.
- AttaLambda: a language where types and data are made of untyped lambdas · hn · 2026-09-14 · 44 upvotes · similarity 0.49
- Lambda 0.2 · hn · 2026-03-24 · 9 upvotes · similarity 0.42
- I built an interactive visual playground for interaction nets · hn · 2026-11-03 · 7 upvotes · similarity 0.40
- CategoryTheoryStudio · github · 2026-09-21 · 16 upvotes · similarity 0.40
- Rotation via Double Reflection · hn · 2026-08-21 · 61 upvotes · similarity 0.40
- 2D Coulomb Gas Simulator · hn · 2026-02-16 · 44 upvotes · similarity 0.38
- SOURAV ROY · ph · 2026-09-21 · 1 upvotes · similarity 0.37
- Wikigraph · hn · 2026-06-02 · 12 upvotes · similarity 0.37
The niche, labels, vibe code rating and competitor comparison on this page are analysis by Nicheloom. If you use them, please credit nicheloom.com. How you may use our data.