Hacker News
- The largest number representable in 64 bits https://tromp.github.io/blog/2023/11/24/largest-number 105 comments
- John's Lambda Calculus and Combinatory Logic Playground https://tromp.github.io/cl/cl.html 10 comments
- Binary Lambda Calculus (2020) https://tromp.github.io/cl/Binary_lambda_calculus.html 14 comments
- Lambda Calculus Diagrams (2015) https://tromp.github.io/cl/diagrams.html 32 comments
- Functional Bits: Lambda-calculus based algorithmic information theory [pdf] https://tromp.github.io/cl/LC.pdf 17 comments
- Number of legal Go positions computed http://tromp.github.io/go/legal19.html 67 comments
- Number of legal 18x18 Go positions computed. One more to go http://tromp.github.io/go/legal.html 109 comments
- Binary Lambda Calculus https://tromp.github.io/cl/Binary_lambda_calculus.html 3 comments functionalprogramming
- Longest possible chess game (without 50 move rule) http://tromp.github.io/chess/longest.html 8 comments chess
- Longest possible chess game http://tromp.github.io/chess/longest.html 27 comments chess
- Counting Legal Positions in Go http://tromp.github.io/go/legal19.html 7 comments compsci
- Number of legal 18x18 Go positions computed. One more to go http://tromp.github.io/go/legal.html 270 comments programming