Posts

All the articles I've posted.

• Mathematical Induction

  19 Sep, 2026

  An introduction to mathematical induction using Lean.

• On software verification

  6 Sep, 2026

  My first attempt at understanding and getting my hands on software verification with Lean. An admittedly circular example.

• 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.