| | Lambda Diagrams (tromp.github.io) |
|
4 points by low_tech_punk 8 months ago | past | 1 comment
|
|
| | Lambda Diagrams (tromp.github.io) |
|
2 points by Tomte 11 months ago | past
|
|
| | The Lazy K – functional programming language (tromp.github.io) |
|
4 points by archargelod on Feb 10, 2024 | past
|
|
| | The largest number representable in 64 bits (tromp.github.io) |
|
111 points by tromp on Nov 25, 2023 | past | 105 comments
|
|
| | Go: Life Itself (tromp.github.io) |
|
3 points by stanislavb on July 17, 2023 | past
|
|
| | John's Lambda Calculus and Combinatory Logic Playground (tromp.github.io) |
|
97 points by mmphosis on March 12, 2023 | past | 10 comments
|
|
| | Binary Lambda Calculus (2020) (tromp.github.io) |
|
114 points by tosh on Nov 9, 2022 | past | 14 comments
|
|
| | Functional Bits: Lambda Calculus Based Algorithmic Information Theory [pdf] (tromp.github.io) |
|
4 points by teabee89 on May 6, 2022 | past
|
|
| | Binary Lambda Calculus (tromp.github.io) |
|
4 points by lisper on Oct 17, 2021 | past
|
|
| | Number of Legal Go Positions (tromp.github.io) |
|
2 points by adamhearn on Sept 5, 2021 | past
|
|
| | Lazy K (Programming Language) (tromp.github.io) |
|
1 point by telekid on May 17, 2021 | past
|
|
| | Binary Lambda Calculus (tromp.github.io) |
|
3 points by fanf2 on Oct 20, 2020 | past
|
|
| | Lambda Calculus Diagrams (2015) (tromp.github.io) |
|
172 points by fanf2 on Oct 4, 2020 | past | 32 comments
|
|
| | Functional Bits: Lambda-calculus based algorithmic information theory [pdf] (tromp.github.io) |
|
122 points by theaeolist on Aug 9, 2018 | past | 17 comments
|
|
| | Number of legal Go positions computed (tromp.github.io) |
|
213 points by tromp on Jan 22, 2016 | past | 67 comments
|
|
| | Number of Go positions computed modulo 2^64; source code available (tromp.github.io) |
|
1 point by tromp on June 8, 2015 | past
|
|
| | Number of legal 18x18 Go positions computed. One more to go (tromp.github.io) |
|
229 points by tromp on March 8, 2015 | past | 109 comments
|
|
| | The logical rules of go, with Haskell implementation (tromp.github.io) |
|
2 points by agarttha on Jan 3, 2015 | past
|
|
