Great new piece from Byron Cook about automated reasoning at AWS, and how we're finding it not only allows us to deliver safer code, but also deliver faster code, and deliver code faster. 
Amazon Web Services
An unexpected discovery: Automated reasoning often makes systems more efficient and easier to maintain | Amazon Web Services
During a recent visit to the Defense Advanced Research Projects Agency (DARPA), I mentioned a trend that piqued their interest: Over the last 10 ye...