Skip to content
Tech News
clear
Topics: Today This Week This Month This Year

Anthropic and Theorem use Claude to formally verify over 100 open-source libraries

Anthropic, working with Theorem, reports using its Claude models to generate formal mathematical proofs of security properties for more than 100 real-world open-source software libraries at the RISC-V assembly level. The company says this is the first large-scale attempt to apply AI-driven formal verification to production software at that level, and that Claude uncovered previously undetected bugs in the process.

Atari VCS software store to close February 1, 2027

Atari announced it will shut down the official software store for its 2021 VCS console-PC hybrid on February 1, 2027, with purchases allowed until January 31, 2027. The company plans to release an OS update letting owners migrate functionality to local storage, removing dependence on Atari's servers for authentication and software, and will roll out an Atari Homebrew App so users can keep building and installing games afterward.

Origina survey: large enterprises lose 28% of software budgets to unwanted upgrades

A survey of 2,018 CIOs and senior IT decision-makers at firms with over 10,000 employees and $1 billion-plus revenue found that enterprises spend an average of 28 percent of software budgets on vendor-driven upgrades, migrations, or licensing changes. Ninety-five percent said their organization paid for a change in the past three years that it believed would reduce performance, reliability, or business value, and 53 percent said this happened more than once. The report, titled 'The Software Tax,' was commissioned by Origina, a company that sells independent software maintenance services, and conducted by Censuswide.

IBM tops Q3 estimates, raises free cash flow outlook for 2026

IBM reported third-quarter adjusted earnings of $2.95 per share on revenue of $17.10 billion, both ahead of analyst expectations. Net income rose to $2.19 billion from $1.74 billion a year earlier, with software revenue up 8% to $7.80 billion. IBM also raised its full-year free cash flow guidance to an increase of more than $1 billion, up from the roughly $1 billion improvement it had forecast in July.

Plex reportedly cuts entire player app development team

According to a forum post addressed to Plex's drzoidberg33, Plex has laid off the staff responsible for building its player clients, following widespread complaints that the newer 'New Experience' apps crash and underperform compared to earlier versions. The poster says users have been turning to unofficial, 'vibe coded' third-party apps to get reliable media playback instead.

Apple to bring HomePod Mini 2 features to older speakers via software update

Apple is preparing HomePod 27.2 software, currently in developer and public beta testing, that brings some new HomePod Mini 2 capabilities to older models. Per MacRumors, the first-gen HomePod and Mini will gain lock-controls functionality, with the Mini also getting the Sound Glow RGB light display, while the 2nd-gen HomePod will additionally support Mac audio output and four-speaker arrays with the fourth-gen Apple TV 4K.

Essay argues AI coding agents reshape programmer's role, not eliminate it

A developer essay sketches a hypothetical 2031 workday in which AI agents complete most coding tasks overnight, opening pull requests with tests and recorded demos, while leaving ambiguous business decisions for a human to resolve. The piece draws a parallel to earlier predictions that compilers would make programming obsolete, arguing that each layer of automation shifts rather than removes human judgment. The author frames this as a plausible near-future extension of present-day agentic coding tools rather than a confirmed roadmap.

Today's top topics: iphone duo openai ai agents elon musk android authority android steam hdmi 2.1 spacex marvel
Browse all topics →  ·  Today's trending topics →