menu

Tightness Driven Development in Rust

2021.05.29 :: {programming, rust} :: #rust #types #tightness #dependent_types
No place for the weak or the quiet.
read more →

The GPIO war: macro bunkers for typestate explosions (2)

2021.04.12 :: {programming, rust} :: #rust #embedded #macros #typestates
Embedded typestates and how to rein them in, part two.
read more →

The GPIO war: macro bunkers for typestate explosions

2021.03.20 :: {programming, rust} :: #rust #embedded #macros #typestates
Embedded typestates and how to rein them in.
read more →