Pyrefly v1.3 introduces flexible error configuration with composable tensor shape support for JAX and NumPy, improved DataFrame schema checking for Polars, and new type checking diagnostics including regex validation and protocol implementation detection.
Gherkin Labs reverse engineered Google's TPU communication protocol and built a simulator that runs unmodified TPU software, enabling cycle-level performance tracing without access to actual hardware. The simulator, deployed as a shared library, decodes instruction streams and simulates tensor and sparse cores on CPU, addressing the lack of public TPU documentation to improve ML efficiency and enable better kernel optimization.