Welcome, dear reader
RSS FeedThis is a collection of opinions, thoughts, projects, and things I have enjoyed reading and studying.
Featured
Magic Squares and Cubes
A collection of algorithms, including a vectorized version of Kociemba's two-phase algorithm, for solving Rubik's cubes.
Death, taxes and optimization
Modelling Rushhour 🚗 🚚 as an optimization problem.
Die Mutter aller neuen Resultate in der analytischen Mechanik
Updated:Stationary action principles form the foundation of modern physics, spanning classical mechanics to quantum field theory and general relativity. The history of the principle of least action is fascinating, involving beautiful mathematics, as well as profound philosophical and scientific debates.
A programming language for describing (most) of the world
A MIT/GNU Scheme kernel for Jupyter. Scheme is a functional programming language that is well-suited for describing symbolic mathematics and classical mechanics, among other things.
Look up (part II)
Constellations are celestial landmarks and a source of awe and inspiration for myths. They are also a canvas on which humans have painted their mythologies. This is a Stellarium remote control for kids.
The Arabian nights of numbers
The most poetic math book a young person can read.
Recent Posts
Mathematical Induction
An introduction to mathematical induction using Lean.
On software verification
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?
Estimating the probability of winning Haba's First Orchard game.
On human superintelligence
Updated:On our obsession with metrics and milestones, human superintelligence, and the person I consider the archetype of genius and creativity.