BNbntr·Sep 20, 2025
The most complete catalog I've found:
https://github.com/prathyvsh/lambda-calculus-visualizations
In The Ruliology of Lambdasprathyvsh
lambda-calculus-visualizations
OPEN SOURCE2020–2026
prathyvsh / lambda-calculus-visualizations
lambda-calculus-visualizations
Catalog of visual lambda calculi
5Distinct people
8Mentions
0Explicit recommenders
184GitHub stars
What to know before exploring
What it is
Catalog of visual lambda calculi
GitHub
Where it is used
No documented product use has been verified yet.
What people are saying
No recommendation phrase was found in the indexed comments.
No classified warning is attached to this page. Read the discussions before treating silence as approval.
Also in these discussions
No other repository is repeatedly linked in the same discussions.
This week on Hacker News
Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 6:01:08 PM UTC.
No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.
Mentions over time
HN mentions by year8 dated mentions
Observed mentions: 2020-05-14 21:28:37 UTC to 2026-05-16 16:53:48 UTC.
* An incomplete calendar period is marked with an outlined bar. Its count is not directly comparable with a full period.
Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.
View mention counts and date ranges
| Period | Start (UTC) | End (exclusive, UTC) | Mentions | Submissions | Comments |
|---|---|---|---|---|---|
| 2020 | 2020-01-01 00:00:00 UTC | 2021-01-01 00:00:00 UTC | 1 | 1 | 0 |
| 2021 | 2021-01-01 00:00:00 UTC | 2022-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2022 | 2022-01-01 00:00:00 UTC | 2023-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2023 | 2023-01-01 00:00:00 UTC | 2024-01-01 00:00:00 UTC | 1 | 1 | 0 |
| 2024 | 2024-01-01 00:00:00 UTC | 2025-01-01 00:00:00 UTC | 2 | 2 | 0 |
| 2025 | 2025-01-01 00:00:00 UTC | 2026-01-01 00:00:00 UTC | 2 | 0 | 2 |
| 2026 (partial) | 2026-01-01 00:00:00 UTC | 2027-01-01 00:00:00 UTC | 2 | 0 | 2 |
What Hacker News says
2 sourcesDemo of some 'higher order' uses of roons[0]
Combine with tromp binary calculus[1][5] to demo 'free variable' as marble loop hole / 'jiggle' factor / statistical variance. (vs. original Lord Kelvin tide predicting machine)
Suppose would be bit tricky to orient pacman, even if for 1d roon pacman[3]. Roon pong version of [4] including 'roon marble matrix video'? Although, robotic pic-n-place / mechanical assembler for roon circuit assembly might make things bit easier. aka hardware implimentation of lisp.
Would be interesting to see an 80's 8bit computer (c64/atari) implimented in roon logic with LLM[2] to see how AI gets the proverbial ball rolling to arrive at a solultion(s).
Marble wrist watch[6] or marble slide rule might be more interesting.[6] (with RTC implimented in roon logic[7])
-----
[0] : https://whomtech.com/show-hn/
[1] : Tr
Read the rest
omp's binary lambda calculus, which is what Justine is using, is based on de Bruijn indices. : https://news.ycombinator.com/item?id=30494705
[2] : https://www.xda-developers.com/llm-running-commodore-64/
[3] : 1d pacman https://news.ycombinator.com/item?id=38845510
[4] : Original Pong did not have any code or even a microprocessor : https://news.ycombinator.com/item?id=31511719
[5] : misc. binary calculus notations : https://github.com/prathyvsh/lambda-calculus-visualizations
[6] : https://www.youtube.com/watch?v=UlvbLeI7l5w & https://www.youtube.com/watch?v=cUYleBSVsbE
[7] : https://www.thingiverse.com/thing:4917880