Hello again, I'm sorry I left off the timezones. The meetup will happen at 7pm PDT, and the live stream will start at 8pm PDT.
-Erick On Thu, May 8, 2014 at 8:32 AM, Erick Tryzelaar <[email protected]>wrote: > Hello all! > > I just wanted to remind everyone of the Bay Area Rust meetup tonight at > 7pm at Mozilla's downtown office. It will be live streamed starting at > 8pm on https://air.mozilla.org/rust-meetup-may-2014/ if you aren't able > to make it. > > See you tonight! > -Erick > > On Friday, April 11, 2014, Erick Tryzelaar <[email protected]> > wrote: > >> Hello Rustilians! >> >> I'm pleased to announce our next Rust meetup on Thursday May 8 in San >> Francisco, which will be another double feature, focused on improving and >> automating Rust testing. Along with this meetup, there will also be a Testing >> Hackathon <http://www.meetup.com/Rust-Bay-Area/events/168373782/> to be >> held on Saturday May 10st. >> >> Our main speaker Thursday night is Professor John >> Regehr<http://www.cs.utah.edu/%7Eregehr/>from the University of Utah. His >> group is focused on developing new >> techniques to mechanically discover errors and missed optimizations. He >> will be speaking about how his team has made a testing fuzzer for the C >> language, and how we can apply those same techniques to the Rust compiler. >> >> Also speaking will be Andrew Gallant from the east coast, who will >> present his QuickCheck <https://github.com/BurntSushi/quickcheck>, >> Random property based testing with (hopefully) minimal witnesses. >> >> Agenda: >> >> • 7:00pm - Doors open >> >> • 8:00pm - Plans for the Testing Hackathon >> >> • 8:15pm - John Regehr >> >> • 9:15pm - Andrew Gallant >> >> As always, Mozilla will be graciously providing food and drink. >> >> If you would like to attend, sign up here: >> >> Meetup: http://www.meetup.com/Rust-Bay-Area/events/169434302/ >> >> Hackathon: http://www.meetup.com/Rust-Bay-Area/events/168373782/ >> >> I hope you can all make it! >> -Erick >> >
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
