Today’s Advent of Code puzzle was somewhat unsatisfying to me. I found the right answer long before I actually discovered why it was the right answer. So after I got the right answers, I expanded my Pluto.jl notebook with prose explaining my thought process, and talking through the properties that must be true for my approach to work.

You can find the notebook here.