26th January 2026
Some symbols show up in logic more than others, so I decided to explore the rest, and try to construct a unifying theory and notation for logical symbols.
11th January 2026
I stumbled across an interesting numeric result, but couldn't find a satisfying proof. So I made what I believe to be the first visual proof of a four-dimensional result, without trying to actually visualise four dimensions.
2nd September 2025
Wondering how I made a blog that supports maths notation, diagrams, and more, all by myself? This is the post for you.
