Posts

These are my blog posts

Blog rss feed

---

• 2026-08-22Recursion Schemes
• 2026-08-14Types and Programs
• 2026-08-11Functional equality
• 2026-08-09Ought
• 2026-07-21Eq
• 2026-07-19I Love Patina
• 2026-06-16The best Algebraic Structure
• 2026-05-31Language Semiring
• 2026-03-07The Explorer's Trial
• 2026-03-05The Eight Plain Text Questions
• 2026-01-172026 New Year's Resolution
• 2025-12-26Frieren: Beyond Journey's End
• 2025-12-21The Phoenician Scheme Critique
• 2025-11-16Trivial toki pona Substitutions
• 2025-10-04Nasin Toki
• 2025-07-07¡Feliz Cumpleaños Izánder!
• 2025-06-12nasin toki
• 2025-06-11Mathematics in toki pona
• 2025-01-20toki pi kulupu pini
• 2024-12-21A Monad Is Not A Burrito
• 2024-12-08Algorithms
• 2024-12-08Translations
• 2024-12-05AOC day 1
• 2024-12-02Mathematics in toki pona
• 2024-12-02AOC day 2
• 2024-08-07Zig CTFP
• 2024-01-01Math test
• 2023-10-21We Lost the ICPC Regionals