Software, QA & Development

An open-source toolkit called REA connects coding agents to software analysis tools, helping developers investigate existing programs and test what they learn.

Lean v4.35.0 adds lake check to recheck developments with external kernels, including a paranoid mode that runs four additional checkers.

Robert Wille says quantum computing must move beyond algorithm research toward interoperable software, design automation and practical deployment.

A retro-gaming report makes the case for running classic DOS games in their original CPU-rendered modes on modern hardware.

Meta released Muse Spark Open, an 816B-parameter model with strong open-model scores, but benchmarked task costs match its closed counterpart.

Gewerkton replaced its whole look in two days, with AI coding agents carrying out the work from written plans: web app, phone app, Studio, icons, a website in forty languages and regional films. How it was checked, what broke and what the films cost.

Uber engineer Uday Kiran Medisetty describes the company’s AI gateways, agent tools, spending controls and evolving code-review process.

Go 1.27 can reuse HTTP/1 connections after response bodies are closed, reducing repeated connection setup in cases that slowed Go 1.26.

A Pragmatic Engineer report shares excerpts from Sam Newman’s new book on disaster recovery and resilience for AI-powered software.

A Rust issue reports a borrow-checker soundness bug that can let a reference escape its lifetime through a malicious Drop implementation.