https://k-monk.org/blogVarious musings of River Dillonhttps://k-monk.org/blog/union-findhttps://k-monk.org/blog/union-findSun, 28 Jun 2026 00:00:00 GMTThese are some notes I prepared for the Antithesis research reading group. They are very rough, and will likely remain that way. Union find is one of those things that keeps coming up, and every time I have to remind myself how it works. My aim today is just to introduce you to the idea, if you haven't seen it before, and maybe give you a sense of some cases in which you might use it.https://k-monk.org/blog/generating-the-p3-tilinghttps://k-monk.org/blog/generating-the-p3-tilingSun, 28 Jun 2026 00:00:00 GMTHave you heard of Penrose tilings? Today, I want to describe one algorithm you can use to generate them. My hope is that this article will serve as necessary background material for some future subjects I have in mind, the details of which I'll leave in suspense for now.https://k-monk.org/blog/banh-mihttps://k-monk.org/blog/banh-miSun, 02 Nov 2025 00:00:00 GMTIf you are a PhD student in or visiting London or NYC, I'll buy you lunch if we can talk about your work and your interests.https://k-monk.org/blog/expression-parsing-made-simplehttps://k-monk.org/blog/expression-parsing-made-simpleFri, 28 Mar 2025 00:00:00 GMTI present an algorithm I like for expression parsing.https://k-monk.org/blog/minimal-parenthesization-of-lambda-termshttps://k-monk.org/blog/minimal-parenthesization-of-lambda-termsSun, 15 Sep 2024 00:00:00 GMTWhen writing a compiler, it's useful to be able to visualize the syntax tree as it gets processed. Often you end up with lots of unneeded parentheses. This post shows one way of avoiding that.https://k-monk.org/blog/introduction-to-the-ocaml-module-systemhttps://k-monk.org/blog/introduction-to-the-ocaml-module-systemTue, 10 Sep 2024 00:00:00 GMTI got a request from the OCaml group at the Recurse Center to go over modules and functors this week. Here are the notes I prepared.