Good code enables easy code. Easy code engenders bad code. Bad code necessitates good code. For all the 'revolutions' in programming computers, DARPA is hailin

Good code enables easy code. Easy code engenders bad code. Bad code necessitates good code. For all the 'revolutions' in programming computers, DARPA is hailing formal methods as the big thing in computer security now. Boom and bust, as in any distributed system with signalling delays. "Oh boy here I go mathin' again" =]