Hacker News
new
|
more
|
comments
|
ask
|
show
|
jobs
|
submit
|
from
login
Functional Bits: Lambda-calculus based algorithmic information theory [pdf]
(
tromp.github.io
)
122 points
by
theaeolist
6 months 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
Applications are open for YC Summer 2019
Guidelines
|
FAQ
|
Support
|
API
|
Security
|
Lists
|
Bookmarklet
|
Legal
|
Apply to YC
|
Contact
Search: