Hayden Stainsby on Nostr: We have our next Rust for Lunch meet-up next Tuesday, 19 March. It's at 12:00 UTC and ...
We have our next Rust for Lunch meet-up next Tuesday, 19 March.
It's at 12:00 UTC and that makes it a whole hour earlier for those of you in North America (the Rust for Breakfast crowd I've been told).
https://lunch.rs/meetups/2024-03-19/
Come join us for the talk "Formal verification for Rust with coq-of-rust".
#rust #rustlang #RustForLunch #rustMeetup
It's at 12:00 UTC and that makes it a whole hour earlier for those of you in North America (the Rust for Breakfast crowd I've been told).
https://lunch.rs/meetups/2024-03-19/
Come join us for the talk "Formal verification for Rust with coq-of-rust".
#rust #rustlang #RustForLunch #rustMeetup