Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution? (aartaka.me) | HN Screenshots

YHacker Newsscreenshots

Screenshot of aartaka.me: Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution?

First screen, captured 1 year 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 funcall.blogspot.com: Pseudo, a Common Lisp macro for pseudocode expressions

Pseudo, a Common Lisp macro for pseudocode expressions (funcall.blogspot.com)

59 points by reikonomusha 1 year ago | 4 comments

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 funcall.blogspot.com: Why I Program in Lisp

Why I Program in Lisp (funcall.blogspot.com)

249 points by ska80 1 year ago | 219 comments

Screenshot of hirrolot.github.io: How to keep lambda calculus simple

How to keep lambda calculus simple (hirrolot.github.io)

92 points by azhenley 3 years ago | 33 comments

Screenshot of lcamtuf.substack.com: Sierpiński Triangle? In My Bitwise and?

Sierpiński Triangle? In My Bitwise and?(lcamtuf.substack.com)

204 points by guiambros 1 year ago | 49 comments