Notes

Short technical notes, ideas, and things worth remembering.