Notes

Short notes, slides, and scratchpads.