Programming with Lambda Calculus (hbr.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of hbr.github.io: Programming with Lambda Calculus

First screen, captured 2 years ago.

Looks similar

Screenshot of cruzgodar.com: Lambda Calculus – Animated Beta Reduction of Lambda Diagrams

Lambda Calculus – Animated Beta Reduction of Lambda Diagrams (cruzgodar.com)

128 points by perryprog 11 months ago | 8 comments

Screenshot of justine.lol: Lambda Calculus in 383 Bytes (2022)

Lambda Calculus in 383 Bytes (2022)(justine.lol)

298 points by MrBuddyCasino 1 year ago | 48 comments

Screenshot of xorvoid.com: Forsp: A Forth+Lisp Hybrid Lambda Calculus Language

Forsp: A Forth+Lisp Hybrid Lambda Calculus Language (xorvoid.com)

194 points by xorvoid 2 years ago | 59 comments

Screenshot of plato.stanford.edu: The Lambda Calculus (2023)

The Lambda Calculus (2023)(plato.stanford.edu)

86 points by lordleft 1 year ago | 12 comments

Screenshot of mathcs.holycross.edu: Calculus for Mathematicians, Computer Scientists, and Physicists [pdf]

Calculus for Mathematicians, Computer Scientists, and Physicists [pdf](mathcs.holycross.edu)

332 points by o4c 11 months ago | 70 comments

A free PDF textbook by Andrew D. Hwang, 'Calculus for Mathematicians, Computer Scientists, and Physicists: An Introduction to Abstract Mathematics'.

calculus mathematics abstract-math textbook

Screenshot of openjdk.org: Code Models

Code Models (openjdk.org)

116 points by ludovicianul 2 years ago | 15 comments