AWS targets AI slop with new spec check in Kiro coding tool, amid scrutiny of agent reliability

Amazon Web Services is adding a feature to its Kiro AI coding tool that uses mathematical proofs to check whether software ...
InfoQ

AWS WorkSpaces Now Lets AI Agents Operate Legacy Desktop Applications Without APIs

AWS announced that Amazon WorkSpaces can now serve as managed virtual desktops for AI agents in public preview. Agents ...

Andy Jassy Is Rewriting Amazon’s Playbook for the AI Age

Jassy was once Jeff Bezos’ deputy and the head of Amazon’s cloud computing arm. Five years into his tenure as CEO, he’s ...
InfoQ

JEP 533 Tightens Exception Handling in Java's Structured Concurrency for JDK 27

JEP 533, Structured Concurrency, has reached integrated status for JDK 27. It refines exception handling and type safety in ...