ec2

AWS工程师Zak van der Merwe分享了他14年来为EC2和DSQL构建控制平面的见解，讨论了大规模运行基础设施时面临的分布式系统挑战。

一个比较 AWS 上 23 种 EC2 实例类型的 PostgreSQL 性能与成本的网站，基准测试达到 33,000 RPS。

Browser Use使用常规EC2上的Firecracker微虚拟机重构了其云浏览器基础设施，实现了低于400毫秒的冷启动，并将每个浏览器小时的成本从0.06美元降至0.02美元，同时改善了隔离性和自动扩缩容能力。

AWS 宣布推出 Nitro 隔离引擎，这是首个经过形式化验证的云虚拟机管理程序组件，为基于 Graviton5 的新 EC2 实例提供虚拟机隔离的数学保证。该验证使用了 Isabelle/HOL，包含 330,000 行经过机器检查的数学内容。