2025

Grinding Insertion Sort
December 24, 2025
What’s the Derivative of a Data Type?
October 31, 2025
ICan’tBelieveICanProveItCanSort!
October 21, 2025
Unhinged ThinkPad Repair Guide
October 9, 2025
Proving Fermat’s Last Theorem in Dafny
August 3, 2025
Even More Travel Photos
July 28, 2025
“Bad Apple!!” But It’s 3288 Lean Tactics Spamming VS Code
July 4, 2025
Cosine in the BEST LANGUAGE EVER
May 9, 2025
RNG and Cosine in Nix
April 12, 2025
Proving That Fenwick Trees are Fast
April 10, 2025
Haskelling My Python
April 5, 2025
Doing Something Actually Useful With Formal Verification
March 24, 2025
Formally Verifying Fenwick Trees
March 15, 2025
ICanProveItCanSort!
February 23, 2025