Software News.
Programming languages, frameworks, databases and developer tools, decoded for the people who ship. We track the releases and shifts that change how software gets built, from runtimes and type-checkers to the AI agents now writing code.
Software
An AI Collatz ‘disproof’ exposed a hole in Lean's kernel
A machine-assisted disproof of the Collatz conjecture appeared on 25 July and type-checked in Lean. It was wrong, and it was wrong in the most interesting way possible: it had found a genuine soundness bug in the proof assistant's kernel, letting False be derived through metaprogramming.
Software
Go Finally Proposes Generic Sets and Maps for the Stdlib
Four years after generics landed, a Go working group has proposed container/set, container/hash, container/ordered and heap/v2 for the standard library, targeting Go 1.28.
Software
GitHub Ships Native Stacked Pull Requests in Preview
GitHub put stacked pull requests into public preview on July 30, 2026, giving every repository a native way to split one large change into an ordered series of small, independently reviewable PRs. Merging one layer automatically rebases and retargets the PRs above it, the exact problem third-party tools like Graphite were built to solve.
Software
Google Play Age Signals Goes Global: Inside the 4 Tiers
Google is rolling its Play Age Signals API out worldwide by the end of 2026, reaching Australia and Canada by mid-August. Beyond an age bracket, the API tells apps how that age was established, across four assurance tiers from self-declared to government ID plus selfie.
Software
Microsoft's TPM Activation Change Won't Stop Windows Piracy
Microsoft's new KMS Hardware-Secured rule requires enterprise KMS activation servers to prove their identity with a TPM. It does not touch pirated Windows installs: HWID digital licenses, local KMS emulators and TSforge are all outside its scope.
Software
Debian Votes on Four Rival Rules for AI Contributions
Debian opened a General Resolution on July 24, 2026 with four seconded proposals for LLM-assisted contributions, ranging from an outright ban to a permissive disclosure regime. The winner becomes the first binding AI policy at a distribution thousands of downstream projects inherit from.
Software
Codeberg Bans Projects Mostly Written by Generative AI
Codeberg’s members voted to amend the platform’s Terms of Use, and as of today it forbids hosting projects that "mostly consist of" code written by generative AI tools, naming Claude and OpenAI Codex directly. Unlike the AI bans Godot and GNOME announced this year, this one blocks the repository itself rather than a pull request.
Software
Microsoft Open-Sources Comic Chat After 30 Years
Microsoft published the full source of Comic Chat, its 1996 comic-strip IRC client, under an MIT license at github.com/microsoft/comic-chat, including AI-assisted forks that build the 30-year-old Visual C++ and MFC code in Visual Studio 2022.
Software
Debian 13.6 Ships a Fix for the Expired Secure Boot CA
Debian 13.6 landed July 11 with fwupd 2.0.20, which can update your firmware's Secure Boot CA, KEK and DBX databases. The reason it matters: the 2013 UEFI CA that signs most Linux bootloaders has expired, and future shim updates will not validate on firmware that never got the 2023 replacement.
Software
SvelteKit Ships Breaking API Changes: Sync Requests, refreshAll
SvelteKit's latest release makes getRequest and setResponse synchronous, marks page.url immutable at the type level, adds refreshAll while deprecating invalidateAll, and drops the experimental handleRenderingErrors flag, a batch of breaking changes teams must plan for.
Software
Laravel Adds Native Postgres Pooler Support for PgBouncer
Laravel now supports transaction-mode Postgres poolers like PgBouncer, RDS Proxy and Neon at the framework level: set pooled to true and Laravel handles emulated prepares and boolean binding, while a ::direct suffix routes schema changes around the pooler.
Software
Microsoft Pauses Windows 11 Update Over Dell Shutdowns
Microsoft has blocked its July 14 Windows 11 update, KB5101650, from installing on some Dell PCs after confirming an Intel driver conflict can cause unexpected shutdowns, overheating, and battery drain. A fix is due in the coming days.
Software
Apple Ships iOS 27 Public Beta With Agentic Siri AI
Apple released the first public betas of iOS 27 and iPadOS 27 on July 13, headlined by a rebuilt Siri that can search the web, read your screen, use personal context, and take actions across apps.
Software
Windows 10 KB5099539 ESU Update Has a Networking Catch
KB5099539 is Windows 10's July 2026 Patch Tuesday update, delivered only to PCs enrolled in the paid Extended Security Updates program; it fixes a June OLE Automation regression and hardens Secure Boot and Remote Desktop, but a new TDI networking rule can break apps using unregistered third-party transports.
Software
Rolldown 1.0 Lands in Vite 8: One Rust Bundler to Rule Them
Vite 8 ships with stable Rolldown 1.0, the Rust-based bundler from the VoidZero team that replaces Vite's split of esbuild for dev and Rollup for production with a single engine, promising faster builds and one consistent output.
Software
Deno 2.7 Lands Temporal, Windows ARM, and Deploy GA
Deno 2.7 ships the standardized Temporal date-time API, native Windows on ARM builds, and full npm compatibility, while Deno Deploy reaches general availability, sharpening the runtime's pitch against Node and Bun.
Software
Node.js 26 Ships Temporal by Default on V8 14.6
Node.js 26 landed as the new Current release with the Temporal date API enabled by default, V8 upgraded to 14.6, and a round of removals, making it the last version before Node shifts to a yearly release cadence.
Software
Python 3.15 Betas Land as CPython Puts Its JIT on a Clock
Python 3.15 picked up two more betas on the way to a fall release, but the bigger story is that the CPython Steering Council gave the experimental JIT compiler roughly six months to prove it earns its complexity, or face reconsideration.
Software
Zig Nears 1.0 With a Radical New I/O Model
Zig is closing in on its 1.0 release in 2026, and its new std.Io interface makes input and output a value you pass in, letting the same code run blocking, threaded, or event-driven without rewrites.
Software
Astro 7 Ships a Rust Compiler and Vite 8 Speed Jump
Astro 7 rebuilds its compiler and Markdown pipeline in Rust, moves to Vite 8, and adds first-class AI agent support, all while keeping the zero-JavaScript-by-default philosophy that made it popular.
Software
Python 3.14 makes free-threading real: the GIL era is ending
With Python 3.14, the free-threaded no-GIL build is officially supported rather than experimental, and 2026 is the year the ecosystem's libraries start shipping wheels that finally run threads in parallel.
Software
VS Code's July update turns the editor into an agent host
The July 8 Visual Studio Code release expands agent workflows, chat attachments, browser-tab controls and OS-level shortcuts, pushing the editor further from a text tool toward a place where coding agents actually run.
Software
Bun 1.3 ships a batteries-included runtime to unseat Node
Bun 1.3 turns the JavaScript runtime into an all-in-one toolkit: run an HTML file and it serves and hot-reloads your frontend with no Vite, no webpack, and no config, while built-in SQL and S3 clients cut whole categories of dependencies.
Software
Python's Steering Council Puts the JIT Compiler on Notice
Python's Steering Council has given the experimental JIT compiler a deadline to prove it is worth keeping, warning that the copy-and-patch just-in-time engine must show real, consistent speedups or be cut. It is a rare ultimatum for a headline CPython feature.
Software
Flutter 3.44 adds agentic hot reload and GenUI
Flutter 3.44, shipped at Google I/O 2026 with Dart 3.12, makes the framework agent-aware: an MCP server auto-triggers hot reload after a coding agent edits your code, a new GenUI SDK lets agents compose live widgets, and Material and Cupertino move out of the core SDK.
Software
Microsoft Ships Agent Framework 1.0 for .NET and Python
Microsoft released Agent Framework 1.0, a production, long-term-support open-source library for .NET and Python that merges Semantic Kernel and AutoGen into one way to build tool-calling, multi-model, multi-step AI agents.
Software
TypeScript 7 Goes Native: A 10x Faster Compiler in Go
Microsoft announced TypeScript 7 on July 8, a compiler rewritten from JavaScript into Go that runs roughly ten times faster and brings near-instant type checking to VS Code, Visual Studio and other editors.
Software
Valkey 8.1 undercuts Redis on memory and price
Valkey 8.1, the Linux Foundation fork of Redis, now runs about 28% leaner on memory than Redis while managed providers price it roughly 33% cheaper. With Redis Software 7.2 hitting end of life, the license fight that created Valkey is turning into a migration decision for real teams.
Software
Node.js 20 Hits End of Life July 9: What to Do Now
Node.js 20 reaches end of life on July 9, 2026, ending security patches. Teams still on it should move to Node 22 or 24 now; here is why it matters and how to plan the jump.
Software
Rust 1.96 Finally Makes Range Types Copy
Rust 1.96, released May 28 2026, adds Copy-able core::range types via RFC 3550, stabilizes assert_matches!, and raises the minimum LLVM version to 21.