What category theory teaches us about dataframes

Sir Tony Hoare has died

Rust's next-generation trait solver

Mojo's not (yet) Python

Python 3.15's JIT is now back on track

Maximally minimal view types

The State of Allocators in 2026

Message Passing Is Shared Mutable State

Parametricity, or Comptime is Bonkers

My “grand vision” for Rust

Pony Gets a Template Engine

Pondering Effects

So Many New Systems Programming Languages II (2023)

Data is Code (2016)

Typechecking mCRL2

Infinite Lists in Lean

A case against currying

Methods in Languages for Systems Programming (2023)

Lessons from Pyre that Shaped Pyrefly

Seeing types where others don't

Lil' Fun Langs' Guts

Ambiguity in C

PEP 827 – Type Manipulation

Scan-scatter fusion

CESIL and other programming languages

Solod: Go can be a better C

Your First Parser

Supercharge Rust functions with implicit arguments using CGP v0.7.0

I built a programming language using Claude Code

jank is off to a great start in 2026

More →