Tokyo Rust Community, it's time for our next meetup. We're going to be hosting a talk from Mate Kovacs - an independent software consultant - on a library he's been building called Anodized, a flexible and robust specification system for Rust.

Rust's type system provides strong guarantees, but many real-world requirements lie beyond what the types can express. Anodized adds annotations to Rust that let you capture specifications that types alone cannot.

These annotations are deeply integrated with the language: they are validated and type-checked by the compiler as part of a normal build, even when runtime enforcement is disabled. Anodized works on stable Rust and integrates with tools like rust-analyzer out of the box.

Designed to be tool-agnostic, Anodized makes specifications available to a range of enforcement tools, including runtime checks, fuzzing, and static analysis. In this talk, we'll explore Anodized's design and how it brings integrated specifications to Rust today.

This time Google For Startups has generously offered to host us (special thanks to the coordinator Sunshine for getting in touch and offering to help out).

The space is on the 5th floor of the Shibuya Stream building, which you can reach by elevator or the escalator just outside the "new south exit" from the JR station (go out and take a left), following the signs that say "Google". We'll be on the 5th floor showing you how to print your guest badges (which we'll prepare from the list of those who sign up, so remember to RSVP so you can be guaranteed a spot).