Hello World

Welcome! I’ll post short notes and longer writeups here.