river@k-monk.org | |
mastodon | river@post.lurk.org |
k__monk | |
bluesky | k-monk.org |
youtube | river_dillon |
I am currently working on the research team at Antithesis.
2025-03-28 |
Expression Parsing Made Simple |
2024-09-15 |
Minimal Parenthesization of Lambda Terms |
2024-09-10 |
Introduction to the OCaml Module System |