How I Learned to Love Property Based Testing (Rust, C)

Assemble an autonomy system in minutes and focus on the algorithms. Read more


A Type Safety Hole in Unsafe Rust

There seems to be a widespread belief among Rust programmers that bypassing the borrow checker does not completely compromise type safety. This article attempts to show the converse, that lifetime checks are absolutely essential for type safety, even if ... (more…)

Read more »