NOTES / WRITE-UPS

Blog.

Short technical write-ups on things I have recently learned, discovered, or taught.