homer. Homer, a text analyser in Python, can help make your text more clear, simple and useful for your readers.
aws-dns-outage-oct-2025-modeling. A small experiment reproducing the AWS DNS race condition using the Spin model checker.
