Musings on programming, math, and metaphysics