This is a small personal server. Nothing much to see here yet — notes and side projects will appear soon.