Stories by alpaylan

Representation-Free Editing

Why AI code optimization needs production-grounded benchmarks

A Little Explanation of Little's Law

What's Easy Now? What's Hard Now?

What Is Random Generation?

Why Don't Lowercase Letters Come Right After Uppercase Letters in ASCII?

Nondeterminism's Not the Problem

EsoNatLangs Bring the Complexity of Natural Language into Code

The Simplicity of Humanness

The Mismanaged Geniuses Hypothesis

The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline

What is a property?

A Drop in for `anyhow:Context` that reports the failure location

Tracing Goroutines in Realtime with eBPF

Hypothesis, Antithesis, synthesis

Seeing Types Where Others Don't

Code Quality in the Age of Coding Agents

Lf-lean: The frontier of verified software engineering

The mechanics of autonomous software translation

Formalizing Data Structures and Algorithms with Agents

1