Posts

All the articles I've posted.

• On software verification

  6 Sep, 2026

  My first attempt at understanding and getting my hands on software verification with Lean.

• How likely are you to beat the Raven?

  7 Jun, 2026

  Estimating the probability of winning Haba's First Orchard game.

• On human superintelligence

  Updated:22 May, 2026

  On our obsession with metrics and milestones, human superintelligence, and the person I consider the archetype of genius and creativity.

• Magic Squares and Cubes

  13 Dec, 2025

  A collection of algorithms, including a vectorized version of Kociemba's two-phase algorithm, for solving Rubik's cubes.