Posts on Unnamed Website
- 2026-08-27: KDE and Lean Integration
- 2026-08-01: Hello, Hyades!
- 2026-05-23: MIT Athena: Somehow Still Not Dead Yet
- 2026-05-11: Writing a Simple Proof Assistant
- 2026-04-01: 3D-printing a Trombone
- 2026-03-21: Infinite Lists in Lean
- 2026-01-27: The Abstract Nonsense Guide to Monads
- 2026-01-11: The Evolution of a Lean Programmer
- 2025-12-27: Haskelling My Typst
- 2025-12-17: Dumb Cipher Solver
- 2025-12-17: Combinatorial Species
- 2025-12-09: Installing Every NixOS Package
- 2025-10-31: What's the Derivative of a Data Type?
- 2025-10-22: ICan'tBelieveICanProveItCanSort!
- 2025-10-09: Unhinged ThinkPad Repair Guide
- 2025-08-03: Proving Fermat's Last Theorem in Dafny
- 2025-07-28: Even More Travel Photos
- 2025-07-04: "Bad Apple!!" But It's 3288 Lean Tactics Spamming VS Code
- 2025-05-26: Doing Math With Lean
- 2025-05-23: Random St. Louis Facts
End of feed.