https://www.haoxuany.com/news/announcement_1/ 2025-02-13T00:00:00+00:00 https://www.haoxuany.com/blog/first-post/ 2025-02-13T00:00:00+00:00 https://www.haoxuany.com/blog/debruijn-1/ 2025-02-14T00:00:00+00:00 https://www.haoxuany.com/blog/dislike-constructive-mathematics/ 2025-02-22T00:00:00+00:00 https://www.haoxuany.com/blog/experimental-sml/ 2026-01-30T00:00:00+00:00 https://www.haoxuany.com/ https://www.haoxuany.com/_pages/dropdown/ https://www.haoxuany.com/news/ https://www.haoxuany.com/blog/tag/type-theory/ https://www.haoxuany.com/blog/tag/logic/ https://www.haoxuany.com/blog/tag/math/ https://www.haoxuany.com/blog/tag/philosophy/ https://www.haoxuany.com/blog/tag/programming/ https://www.haoxuany.com/blog/2025/ https://www.haoxuany.com/blog/2026/ https://www.haoxuany.com/blog/