Multi-Platform App in Rust @ Warp.dev && Verifying Rust's Stdlib

Join us on Tuesday, May 13th, for an exciting evening featuring two deep dives into the world of Rust! We'll journey from the practicalities of building a modern terminal with Rust with Warp.dev to the foundational efforts of formally verifying Rust's standard library with students from CMU.

Talk 1: Warp.dev - "The good, the bad, the lifetime issues: our 4-year journey writing a multi-platform app in Rust"
Speakers: Aloke Desai & David Stern (Warp.dev)
The team at Warp describes their creation powerfully: "Warp is a complete re-imagination of the terminal for the AI age. Warp is a desktop application written in Rust."

Aloke and David will take us through their four-year adventure in building Warp, a high-performance, Rust-based terminal. They'll share candid insights into the triumphs and challenges encountered, including navigating Rust's infamous lifetime complexities in a large-scale, multi-platform application. This is a fantastic opportunity to learn from their extensive experience!

• Learn more about Warp: https://www.warp.dev/

Talk 2: Verifying Rust's Stdlib!
Speakers: Carolyn Zech (Amazon)
Carolyn will present a contest, sponsored by Amazon and the Rust Foundation, to formally verify components of Rust's standard library. They'll shed light on how this crucial initiative uses formal methods to enhance the reliability and correctness of Rust's core, paving the way for an even more robust ecosystem.

• Explore the verification project on GitHub: https://github.com/model-checking/verify-rust-std/
• Read Rahul Kumar's overview of the initiative: CMU Students Push Rust Stdlib Verification! (LinkedIn)

Whether you're deeply embedded in the Rust ecosystem or simply curious about its advancements, these talks promise a wealth of knowledge and inspiration.

We'll be at Materialize on Tuesday! Doors open at 6:30pm to give people plenty of time to grab pizza and socialize, and then the talks starts at 7:30!

It should be a good time! Hope to see you there!

We're extremely excited that Lawrence Harvey is Rust NYC's official recruitment partner sponsor!

The space was generously sponsored by Materialize, which is a database providing incrementally updated materialized views with strong consistency. Hate waiting for your dashboards to load? Use Materialize.