For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Simulating Lambda Calculus in Lambda Calculus (hbr.github.io)
1 point by helmut_brandl on Sept 10, 2024 | past
Programming with Lambda Calculus (hbr.github.io)
14 points by dargscisyhp on June 14, 2024 | past
Limits of Computability in Lambda Calculus (hbr.github.io)
2 points by helmut_brandl on June 1, 2023 | past
Calculus of Constructions (hbr.github.io)
2 points by helmut_brandl on Sept 29, 2022 | past
Limits of Computability (hbr.github.io)
2 points by helmut_brandl on Sept 24, 2020 | past
Red Black Trees (hbr.github.io)
2 points by helmut_brandl on July 20, 2020 | past
Programming in Lambda Calculus (hbr.github.io)
2 points by helmut_brandl on July 4, 2020 | past
Programming in Lambda Calculus (hbr.github.io)
4 points by helmut_brandl on June 26, 2020 | past

Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You