https://olligobber.com/atom.xml2026-01-26T00:00:00Zhttps://olligobber.com/Logo.pnghttps://olligobber.com/Logo.pnghttps://olligobber.com/nice-notation-binary-booleans2026-01-26T00:00:00Zolligobber

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.

https://olligobber.com/4d-proof2026-01-11T00:00:00Zolligobber

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.

https://olligobber.com/how-i-made-this-blog2025-09-02T00:00:00Zolligobber

Wondering how I made a blog that supports maths notation, diagrams, and more, all by myself? This is the post for you.