Stories by azhenley

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

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)

1
2
3
4
5
6
7
8
9
10