Submissions from tromp.github.io

		Functional Bits: Lambda-calculus based algorithmic information theory [pdf] (tromp.github.io)
		122 points by theaeolist 39 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