Home
Hello! These are my public notes.
They're inspired by my friend lun-4's wiki and Andy Matuschak's notes; they capture information that I'd like to share, or think about in public, without the kind of polish or rigour that I normally associate with blog posts. I'll be adding to them over time, including bringing in material from my private notes.