2026
Writing a Simple Proof Assistant
May 10, 2026
The Evolution of a Lean Programmer
January 11, 2026
2025
What’s the Derivative of a Data Type?
October 31, 2025
Even More Travel Photos
July 28, 2025
Formally Verifying Fenwick Trees
March 15, 2025
@kevin Ali’s Uyghur Kitchen Megathread
January 25, 2025
Fenwick Trees are Awesome!
January 14, 2025
2024
Solving Shortest Paths With Transformers
December 11, 2024
More Vacation Photos
August 21, 2024
854 Rap
January 24, 2024
Asian Bayesian 2
January 22, 2024
Hong Kong, China, and Taiwan Vacation Photos
January 21, 2024
2023
Asian Bayesian
December 20, 2023
Spelling Reform is Hard, NP-Hard
November 7, 2023
ActivityPub Eats Your Brain!
January 19, 2023
2022
Installing Every Arch Package
January 26, 2022
2018
TI-Nspire ASCII Art!
November 9, 2018