K Monk

k-monk.org

Claim pageClaim

Overview

News

Salaries

Products

People

Growth

Offices

Financials

Overview

River Dillon. I am a programmer interested in programming systems (broadly construed), compilers, and computer music, among other things. I am currently living in London, working on the research team at Antithesis, where we do simulation testing of distributed systems.

News

News k-monk.org 3 months ago

New Game Those Who Wear Red Read more

Report

Blog 4 months ago

Some Blogs I Read

Here are some blogs I read.

Report

Blog 4 months ago

Generating the P3 Tiling

Have 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 s

Report

Blog 4 months ago

Some Applications of Union Find

These 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 j

Report

Blog 11 months ago

Banh Mi On Me

If 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.

Report

Blog 1 year ago

Expression Parsing Made Simple

I present an algorithm I like for expression parsing.

Report

Blog 2 years ago

Minimal Parenthesization of Lambda Terms

When 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.

Report

Blog 2 years ago

Introduction to the OCaml Module System

I 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.

Report