I'm on the AWS Developers podcast this morning, talking to Julian Wood about AWS Lambda's 10th anniversary, the growth of serverless, and some of what we learned along the way. https://developers.podcast.go-aws.com/web/podcasts/episode_137/index.html

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...

New little blog post on garbage collection and metastability:

Garbage Collection and Metastability - Marc's Blog

More great work from Kyle, and another reminder that retrying isn't the safe best-practice that many folks assume it is:

Jepsen: jetcd 0.8.2

Loved this talk by Terence Tao on math, AI, and proof assistants. I suspect we're going to see a similar effect in software: AI will allow formal specs to be developed faster than traditional programs, and for programs to be generated from those specs.