Posts
2026
Hello, Hyades!
August 1, 2026
MIT Athena: Somehow Still Not Dead Yet
May 23, 2026
Writing a Simple Proof Assistant
May 10, 2026
3D-printing a Trombone
April 1, 2026
Infinite Lists in Lean
March 20, 2026
The Abstract Nonsense Guide to Monads
January 26, 2026
The Evolution of a Lean Programmer
January 11, 2026
2025
Haskelling My Typst
December 27, 2025
Dumb Cipher Solver
December 17, 2025
Combinatorial Species
December 17, 2025
Installing Every NixOS Package
December 9, 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
Doing Math With Lean
May 26, 2025
Random St. Louis Facts
May 23, 2025
MIT Dining, Two Years Later
May 20, 2025
Cosine in the BEST LANGUAGE EVER
May 9, 2025
NiXVM
April 14, 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
Ali’s Part 3
March 1, 2025
Ali’s Part 2
February 24, 2025
ICanProveItCanSort!
February 23, 2025
Mandarin Learning Resources
February 12, 2025
ASI Self-Hacking Argument
February 12, 2025
Book Review: The Manga Guide to Databases
January 26, 2025
Book Review: The Unicode Standard 4.0
January 26, 2025
@kevin Ali’s Uyghur Kitchen Megathread
January 25, 2025
Fenwick Trees are Awesome!
January 14, 2025
2024
My Backup Strategy
December 31, 2024
Inessential XVM
December 11, 2024
Solving Shortest Paths With Transformers
December 11, 2024
New Domain!
December 5, 2024
ICan’tBelieveItCanSort!
November 4, 2024
Automatically Switching the Virtual Keyboard in KDE Plasma
September 25, 2024
More Vacation Photos
August 21, 2024
Extreme Epilepsend
August 4, 2024
The End
June 3, 2024
Guest Post: Short Story 5
May 16, 2024
PAM Authentication Without Access to /etc/shadow
May 9, 2024
Fast Multipole Methods
May 8, 2024
A Solar Eclipse
April 8, 2024
April Fools’ Day Puzzle
April 2, 2024
Short Story 4
March 28, 2024
Guest Post: Short Story 3
March 27, 2024
Kung Fu Panda 4 Review
March 26, 2024
Plasma 6 Fingerprint Bug
March 19, 2024
Short Story 2
March 5, 2024
An Origami Puzzle
March 4, 2024
A Useful Command
February 29, 2024
PulseAudioDB
February 25, 2024
Floats Are Weird
February 18, 2024
854 Rap
January 24, 2024
Asian Bayesian 2
January 22, 2024
Hong Kong, China, and Taiwan Vacation Photos
January 21, 2024
Calumny
January 20, 2024
Miasma
January 20, 2024
Maseeh
January 16, 2024
Extremal Graph Theory
January 14, 2024
A Logic Puzzle
January 5, 2024
2023
Forge Federation Design Discussion
December 27, 2023
Asian Bayesian
December 20, 2023
Dead Pixels
December 19, 2023
Spelling Reform is Hard, NP-Hard
November 7, 2023
Ethics Test for AIs
October 26, 2023
The Hangry Guide to MIT Dining
March 20, 2023
Ennui
March 10, 2023
Abusing systemd-nspawn With Nested Containers
March 1, 2023
Azerbaijan
February 25, 2023
Beavers
February 21, 2023
We’re Missing Half ActivityPub’s Potential!
February 8, 2023
Beating the Time Limit
January 25, 2023
ActivityPub Eats Your Brain!
January 19, 2023
Why Does My Forgejo Instance Have Thousands of Accounts?
January 11, 2023
Answering Forgejo Federation Questions
January 10, 2023
2022
Finally Learning 汉字
December 31, 2022
The AInion
December 5, 2022
Laptop Necromancy
November 24, 2022
Sketchy Websites Save the Day
September 7, 2022
Forge Federation Myths
August 20, 2022
Emojis I Hate
August 16, 2022
DC Megathread
August 8, 2022
Where are All the Forge Federation Developers?
July 10, 2022
Gitea Actually Joins the Fediverse
June 14, 2022
Gitea Federation… Coming Soon to an Instance Near You!
April 5, 2022
Installing Every Arch Package
January 26, 2022
Make Wayland Scaling Less Painful
January 1, 2022
2021
Find Deleted Matrix Messages
November 23, 2021
Redesigning My Website
October 24, 2021
Fixing Bugs Isn’t Hard!
April 13, 2021
Worst First Build - Live on PCPartPicker!
March 27, 2021
Worst First Build - The Quest for a GPU
March 15, 2021
Worst First Build - The Sad Saga Continues
March 3, 2021
How to Get Better at Competitive Programming
February 22, 2021
Worst First Build
February 9, 2021
Fun with QEMU/KVM! - The Sequel
January 7, 2021
How to Hibernate
January 4, 2021
2020
Best CLI Tools
December 24, 2020
WSL 2 GNOME Desktop
July 30, 2020
2019
A Mathematical Curiosity
August 13, 2019
2018
TI-Nspire ASCII Art!
November 9, 2018