Open in app

Sign In

Write

Sign In

John Tromp
John Tromp

20 Followers

Home

About

Dec 18, 2021

Flip Puzzles and Linear Algebra

This post discusses how to solve flip puzzles like Simon Tatham’s “Flip” [1] or David Johnson-Davies’s 16 LEDs puzzle [2], where each cell in a rectangular grid represents a light that can be either on or off, and the goal is to have all lights turned on. The challenge is…

3 min read

3 min read


Nov 4, 2021

SK numerals

Church Numerals Church numerals are the standard way of representing natural numbers in the lambda calculus. Cn, the Church numeral for n, iterates a given function n times on a given argument. So we have C0 f x = f⁰ x = x C1 f x = f¹ x = f x C2 f…

Lambda Calculus

4 min read

Lambda Calculus

4 min read


Dec 20, 2020

A case for using soft total supply.

The cryptocurrency space features endless debates about the pros and cons of various possible emission curves. Prime among them is question of whether supply should be capped (finite) or uncapped (infinite). But is this really an essential difference? It doesn’t take much to change a finite supply into an infinite…

3 min read

3 min read

John Tromp

John Tromp

20 Followers

Dutch computer scientist, game player, puzzle lover, and recumbent biker.

Help

Status

Writers

Blog

Careers

Privacy

Terms

About

Text to speech