Notes

// things worth writing down once, so nobody has to rediscover them.

Write-ups from the lab: bugs that took a while to corner, tooling decisions and their trade-offs, and the occasional fix that was too annoying to find the first time. Specific rather than general — if a note can be summarised as "it depends", it doesn't get written.

More as they get written. Code for most of this lives at github.com/mihai-valentin.