Rust Brisbane • June 2026
…
Talks
Build You A Type System
Aside from borrowing and ownership, one of Rust’s most loved features is it’s expressive type system. We will be taking a parallel tour of Rust’s type system and formalisms of type theory in mathematics (specifically the polymorphic typed lambda calculus). This talk will cover algebraic data types, generics and polymorphism, dependent types and trait proofs. We will also look at some of Rust’s limitations, the active developments to resolve them and why some of these limitations are necessary for the developer experience.
– By Hayden Brown
Coding Agents Lie. The Compiler Doesn’t
Rust is the last language most people would point an AI at. I think it’s the best one. This is how I get a fleet of coding agents to build Rust I’d actually ship, and why the compiler is what keeps them honest.
Most people think Rust is the last language you’d hand an AI. I think it’s the best one. An agent can ship plausible Python that breaks at runtime, in front of a user. It can’t get a borrow-check error past cargo. I’ll show how I actually build Rust with a small fleet of agents, where Claude plans and Codex implements. And the honest part. What they still get wrong in Rust, and the workflow I run to catch it.
– By Chris Raethke
RSVP
RSVP will open the Tuesday 9th June, 9am AEST
Venue
- Room
- Community Meeting Room (Downstairs between the escalators)
- Doors open
- 5:00pm
- Talks start
- 5:30pm