Essays and lecture posts on the mathematics and philosophy of the infinite, covering topics such as set theory, paradoxes of infinity, ordinal definability and the logic of chess. Material is drawn from the author's book and ongoing research papers.

Technical deep dives into cryptography, post-quantum algorithms and machine learning, often with runnable code on GitHub. The author explains the underlying math and challenges common misconceptions, such as what 'provably secure' really means.

A Korean-language series that teaches quantum chemistry step by step, covering topics such as approximation methods for wave functions (variational method, perturbation theory) and the Bohr atomic model. It explains the mathematics and physics in an approachable, conversational way for learners.

A blog of rigorous, proof-based notes on the lambda calculus, its semantics, and foundational set theory. Readers get worked derivations such as Scott encodings, coinductive unfolding of lambda terms, and Cantor's zigzag bijection.