Notes

Short notes on things I worked out, fixed, or want to share.