Stories by azhenley

What works (and doesn't) selling formal methods

GitHub Copilot Spaces

What Works (and Doesn't) Selling Formal Methods

The Zen of Polymorphism [video]

How React server components work: an in-depth guide

Use VS Code to build AI apps and agents [video]

Error Messages as Rationale Reconstructions [Dissertation] [pdf]

Why I Use WebAssembly

A Garbage Collection Strategy

Hyper Typing

Labeling a root cause is predicting the future, poorly

Hyper Typing

When a bad analysis is worse than none at all

Python Internals (2010)

Taking Learning Seriously

PEG Parsing Series by Guido von Rossum (2019)

Where are the proactive AI coding tools?

Discovery Agent: Agentic Setup, Build, and Testing of Repositories

Progressive Dehancement

You can't prevent your last outage, no matter how hard you try

1
2
3
4
5
6
7
8
9
10