Tag:math

All the articles with the tag "math".

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

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