Writing
all tags
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.