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

Seed: Adding `vau` with an immutable dynamic environment to Chez Scheme

A with-based effect notation

Async Programming Is Just Inject Time

How to stop fighting with coherence and start writing context-generic trait impls

R: A Language for Data Analysis and Graphics (1996)

Good Old Pointers (2015)

What I Always Wanted to Know about Second Class Values

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

Type systems are leaky abstractions: the case of Map.take!/2

Fixing a major evaluation order footgun in Rye 0.2

Vibecoding Challenge 2: The Five Feathers (Spring 2026)

Lil' Fun Langs

Python Type Checker Comparison: Empty Container Inference

Choosing a Language Based on Its Syntax?

Fun With Dada

Sharing in Dada

two mechanisms for dynamic type checks

Sliced by Go’s Slices

Concrete syntax matters, actually

Ideas for an Agent-Oriented Programming Language

The largest number representable in 64 bits

fixapl

Leaning Into the Coding Interview: Lean 4 vs Dafny cage-match

More →