Stories by alpaylan

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

Closing the verification loop: Observability-driven harnesses for agents

Are We Engineers?

Specifiability Is the Leverage

The mechanics of autonomous software translation

Some Simple Economics of AGI

LLMs could be, but shouldn't be compilers

Test, don't just verify

Does your code match your spec?

A Claude Code Command for Hypothesis

Breaking Verifiable Abstractions

A Better Vocabulary for Testing