A Practical Guide to State Machines
Express application logic in a concise and declarative way using state machines and C#‘s pattern matching.
Translation using Syntactic Rules
Computing Ranges in Constant Time
Range Minimum Query with Sparse Table and Dynamic Programming.
Gödel's System T in TypeScript
Experimenting with a rudimentary type system that ensures the programs always terminate.
On Recursive Functions
Implementing a Regular Expression Engine
Using Ken Thompson's construction algorithm.