Why you’d be better off using QuickCheck when porting to Rust Continue reading “Why you’d be better off using QuickCheck when porting to Rust” →
intermezzOS: A teaching operation system Continue reading “intermezzOS: A teaching operation system” →
Subtyping in Rust and Clarke’s Third Law Continue reading “Subtyping in Rust and Clarke’s Third Law” →