Microsoft's GitHub Copilot now has an autonomous coding agent that can set up development environments, edit repository code, run tests, and submit pull requests for human review. The company has extended this agent to Windows development environments and the Windows Subsystem for Linux, letting it build, test, and lint projects across both toolchains before handing work back to a developer. Microsoft is making parallel changes to Aspire, its distributed-application toolchain, adding an agent-friendly command-line interface and Model Context Protocol support so AI tools get broader context.
Microsoft is expanding GitHub Copilot's coding agent to manage more of the software development pipeline, including setting up Windows development environments, running linters and tests, and opening pull requests for human review. GitHub also added agent support for Windows Subsystem for Linux, helping teams that build on Windows but test or deploy on Linux. Microsoft Distinguished Engineer David Fowler said on X that 'typing code is absolutely over,' pointing to a shift in what developers actually spend time doing.
Bentley let journalists ride in a heavily disguised preproduction version of its upcoming 2027 Torcal, an electric SUV built on the same platform as the electrified Porsche Cayenne. The vehicle features artificial exterior body panels and interior coverings to hide its true design, and despite being smaller than the Bentayga, it offers a notably spacious cabin and refined ride quality using off-the-shelf two-chamber air suspension.
The RIAA reported that US recorded music revenue rose 6.9% in H1 2026 versus H1 2025, with physical formats up 25.9%—vinyl grew 17.7% and CDs jumped 58.6%. Streaming still dominates overall revenue at $4.9 billion, but the outsized physical growth stands out amid rising anger over digital ownership issues.
ConnectWise disclosed a new security flaw in its ScreenConnect remote access platform affecting file transfer behavior in both cloud and on-premises deployments. The vulnerability has no CVE identifier yet and no official patch, though the company says a fix is coming later this week. In the meantime, ConnectWise published manual mitigation steps requiring administrators to disable file transfer permissions across user roles.
A blog operator built network and header-based rules on a Cloudflare Worker to sort incoming traffic without relying on JavaScript, and found that 277 of 372 requests bearing browser User-Agent strings were actually not genuine browsers—74.5% of the total. Comparing this edge-based counting with Cloudflare Web Analytics page loads over two days revealed persistent gaps between the two measurement methods, exposing bugs in the HTML-acceptance check and missing provenance markers, both since fixed.
Anthropic says an advanced prototype of its Claude chatbot translated the intricate human proof of Fermat's Last Theorem into a fully machine-verifiable code format, producing roughly 13 million lines of formal logic. The task, originally expected to take mathematicians about a decade, was completed by the AI in just 11 days, according to the company's September 4 announcement.
Anthropic announced that an advanced prototype of its Claude AI model converted Andrew Wiles' famous proof of Fermat's Last Theorem into a fully computer-verified formal proof, spanning roughly 13 million lines of code. The task, expected to take human mathematicians about a decade, was completed by the AI in just 11 days. Researchers including Alex Kontorovich and Kevin Buzzard called the achievement astonishing given how quickly AI's formalization skills have advanced.
The authors of the mouse brain stereotaxic atlas study published a correction fixing several errors: a mislabeled gene name in a figure (corrected to 'Emx1-Cre'), an inaccurate Dice score and sample size in Extended Data Fig. 4, and an updated voxel resolution value in the methods section describing whole-head dataset acquisition. The HTML and PDF versions of the paper have been updated accordingly, with the original figure included as supplementary material for comparison.
Portable CarPlay screens typically cost between $50 and $150, offering a cheaper alternative to buying a new car with built-in infotainment. Buyers should weigh screen size (6 to 11 inches), resolution (ideally at least 1280x720), audio output options like Bluetooth, AUX or FM, and whether the unit supports wireless CarPlay rather than requiring a cable.
A review of wireless Android Auto examines how the cable-free setup pairs automatically once a car starts, freeing up cabin space and removing the hassle of plugging in a phone each trip. However, it notes that going wireless increases battery drain, can cause noticeable heat buildup on longer drives, and depends heavily on both phone hardware and vehicle compatibility, particularly in older cars.
A troubleshooting guide outlines fixes for frequent Apple Wallet and Apple Pay issues, such as cards being declined due to expiration or reissue, outdated iOS software, and regional restrictions. The recommended fixes include removing and re-adding cards, updating iOS through Settings, and verifying that the device's region matches supported Apple Pay markets.
GoKawiil