Unnamed Website
Proving Fermat's Last Theorem in Dafny
Even More Travel Photos
"Bad Apple!!" But It's 3288 Lean Tactics Spamming VSCode
Doing Math With Lean
MIT Dining, Two Years Later
Cosine in the BEST LANGUAGE EVER
NiXVM
RNG and Cosine in Nix
Proving That Fenwick Trees are Fast
The Only Correct Way to Open Bananas (100% Reliable Confirmed)
Haskelling My Python
Doing Something Actually Useful With Formal Verification
Formally Verifying Fenwick Trees
Ali's Part 3
Ali's Part 2
ICanProveItCanSort!
Mandarin Learning Resources
ASI Self-Hacking Argument
RSS-Only Post
Book Review: The Manga Guide to Databases
Book Review: The Unicode Standard 4.0