Assemble an autonomy system in minutes and focus on the algorithms. (more…)

Hello and thank you for joining us for this talk. We are honored to be here in Beijing for the first time. (more…)

In the last post, I introduced the idea of linear hashing. This post will describe a Rust implementation of the algorithm. I won’t go through every last line of code, but hopefully enough to give you a good understanding of how the whole thing works. I sh... (more…)

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

This issue is reference issue for the upcomming pi type trilogy, dividing the old RFC into 3 parts. (more…)