Notes

Short notes, links, and thoughts.