Rust Brisbane • June 2026

# RUST MEETUP • 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

## VENUE

Brisbane Square Library
Room: Community Meeting Room (Downstairs)
Doors Open: 5:00pm
Talks start: 5:30pm

## RSVP

RSVP will open the Tuesday 9th June 9am