Hacker News new | comments | show | ask | jobs | submit | from login
Functional Bits: Lambda-calculus based algorithmic information theory [pdf] (tromp.github.io)
122 points by theaeolist 71 days ago | past | web | 17 comments
Number of legal Go positions computed (tromp.github.io)
213 points by tromp on Jan 22, 2016 | past | web | 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 | web
Number of legal 18x18 Go positions computed. One more to go (tromp.github.io)
229 points by tromp on Mar 8, 2015 | past | web | 109 comments
The logical rules of go, with Haskell implementation (tromp.github.io)
2 points by agarttha on Jan 3, 2015 | past | web

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

Search: