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
The Lazy K Programming Language (tromp.github.io)
2 points by tosh 18 days ago | past
The largest number representable in 64 bits (tromp.github.io)
121 points by tromp 60 days ago | past | 85 comments
Lambda Diagrams (tromp.github.io)
4 points by low_tech_punk on June 12, 2024 | past | 1 comment
Lambda Diagrams (tromp.github.io)
2 points by Tomte on Feb 22, 2024 | 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

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

Search:

HN For You