Tonight we’ll be hearing from:
David Wood on "Extending Rust’s notions of sizedness". From David:
- "All of Rust’s types either implement the Sized trait, and so have a statically known size during compilation, or do not, and are assumed to have a size computed at runtime. However, this misses out two categories of type: types whose size is unknown during compilation but is a runtime constant, and types whose size can never be known. The former is a prerequisite to stable scalable vector types and the latter is needed to unblock extern types. This talk explores the ongoing “Hierarchy of Sized types” efforts and how the language is being extended to improve support for exotically sized types."
- David leads the Rust team at Arm, is co-lead of the upstream Rust compiler team and a board member of the Rust Foundation.
Tiago Santos and Eren Şimşek on "Rust in Space at Spire":
- Spire designs, builds and operates the world’s largest multipurpose satellite constellation. Tiago and Eren will introduce us to this domain and then go into how and where they use Rust.
- Tiago is a Software Engineering Director at Spire and Eren is a Software Engineer at Spire.
We are generously hosted once again within Perks new Edinburgh offices, who will also be providing 🍕and 🍻!