software industry

A Hacker News discussion thread asks who still runs DOS machines that their business genuinely depends on. The prompt invites stories of legacy computing: factories, labs, or offices keeping decades-old MS-DOS or PC DOS systems alive because critical software or hardware was never ported to modern platforms. Commenters typically share examples of industrial controllers, embedded equipment, and the challenges of maintaining obsolete hardware, with debate over why such systems persist and how risky they are.

A new essay by Hillel Wayne explores what the formal specification language TLA+ can and cannot verify, addressing common misconceptions about its capabilities. TLA+, developed by Leslie Lamport and used by engineers at companies like AWS and Microsoft, is used to model distributed systems and catch design bugs before code is written. The piece is drawing attention from software engineers and systems designers interested in formal methods.

Legit Security has introduced agentic remediation capabilities that automatically fix vulnerabilities in open-source dependencies. The tool uses AI agents to identify, prioritise and patch risky dependencies across software supply chains, reducing manual developer work. The launch comes as enterprises face mounting pressure to address flaws in third-party code faster, and it positions Legit among security vendors racing to add autonomous remediation to application security platforms.

OpenAI and Synopsys have announced a partnership to develop an AI model capable of designing computer chips at the level of an experienced engineer. The collaboration pairs OpenAI's AI expertise with Synopsys's chip design software and tools, aiming to automate parts of the complex semiconductor design process as demand for new chips accelerates across the AI industry.

Chinese AI firm DeepSeek has released open-source software that runs on Huawei's Ascend chips, a sign that China's AI sector is rallying around domestic semiconductor alternatives to Nvidia hardware. The move suggests Chinese developers are accelerating efforts to build a self-sufficient AI stack amid US export controls on advanced chips.

Blogger Jim Nielsen has published an open letter addressed to software makers, laying out his frustrations with the state of modern software. The essay is drawing attention on developer communities, where readers are debating its criticisms of how software products are built and maintained. The discussion touches on the tension between business incentives and quality user experiences.

Several Peugeot models, including the 308, 3008, 408 and 5008, have been recalled, according to CarExpert. Meanwhile, Reuters reports that Stellantis, Peugeot's parent group, is working with Momenta and its Dongfeng joint venture in China to co-develop intelligent driving technology. Together the news puts the French brand in the spotlight for both a safety issue and its strategy in the fast-moving Chinese EV and software market.

A new analysis argues that despite heavy investment in HR software and automation tools, workflow problems in human resources departments remain largely unsolved. The piece suggests that technology alone has not streamlined core HR processes, with teams still bogged down by fragmented systems and manual work, prompting debate over whether vendors are building what HR actually needs.

Axios reports that AI agents — software that can complete tasks autonomously — have a 'normal-people problem', meaning their usefulness remains hard to grasp for consumers outside the tech industry. The piece highlights the gap between industry hype around agentic AI and how ordinary people actually experience or use these tools day to day.

Wired reports that a competition is underway among AI companies to become users' personal AI agent — software that acts on someone's behalf across tasks and services. The piece highlights players like Dots and events such as DevDay as evidence that major tech firms and startups are racing to position their agents as the primary assistant people rely on daily.

DeepSeek and Huawei have jointly released an open-source toolkit aimed at reducing reliance on Nvidia's CUDA software ecosystem. The move pairs DeepSeek's AI research with Huawei's hardware push, offering developers an alternative stack for training and running AI models on Chinese chips. Industry watchers see it as a significant step in China's effort to build a self-sufficient AI computing stack amid US export restrictions on advanced Nvidia hardware.

Anthropic, the AI company behind the Claude models, is reported to be launching or operating a wet laboratory, prompting discussion about what this means for the pharmaceutical industry. The move suggests AI firms may move from software into hands-on biology and drug discovery. Commenters are weighing whether AI companies building physical lab capabilities could accelerate drug development or disrupt traditional pharma research models.

Hyundai Mobis is working to support the localization of automotive semiconductors and the industry's transition to software-defined vehicles (SDVs). The South Korean auto parts maker is positioning itself to reduce reliance on imported chips while adapting its components business to vehicles increasingly controlled by software. The move aligns with broader efforts in Korea's auto supply chain to secure chip supplies and keep pace with the SDV transition reshaping the sector.

Foxconn Industrial Internet, the Shanghai-listed unit of the Taiwanese electronics manufacturing group, has decided not to proceed for now with reducing its stake in software firm Digiwin. The move keeps the company's holding in Digiwin unchanged, and investors are watching what the decision signals about the unit's strategy for its portfolio of affiliate businesses.