Converting all my Markdown notes to Typst
Using Pandoc to upgrade more than 400 notes.
Configuring Helix for convenient Typst previewing
Guide to configure Helix to open Typst preview in a dedicated window on-demand.
Formally verifying insertion sort in Idris
Using the dependently-typed programming language Idris to verify insertion sort.
Finding all disarium numbers in 12 seconds
Explanation of how I wrote a Rust program to find all disarium numbers in 12 seconds.
SvelteKit blog with Typst as markup language
Guide to making a SvelteKit blog with Typst as the markup language.
Test article
An article to test different content types, such as headings, equations, and code blocks.