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

2024

May 14

A Rust + WASM development environment with Nix

nix rust wasm

2023

Dec 29

A few fast solutions for Advent of Code 2023

aoc performance rust