Just a reminder the first of these is tomorrow (TUESDAY!). On 10/30/2015 08:39 AM, Anthony Carrico wrote: > This announcement is for the VAGUE list (I'm CCing VTFun). > > Here are a pair of talks for the end of this year. What seemed esoteric > when we were all just Bashing away (a little pun for Flint there, see?) > in Unix is becoming the mainstream. The ironic thing is that the whole > point is to make it EASIER to program and maintain systems, the old > imperative way is just too difficult and they doesn't scale, so buck up > and put on your thinking caps. Better tackle this stuff among friends. > > Engines of Logic > http://www.meetup.com/VTCode/events/226387942/?a=ea1_grp&rv=ea1 > > Formal Verification of Distributed Systems > http://www.meetup.com/VTCode/events/226386524/?a=ea1_grp&rv=ea1 > > PS. There is some talk of pizza or something. Not sure if that will pan out. >
-- Anthony Carrico
signature.asc
Description: OpenPGP digital signature
