Alloy

Amazon's Automated Reasoning Group published a decade of reflections on proving AWS correct, highlighting that its policy engine Zelkova answers a billion SMT queries a day about what policies permit.…

Alloy, a new PyTorch backend and inference engine for Apple Silicon, has been released as a technical preview. The open-source project compiles Python GPU kernels to Metal and supports LLM serving wit…