4 ms·
Would love to read a HN-tailored blog post of your work or an overview of the binary lambda calculus if you ever have the time btw
by Xcelerate 1y ago
Would love to read a HN-tailored blog post of your work or an overview of the binary lambda calculus if you ever have the time btw
- nswanberg 1y agoA walkthrough would be nice, but he's got a lot of understandable material linked on that page. For example, here's an overview of the binary lambda calculus: https://tromp.github.io/cl/Binary_lambda_calculus.html https://tromp.github.io/cl/Binary_lambda_calculus.html And here's a readable and fascinating post on "the largest number that's representable in 64 bits": https://tromp.github.io/blog/2023/11/24/largest-number https://tromp.github.io/blog/2023/11/24/largest-number. If you go through these and find some interesting things, it'd be worth posting to HN.
- tromp 1y agohttps://tromp.github.io/cl/cl.html https://tromp.github.io/cl/cl.html has many links to BLC materials, like my LispNYC video talk.