Technical

Notes and blog posts on technical subjects. Though there are a lot of technical notes in this garden, these ones are generally ready for public consumption.