Welcome to AugustTree A quick introduction to this blog and the kind of notes I plan to keep here. May 11, 2026 Notes