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

Developer's pgrust project uncovers multiple real bugs in Postgres

Michael Malis, creator of the Rust-based Postgres rewrite project pgrust, has found and reported several genuine bugs in PostgreSQL while testing his project, including issues affecting SP-GiST operations, JSONPath results, pgcrypto, the dictionary loader, and money-type overflow handling. The author of this piece notes pgrust's main goal is improved performance, not just a rewrite, and vouches for Malis's credibility based on personal familiarity with his work.

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.

Atari to shut down VCS software store on January 31st, 2027

Atari announced it will close the official online store for its VCS mini PC in early 2027, ending the ability to download new apps and games through that platform. Previously downloaded software will remain usable, and Atari plans an OS update to remove dependencies on its servers for authentication and software access. The company also plans an Atari Home Brew app to let third-party developers keep adding games after the store closes.

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.

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 →