Organizing Chaos

Thoughts on technical leadership and software engineering

2025

Mar 8

Refinement in Rust: optimization, arithmetic, and stateful predicates

rust refined

Feb 7

Refined: simple refinement types for Rust

rust refined