Stories by azhenley

"This is not vis"

Subtype Inference by Example

Lightweight Diagramming for Lightweight Formal Methods

AI at Amazon: A case study of brittleness

105 Vibe-Coded Tools

Mapping latitude and longitude to country, state, or city

Dijkstra never took a biology course

Securing a Form on the Internet: Still Pretty Difficult

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

3
4
5
6
7
8
9
10
11
12