Snap unveiled new features for its $2,200 Specs smart glasses at a Los Angeles event, including HBO Max and Spotify integration, an AI productivity system called Specs Intelligence, and enterprise partnerships with Amazon, Salesforce, and Nvidia. The company aims to justify the expensive hardware by positioning it as an AI-native computing device for both consumers and IT professionals, though practical use cases remain limited.
Verus is an open-source automated program verifier for Rust that uses formal mathematical specifications and mechanically checks code correctness for all possible inputs. Unlike traditional testing, Verus constructs mathematical proofs that code matches its specification, with developers providing high-level guidance while the tool handles low-level proof steps. Amazon uses Verus to verify critical Rust infrastructure including the Nitro Isolation Engine and serverless computing components.
CodeSpaces, a code-hosting service based in New Jersey, shut down after a hacker breached its Amazon EC2 account, deleted customer data and backups over 12 hours through a DDoS attack and extortion attempt, and then wiped its digital assets when the company regained access. Despite claiming full redundancy and off-site backups, the company lost most customer data and ceased operations due to financial and credibility damage.
The pandemic accelerated tech adoption and triggered massive hiring by giants like Amazon and Google, fueled by a decade of loose monetary policy. When the Federal Reserve sharply raised interest rates to combat inflation, the tech sector crashed harder than any other, with major firms missing expectations and trillions in market value evaporating.