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
Windows 11's Weather App Is Eating Over 1 GB of RAM
Testing published on 9 August 2026 found Windows 11's bundled Weather app holding more than 1 GB of RAM in normal use and peaking near 1.6 GB. macOS Weather does the same job in roughly 250 MB. The cause is architectural: it is an MSN web app running on WebView2, with Chromium subprocesses to match.
Software
Shopify swapped Redis for MySQL and hit $5.1M sales a minute
Shopify moved checkout inventory reservations off Redis and into the same MySQL database that already held the inventory ledger, then proved it at Black Friday 2025 peak: $5.1 million in sales per minute with the database writer under 50% CPU. The move was not about speed. Redis could not express multi-location stock or make reserve-and-claim atomic, and the fix was one MySQL row per sellable unit claimed with SKIP LOCKED.
Software
Nixpkgs core team disbands, citing steering committee friction
The Nixpkgs core team disbanded on August 7, 2026, ten months after the NixOS Steering Committee created it. Its two remaining members cite failed recruitment and steering committee micromanagement, leaving Nixpkgs governance with no direct owner.
Software
Cloudflare Open-Sources an OS for AI Agents at Work
Cloudflare has open-sourced Cloudflare OS, a self-hosted platform that gives every employee an AI agent workspace with zero-trust access to internal systems, deterministic workflows, and shareable full-stack apps, all built on Cloudflare Workers.
Software
Cursor pulls dollar costs from its usage page
On July 31, 2026 Cursor removed dollar amounts from the usage page and CSV export for self-serve plans, and zeroed the historical cost data retroactively. Token counts remain, so you can still see how much you used, just not what any of it was worth.
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.