←
Home
Archive
Tags
About
Lexicon
Follow
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