https://www.andrephilipsson.com/Notes, ideas, and things worth writing down.