About us
https://dominikwilkowski.github.io/rust_brisbane_site/
We're interested in the Rust programming language. We aim to catch up monthly to discuss learning and using Rust, and to share news and discoveries from the Rust ecosystem. All are welcome, whether you're using Rust every day or just interested to check out something new!
Upcoming events
1
Rust Brisbane • June 2026
Brisbane Square Library, 266 George St, Brisbane City, QL, AU# 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
14 attendees
Past events
36
Group links
Organizers
Members
475
