ec2

Browser Use rebuilt its cloud browser infrastructure using Firecracker microVMs on regular EC2, achieving sub-400ms cold starts and reducing costs from $0.06 to $0.02 per browser hour with improved isolation and autoscaling.

AWS announced the Nitro Isolation Engine, the first formally verified cloud hypervisor component, providing mathematical assurance of virtual machine isolation on new Graviton5-based EC2 instances. The verification uses Isabelle/HOL and comprises 330,000 lines of machine-checked mathematics.