Visual Lambda Calculus – a thesis project (2008) revived for the web

Hacker News

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-lambda It 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

Visit product View on Hacker NewsFeb 28, 2026

Share card

Actual performance

49points

9comments

Made the leaderboard

Launch Intel predictions

Analyze your own launch →

AppSumoStrong fit for a featured deal · Missing: plus, platform, intuitive

59%59% predicted probability of success on AppSumo, based on ML models trained on real launch data.

best fitHighest predicted score across all platforms for this description.

Hacker NewsStrong engagement from HN community · Strong signals: io · Missing: https docs, excited, just released

51%51% predicted probability of success on Hacker News, based on ML models trained on real launch data.

nativeThis product was originally launched on this platform.

Product HuntOn track for Day 1 leaderboard · Strong signals: visual · Missing: mac, agents, macos

50%50% predicted probability of success on Product Hunt, based on ML models trained on real launch data.

Indie HackersIH features products with proven revenue · Missing: supports, reddit linkedin, podcasting

41%41% predicted probability of success on Indie Hackers, based on ML models trained on real launch data.

TrustMRRLess likely to generate early MRR · Missing: mobile apps, ios, personal

31%31% predicted probability of success on TrustMRR, based on ML models trained on real launch data.

Acquire.comPre-revenue stage for this audience · Strong signals: active · Missing: arr, mrr, revenue

13%13% predicted probability of success on Acquire.com, based on ML models trained on real launch data.

BetaListMay not resonate with beta-testers · Missing: web3, chat, crypto

2%2% predicted probability of success on BetaList, based on ML models trained on real launch data.

Correct prediction on native model

Similar products

Dada Web, a visual experiment55%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Dada Web, a visual experiment

Hacker News1

Visual Debug- A Visual feedback tool for any web project60%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Visual Debug- A Visual feedback tool for any web project

Hacker News2

A prototype of a new visual web scraper project49%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

A prototype of a new visual web scraper project

Hacker News16

My afternoon project, Clustergram55%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

My afternoon project, Clustergram

Hacker News1

Project Maya72%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Project Maya

Hacker News88

Project Fedena52%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Project Fedena

Hacker News1

My 24hour hack project50%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

My 24hour hack project

Hacker News1

Launched my first project42%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Launched my first project

Hacker News1

OneVote, a hackathon project.45%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

OneVote, a hackathon project.

Hacker News1

Frankenstorm Tshirts (Sunday project)52%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Frankenstorm Tshirts (Sunday project)

Hacker News3

Browse all products Analyze your launch