Posts

'Audiobooks are not reading': a Microcosm of Conservative Outrage Dec 23, 2025 Program Synthesis in Idris 2 Aug 2, 2023 A Programming Language Wishlist Jun 19, 2022 Initial commit Jun 16, 2022