Asymptotically Typeable

2024-04-15 SIGBOVIK'24: Getting Up and Running the λ-Calculus
2022-02-09 A harder-to-crack Wordle
2021-08-18 On Computing Derivatives
2021-06-20 A Case for For Loops
2020-12-10 C: Fork as a knife
2020-12-05 Translation Of and Notes On Simone Weil's Letter to Cahiers Du Sud on the Responsibilities of Literature.
2020-03-08 Upon Reading a Friend's Message about the Awesomeness of the Kosaraju Algorithm
2019-08-18 Recursion Elimination — Or how to make pretty code ugly