Stories by azhenley

QED in Context: An Observation Study of Proof Assistant Users [pdf]

Racket v9.1

Compiler Education Deserves a Revolution

Claude for Government

Some silly Z3 scripts I wrote

Ohm v18

Metabolism (Architecture)

Code City: A visualization of large codebases that you can explore

PEP 747 – Annotating Type Forms

PEP 814 – Add frozendict built-in type

Lots of AI SRE, no AI incident management

Generative Agents: Interactive Simulacra of Human Behavior (2023) [pdf]

Nobody knows how the whole system works

Rewriting Pycparser with the Help of an LLM

AgentBuilder: Scaffolds for Prototyping User Experiences of Interface Agents

Ashby taught us we have to fight fire with fire

Because Coordination Is Expensive

What's New in Python 3.15

Fighter Mafia

Building a JavaScript runtime in one month

1 2 3 4 5 6 7 8 9 10