Automerge is a local-first sync engine for multiplayer apps that works offline, prevents conflicts, and runs fast.

Cap'n Web is a new open source, JavaScript-native RPC protocol for use in browsers and web servers. It provides the expressive power of Cap'n Proto, but with no schemas and no boilerplate.

I have a lot of thoughts about the design of compiler intermediate representations (IRs). In this post I’m going to try and communicate some of those ideas and why I think they are important.

Every so often I come across a paper, blog post, or (occasionally) video that completely changes how I think about a topic in programming languages and compilers. For some of these posts, I can’t even remember how I thought about the idea before reading it—it was that impactful.

In modern Java, the visitor pattern is no longer needed. Using sealed types and switches with pattern matching achieves the same goals with less code and less complexity.

There's a concept that I've heard called by a lot of different names, but my favorite name for it is …

A lightning post on logic programming in Haskell to construct a workout weekly schedule given the set of exercises, days and constraints.

A write-ahead log is not a universal part of durability

Aurora: An extensible, Python-based static site generator.

Featureful zsh prompt.

Comparison between types of API tokens.

piku, inspired by dokku, allows you do git push deployments to your own servers, no matter how small they are.