Notes

Technical notes on programming, tools, and systems.