43 posts in total.

---

2024

愁容满面，但像骑士一样冲锋 09-23

2023

Be Careful Using Python Iterator 08-20 Clang Global Constructors 08-07 Category Theory as Mathematical Foundation 03-06 Mathematical Structuralism 02-26 Workout Plan 2023 03 02-26 Mathematical Realism 02-19 Dedekind's Structuralist View of Natural Numbers 02-14 Frege-Hilbert Controversy 02-12 Hilbert's Program and Godel's Inconsistency Theorem 02-09