Sean Payne (Software Engineer at Braid) talks about his experience with property based testing, a practical and powerful hybrid of formal methods and handwritten tests. Watch to learn about the benefits and challenges of this approach, as well as about using it in your Rust projects.

Special thanks to:

Writing efficient unit tests is essential for critical software components. But how do we ensure that our tests are thorough enough to cover a huge variety of typical inputs and most edge cases? I'll introduce you to the concept of property-based testing and share how we benefited from using it at Grammarly.

If you struggle with the complexities of concurrent programming, this talk is for you!

Motoyuki Kimura (Software Engineer at CyberAgent) will introduce Loom, a testing tool for concurrent Rust programs. Loom helps detect subtle bugs by exploring all possible execution permutations of a concurrent program. It achieves this goal using model-checking techniques.

Motoyuki will show us how to use Loom and also dive into the underlying model-checking techniques.

If Google Maps is like the MS Paint of mapping, what is the Photoshop of mapping? First of all, what is "mapping"? And how can we process country-wide polygon datasets with cm level accuracy in reasonable time?

Sjors Donkers (Software Engineer at Braid) talks about why Rust is great for mapping, and showcases best practices for writing data structures and algorithms that lead to low complexity and high performance. Watch to hear about the key success factors distilled from a decade of GIS / mapping, and learn techniques to use in your own projects.

Special thanks to: