How LSP could have been better

Unified versus Split Diff

Unix Structured Concurrency

What is an Invariant?

Role of Algorithms

Comparative Analysis

TypeScript is surprisingly ok for compilers

Types and the Zig Programming Language

On Modularity of Lexical Analysis

Fantastic Learning Resources

Can you trust a compiler to optimize your code?

Three Different Cuts

Zig language server and cancellation

Value Oriented Programming Needs Implicits?

Resilient LL Parsing Tutorial

Can You Trust a Compiler to Optimize Your Code?

Reasonable Bootstrap

Data Oriented Parallel Value Interner

UB Might Be a Wrong Term for Newer Languages

Inline in Rust (2021)

Zig and Rust

Rust Is a Scalable Language

An Engine for an Editor

GitHub Actions Permissions

<3 Deno

How a Zig IDE Could Work

Why SAT Is Hard

Rust's Ugly Syntax

Next Rust Compiler

Blog Post: On Random Numbers

More →