How to draw lambda diagrams (2020)

Comments (4)

tromp · 2h ago

Lambda Diagrams originally appeared at [1].

[1] https://tromp.github.io/cl/diagrams.html

gowld · 1h ago

The submission page doesn't link to Tromp, but the YouTube videos do.

Tromp's page links to the submission:

> Paul Brauner has produced some awesome videos of beta reductions, produced with this software.

Also linked from Tromp, Cruz Godar's animated multi-colored calculator is my favorite:

https://cruzgodar.com/applets/lambda-calculus

tomhow · 8h ago

I've temporarily buried this because it links to a tag index, with several articles, which is too broad/diverse to generate a good discussion on HN.

Submitter (diginova), please let us know which of the articles is the best to read and discuss and we'll make that the url and title.

(Best to email us at hn@ycombinator.com to be sure we get the message, as we might not remember to check back here).

diginova · 3h ago

True, thanks for clarification

that would be this one - https://risingentropy.com/how-to-draw-lambda-diagrams/ as I just started learning lambda calculus and this one helped

Also this is where I got the interest from - https://www.youtube.com/watch?v=RcVA8Nj6HEo

It's time for modern CSS to kill the SPA (jonoalderson.com)

Do not download the app, use the website (idiallo.com)

Vanilla JavaScript support for Tailwind Plus (tailwindcss.com)

Experimental surgery performed by AI-driven surgical robot (arstechnica.com)

It's a DE9, not a DB9 (but we know what you mean) (news.sparkfun.com)

Why MIT switched from Scheme to Python (2009) (wisdomandwonder.com)

Animated Cursors (tattoy.sh)

Efficient Computer's Electron E1 CPU – 100x more efficient than Arm? (morethanmoore.substack.com)

Developing our position on AI (recurse.com)

CO2 Battery (energydome.com)

Steam, Itch.io are pulling ‘porn’ games. Critics say it's a slippery slope (wired.com)

Programming vehicles in games (wassimulator.com)

Google in 1999: Search engines escape the portal matrix (cybercultural.com)

Internet Archive is now a federal depository library (kqed.org)

Never write your own date parsing library (zachleat.com)

Running PostmarketOS on Android Termux proot without a custom ROM (2024) (ivonblog.com)

The future is not self-hosted (drewlyton.com)

Women dating safety app 'Tea' breached, users' IDs posted to 4chan (404media.co)

Windsurf employee #2: I was given a payout of only 1% what my shares where worth (twitter.com)

Steve Jobs' cabinet (perfectdays23.substack.com)

Show HN: Price Per Token – LLM API Pricing Data (pricepertoken.com)

Why is there a date of 1968 in the Intel Chipset Device Software Utility? (intel.com)

How to Catch a Wily Poacher in a Sting: A Thermal Robotic Deer (wsj.com)

Who has the fastest F1 website (2021) (jakearchibald.com)

Implementing a functional language with graph reduction (2021) (thma.github.io)

Show HN: Apple Health MCP Server (github.com)

Researchers value null results, but struggle to publish them (nature.com)

How to draw lambda diagrams (2020) (risingentropy.com)

Dwl: Dwm for Wayland (codeberg.org)

WhoFi: Deep Person Re-Identification via Wi-Fi Channel Signal Encoding (arxiv.org)

How to configure X11 in a simple way (eugene-andrienko.com)

Nullable but not null (efe.me)

Celebrating 20 Years of MDN (developer.mozilla.org)

Trucking's uneasy relationship with new tech (bbc.com)

Quantitative AI progress needs accurate and transparent evaluation (mathstodon.xyz)

Immigration agents told a teenage US citizen: 'You've got no rights.' (theguardian.com)

The Tabs vs. Spaces war is over, and spaces have emerged victorious (xn--gckvb8fzb.com)

Show HN: The Montana MiniComputer (mtmc.cs.montana.edu)

Claude Code Introduces Specialized Sub-Agents (docs.anthropic.com)

Games Look Bad: HDR and Tone Mapping (2017) (ventspace.wordpress.com)

Building Brain Box, a meta text adventure film adaptation (kubicki.org)

Monotonic and wall clock time in the Go time package (victoriametrics.com)

Quantum Scientists Have Built a New Math of Cryptography (quantamagazine.org)

Asciinema: Record and share your terminal sessions (asciinema.org)

Google spoofed via DKIM replay attack: A technical breakdown (easydmarc.com)

Brazil central bank to launch Pix installment feature in September (reuters.com)

The Mythical Machine-Month Paradox – How much could AI change programming? (tucson-josh.com)

Tamiya chairman Shunsaku Tamiya dies at 90 (dailyexpress.com.my)

The sad state of font rendering on Linux (2018) (pandasauce.org)

The "computer janitor" of the Manhattan project (allaboutcircuits.com)

How to draw lambda diagrams (2020)

Comments (4)