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…)

I used to be afraid of async Rust. It's easy to get into trouble ! But thanks to the work done by the whole community, async Rust is getting easier to use every week. One proje... (more…)

API documentation for the Rust `_2` mod in crate `show_notes`.

System programming in Rust: beyond safety Balasubramanian et al., HotOS’17 Balasubramanian et al. want us to switch all of our systems programming over to Rust. This paper sets out the case. … (more…)

It turns out that finite state machines are useful for things other than expressing computation. Finite state machines can also be used to compactly represent ordered sets or maps of strings that can be searched very quickly. (more…)