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 & 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 & 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!
Talk 2: Verifying Rust's Stdlib!
Speakers: Carolyn Zech (Amazon)
Carolyn will present a contest, sponsored by Amazon & 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 & correctness of Rust's core, paving the way for an even more robust ecosystem.
Whether you're deeply embedded in the Rust ecosystem or simply curious about its advancements, these talks promise a wealth of knowledge & inspiration.
We'll be at Materialize on Tuesday! Doors open at 6:30pm to give people plenty of time to grab pizza & socialize, & 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.
