Domain-Driven Design: Lean Aggregates

Closure of Operations in Computer Programming

My Task Management using Emacs and Org-mode

Parsing Regular Expressions with Recursive Descent

Introduction to Bimachines

C# Channels - Async Data Pipelines

A Practical Guide to State Machines

Computing Ranges in Constant Time

Gödel's System T in TypeScript

On Recursive Functions

Implementing a Regular Expression Engine