HackerReposA FIELD GUIDE TO OPEN SOURCE
ProSponsor the shelf♧ 0
← Back to top all-time
prathyvsh
lambda-calculus-visualizations
OPEN SOURCE2020–2026
prathyvsh / lambda-calculus-visualizations

lambda-calculus-visualizations

Catalog of visual lambda calculi

Explore on GitHubRead Hacker News discussions
5Distinct people
8Mentions
0Explicit recommenders
184GitHub stars
REPOSITORY AT A GLANCE

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.

0122020-01-01 00:00:00 UTC to 2021-01-01 00:00:00 UTC (exclusive): 1 mentions; 1 submissions, 0 comments20202021-01-01 00:00:00 UTC to 2022-01-01 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2022-01-01 00:00:00 UTC to 2023-01-01 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2023-01-01 00:00:00 UTC to 2024-01-01 00:00:00 UTC (exclusive): 1 mentions; 1 submissions, 0 comments20232024-01-01 00:00:00 UTC to 2025-01-01 00:00:00 UTC (exclusive): 2 mentions; 2 submissions, 0 comments2025-01-01 00:00:00 UTC to 2026-01-01 00:00:00 UTC (exclusive): 2 mentions; 0 submissions, 2 comments2026-01-01 00:00:00 UTC to 2027-01-01 00:00:00 UTC (exclusive): 2 mentions; 0 submissions, 2 comments. Incomplete calendar period.2026*

* 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
UTC ranges include their start and exclude their end. Select a period to filter the source evidence.
PeriodStart (UTC)End (exclusive, UTC)MentionsSubmissionsComments
20202020-01-01 00:00:00 UTC2021-01-01 00:00:00 UTC110
20212021-01-01 00:00:00 UTC2022-01-01 00:00:00 UTC000
20222022-01-01 00:00:00 UTC2023-01-01 00:00:00 UTC000
20232023-01-01 00:00:00 UTC2024-01-01 00:00:00 UTC110
20242024-01-01 00:00:00 UTC2025-01-01 00:00:00 UTC220
20252025-01-01 00:00:00 UTC2026-01-01 00:00:00 UTC202
2026 (partial)2026-01-01 00:00:00 UTC2027-01-01 00:00:00 UTC202

What Hacker News says

2 sources
sargstuff·May 16, 2026
Related published research article : https://iopscience.iop.org/article/10.1088/1367-2630/ae4acc Dynamic / reusable barcodes? Unable to locate anything noting alternatives. aka looping tape between stick lines & using arc length refaction index / distance between tape kinks to simplify read back[0]. ak tape bubble memory[1]. Don't have to worry about dimishing returns on adhesive strength. Water activated adhesive would make for simplified erase. Modified variation on punch tape with velcro instead of tape / re-usable velcro bumps vs. punched holes. Yet another method for visualizing labmada calculus[3] Likely beyond scope of project but would be nice to see references/background discussion(s) bridging mechanical strain/civil engeineering trusses with lambda trees / tree weights / "data encoding"/genetic encoding. [4][5][6] --------------
Read the rest
----------------------------------- [0] : Quipu: The Ancient Computer of the Inca Civilization https://www.peruforless.com/blog/quipu [1] : magnetic bubble memory : https://www.youtube.com/watch?v=DbfrsnsWmhk [2] : magnetic bubble memory storage on a heathkit h8 : https://www.youtube.com/watch?v=P_miv4wYzvg&t=38s= [3] : https://github.com/prathyvsh/lambda-calculus-visualizations [4] : https://github.com/barry-jay-personal/tree-calculus/blob/mas... [5] : https://writings.stephenwolfram.com/2025/09/the-ruliology-of... [6] : https://en.wikipedia.org/wiki/DNA_barcoding
In Move over cassette tapes, adhesive tape has memory, too

MAKE YOURSELF AT HOME

A few shortcuts

/
Search the collection
?
Open this guide
Esc
Close dialogs and navigation

Your saved repositories and interests stay in this browser.