AWS introduced the Nitro Isolation Engine on its new M9g and M9gd Graviton5 instances and used Isabelle/HOL to prove that it enforces strict VM isolation. They modeled the engine in a subset of Rust (μRust), wrote Separation Logic specifications, and proved functional correctness, memory safety, and noninterference to guarantee confidentiality and integrity.

AWS is rolling out access to Anthropic’s Claude Fable 5 model via Amazon Bedrock, with account availability based on Bedrock usage or AWS Support requests. The service routes harmful prompts to the Opus 4.8 model to reduce costs and applies 30-day data retention for all Mythos-class model traffic.

AWS Blocks is a public preview TypeScript framework that gives you a local backend environment with Postgres, authentication, and real-time messaging—no AWS account needed. When you’re ready to deploy, the same code runs on AWS services unchanged, and you can drop into AWS CDK for custom resource setup.

Amazon S3 now lets you attach multiple named annotations—structured JSON or plain text—directly to objects and manage them independently via the GetObjectAnnotation and ListObjectAnnotations APIs. This feature scales to petabytes, works across storage classes, and avoids separate metadata systems.

This digest covers SpaceX’s $60 billion stock acquisition of AI coding startup Cursor, Apple’s plans for camera-enabled AirPods and a foldable iPhone by 2027, and AWS’s new S3 annotations feature for rich object metadata. It also highlights a robot debut by Genesis AI, Snap’s $2,195 AR glasses, Meta’s engineering shakeup, and OpenAI’s mounting losses.

Set up the Tansu broker using SQLite on an AWS t3.micro instance, taking advantage of the AWS Free Tier. The guide covers installation, configuration, and performance testing, demonstrating how to launch a low-cost Kafka-compatible broker for early-stage projects.

Signal president Meredith Whittaker highlighted the reliance of the encrypted messaging app on Amazon Web Services (AWS) following a recent outage that affected multiple companies. She emphasized the lack of alternatives in the cloud infrastructure industry, pointing out that only a few major players dominate the space, which poses risks for global communication services. Whittaker hopes the incident can serve as a wake-up call regarding the concentration of power in the tech industry.