top | item 45304390 (no title) Xcelerate | 5 months 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 discuss order hn newest nswanberg|5 months ago A 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.htmlAnd 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.If you go through these and find some interesting things, it'd be worth posting to HN. tromp|5 months ago https://tromp.github.io/cl/cl.html has many links to BLC materials, like my LispNYC video talk.
nswanberg|5 months ago A 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.htmlAnd 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.If you go through these and find some interesting things, it'd be worth posting to HN. tromp|5 months ago https://tromp.github.io/cl/cl.html has many links to BLC materials, like my LispNYC video talk.
tromp|5 months ago https://tromp.github.io/cl/cl.html has many links to BLC materials, like my LispNYC video talk.
nswanberg|5 months ago
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.
If you go through these and find some interesting things, it'd be worth posting to HN.
tromp|5 months ago