Adapting to AI: Code Review
To deal with the probabilistic nature of AI, we should focus on determinism to define success.
An unexpected discovery: Automated reasoning often makes systems more efficient and easier to maintain | Amazon Web Services
aws.amazon.comDuring a recent visit to the Defense Advanced Research Projects Agency (DARPA), I mentioned a trend that piqued their interest: Over the last 10 years of applying automated reasoning at Amazon Web Services (AWS), we’ve found that formally verified code is often more performant than the unverified code it replaces. The reason is that the […]