1
Number of legal 18x18 Go positions computed. One more to go
L19 = 208168199381979984699478633344862770286522453884530548425639456820927419612738015378525648451698519643907259916015628128546089888314427129715319317557736620397247064840935
John Tromp
When I was still a PhD student, under the supervision of Paul Vitányi , I thought of doing a thesis on the game of connect-4 . Instead, I ended up working on distributed computing problems, and many other topics in my PhD research, which resulted in this thesis .
- Popular posts
- 6
- Total points
- 960
- HN comments
- 412
- Rank
- #2,299 personal
Visit tromp.github.io → On Hacker News Mar 2015 – Feb 2026
Math & Algorithms 6Software Engineering 2Programming Languages 2Games & Graphics 2
2
Number of legal Go positions computed
L19 = 208168199381979984699478633344862770286522453884530548425639456820927419612738015378525648451698519643907259916015628128546089888314427129715319317557736620397247064840935
3
Lambda Calculus Diagrams (2015)
The following table shows diagrams of identity, the booleans, some standard combinators, some Church numerals, the predecessor function on Church numerals, and Omega. term definition diagram alternative I/1 λx.x K/true λx.λy.x false/0 λx.λy.y S λx.λy.λz.(x z)(y z) Y λf.(λx.x x)(λx.f(x x)) 2 λf.λx.f(f x) 3 λf.λx.f(f(f…
4
The largest number representable in 64 bits
This post is a rewrite of my earlier blog post from Nov 2023 with new insights and updates.
5
Binary Lambda Calculus (2020)
Binary lambda calculus ( BLC ) is a minimal, pure functional programming language invented by John Tromp in 2004, 1 based on a binary encoding of the untyped lambda calculus in De Bruijn index notation.
6
The largest number representable in 64 bits
A rewrite of this blog post with many new insights and updates appeared in Jan 2026