Blog Infra Notes, June 2026
(Again an AI post…) Infra changes from the last twenty-ish commits, excluding post content. Scope: deployment, search/filtering, Typst HTML output, layout, and MathML blurbs. Deployment...
#blog5 posts
Typst 0.15 Migration Summary
(this document was 100% AI agent generated with supervision) The Typst 0.15 release changed the most important part of this blog’s rendering pipeline: HTML export...
Blog Redesign: Effect-TS, Search, and What's New
This is an updated description of the current features of this blog, following up on the initial redesign post . The biggest changes since then...
Blog Tags
This post serves as an elaboration on the tags used in this blog, as needed. ai-assisted : Posts that were written with the help of...
Blog Redesign
This blog used to be a Jekyll site. I feel a strong need to practice and improve my writing, so I decided to leverage my...