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

YHacker Newsscreenshots

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

First screen, captured 11 months ago.

Looks similar

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

Programming with Lambda Calculus (hbr.github.io)

5 points by dargscisyhp 2 years ago | 0 comments

Screenshot of en.algorithmica.org: Binary GCD

Binary GCD (en.algorithmica.org)

74 points by tosh 6 months ago | 1 comments

Screenshot of ml-explore.github.io: MLX: NumPy like framework for Apple Silicon by Apple

MLX: NumPy like framework for Apple Silicon by Apple (ml-explore.github.io)

131 points by dagmx 2 years ago | 12 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 cruzgodar.com: Wilson's Algorithm

Wilson's Algorithm (cruzgodar.com)

42 points by FromTheArchives 1 year ago | 7 comments

Screenshot of matrixcalculus.org: Matrix Calculus: Calculate derivatives of matrices

Matrix Calculus: Calculate derivatives of matrices (matrixcalculus.org)

144 points by mrv_asura 3 years ago | 39 comments