¶

Feb 17, 2026 2026/02/17 diary

Feb 11, 2026 First Proof µ

Jan 17, 2026 2026/01/17 diary

Jan 01, 2026 Löb's theorem µ

Dec 06, 2025 Deciding my favorite artist post

Jul 01, 2024 Proof Mapping is Injection iff Direct Image Mapping is Injection post

Dec 18, 2021 Introduction to Computational Geometry post

Jan 04, 2020 Representations and Implementations of Graphs post