Visual Lambda Calculus
a thesis project (2008) revived for the web
Details
- External ID
- 47191052
- Source
- HN
- Company
- —
- Product
- Visual Lambda Calculus
- Website domain
- github.com
- Launched
- Feb. 28, 2026
- Cohort
- —
- Upvotes
- 49
- Upvotes percentile
- 0.8140161725067385
- Tags
- —
- Fetched at
- Sept. 7, 2026, 9:25 p.m.
- Updated at
- Sept. 7, 2026, 9:25 p.m.
Description
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
Enrichment
- Theme
- 3D graphics and physics simulation tools
- Vertical
- Education
- Function
- Dev tools
- Audience
- Developer
- AI stance
- Not AI
- Project type
- Hobby / open-source project
- Normalized one-liner
- interactive lambda calculus visualization
- Manually corrected
- False
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 — 34 launches clear the similarity bar, closest 8 shown.
Attention rank: #10 of 35 (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.47
- Lambda 0.2 · hn · 2026-03-24 · 9 upvotes · similarity 0.41
- CategoryTheoryStudio · github · 2026-09-21 · 16 upvotes · similarity 0.39
- Rotation via Double Reflection · hn · 2026-08-21 · 61 upvotes · similarity 0.39
- 2D Coulomb Gas Simulator · hn · 2026-02-16 · 44 upvotes · similarity 0.37
- abstract-algebra-promo · github · 2026-09-28 · 101 upvotes · similarity 0.35
- Wikigraph · hn · 2026-06-02 · 12 upvotes · similarity 0.35
- SOURAV ROY · ph · 2026-09-21 · 1 upvotes · similarity 0.35
Other launches for this product
- No other launches for this product.
Same idea, different domain
Nobody's really built a dev tools tool for Sales yet.