asb's corner
home ~
resume ~
blog
Search
No results
1 result
$NUMBER results
All blog posts
List of all
tags
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-30
Other Blogs I like!
2024-11-18
Why do we blog?