My blog posts

• 2026-07-27
  Immutability
• 2026-07-10
  I don't want to be optimal
• 2026-05-17
  Why not (make what someone already did)?
• 2026-02-18
  Understanding Whole Program Paths and Path Profiling
• 2025-12-19
  Proving bounds for the Randomized MaxCut Approximation algorithm in Lean4
• 2025-08-06
  talking
• 2025-05-13
  Are photos even real?
• 2025-05-06
  tuesday
• 2025-02-26
  Attention
• 2025-02-05
  Untitled 1
• 2025-02-04
  Doing things because they are hard
• 2024-12-31
  My relationship with memory
• 2024-12-15
  Rewriting Rust's zip (poorly)
• 2024-12-05
  Advent of Code Day 5: Topological Sort!
• 2024-12-03
  Advent of Code Day 3: Overengineering
• 2024-11-18
  Why do we blog?