Software news
Mkcheck2: A highly efficient and accurate approach for build dependency verification
Before users can interact with computer software, its source code must be converted into executable binaries and software packages, a task handled by specialized tools known as build systems. Build systems are a fundamental ...
Sep 25, 2026
0
11
How tech companies can bake responsible innovation into AI development
Multiple AI companies have recently disclosed that their own AI agents broke into real organizations without being directed to, in a worrying trend that suggests AI safety is taking a back seat as companies race to develop ...
Sep 25, 2026
0
5
New mathematical method corrects crack area overestimation in phase-field fracture simulations
Researchers from the IMDEA Materials Institute and the Technical University of Madrid have developed a mathematical model that corrects the overestimated crack area obtained in computational simulations of phase-field fracture ...
Sep 22, 2026
0
4
Software
No-code research platform lets researchers design, customize, and run studies
A psychology study that once took five or six weeks to build can now be created in less than an hour. Jacob Oliveira, a Ph.D. student in the School of Psychology, developed the new tool by aiming to solve his own research ...
Sep 19, 2026
0
7
Software
When AI agents cheat on math problems, others blow the whistle
AI is advancing rapidly. One of the major shifts in the field is that, instead of single chatbots performing individual tasks, teams of autonomous agents work together by communicating with each other, sharing tools and accessing ...
Sep 16, 2026
0
35
Software
AI is reshaping open source software and straining the systems that sustain it
Open source software underpins much of the modern digital world, from mobile phones and automobiles to cloud computing and artificial intelligence. Now, the rapid adoption of AI is creating new opportunities to improve that ...
Sep 16, 2026
0
10
Software
This design software reimagines everyday objects as self-aware devices
As a child, you likely saw a few Disney movies depicting inanimate objects, such as clocks, cups and toys, as interactive companions to humans—an act of pure magic, seemingly. But scientists at MIT's Computer Science and ...
Sep 14, 2026
0
22
Software
How randomness tames vast network problems
Networks are everywhere. They connect computers across the internet, carry electricity through power grids and represent transport routes for moving people and goods. Yet many problems that appear to have nothing to do with ...
Sep 11, 2026
0
19
Software
AI may cut junior coding tasks and weaken the pipeline to senior developers
New research suggests that generative artificial intelligence (AI) could weaken not only employment opportunities for junior software developers but also the pathway through which they develop into senior professionals.
Sep 10, 2026
0
29
Software
Prepare for takeoff into smoother skies: Turbulence tool helps pilots reroute in real time
Turbulence can make a flight unpleasant or, in severe cases, dangerous. A turbulence avoidance tool created by researchers at the U.S. National Science Foundation National Center for Atmospheric Research (NSF NCAR) is making ...
Sep 10, 2026
0
6
Software
Driverless cars race wheel to wheel in Europe for first time
Nanyang Technological University, Singapore (NTU Singapore), UAE technology company K2 and autonomous systems specialist Alp Autonomy have won the world's first multi-car autonomous race held in Europe after their joint entry, ...
Sep 10, 2026
0
7
Software
New software tool lets users repair AI-generated 3D models, then fabricate them just the way they want
A guiding principle for many software engineers—"What you see is what you get" —means creating programs where the content you're editing looks the same as the final product. But when you're using generative AI (genAI) systems ...
Sep 9, 2026
0
32
Software
A 60-year-old computing strategy gets an update for AI-era data centers
When a website loads quickly or an operating system runs smoothly, you can thank caching—a widely used computing process for fast data access that works by storing frequently used pieces of data in a computer's memory.
Sep 9, 2026
0
18
Software
'End of an era': Players lament decline of the disc at Gamescom
Some video game fans are flabbergasted at Sony's decision, announced at Germany's Gamescom trade show, to discontinue disc sales starting in 2028—leading to calls for a boycott.
Aug 28, 2026
0
6
Software
Guns, drugs and car chases: GTA 6 preview lands on Netflix after leaks
Rockstar Games on Thursday launched, for the first time on Netflix, a preview of its hotly anticipated next installment in the Grand Theft Auto franchise, which will be released in November after a monthslong delay and recent ...
Aug 28, 2026
0
5
Software
New system recognizes masked faces using eyes and forehead
A face-recognition system that can identify people even if they are wearing a face mask covering their nose and mouth is discussed in the International Journal of Computational Vision and Robotics. The new system uses biometrics ...
Aug 27, 2026
0
8
Software
Divide-and-conquer approach advances system reliability through scalable model checking
Model checking helps automatically verify whether hardware and software systems satisfy specified requirements. It has become an important formal verification technique, but two major challenges remain: state-space explosion, ...
Aug 26, 2026
0
5
Software
Three-stage AI system rebuilds blurred, missing facial details in 30 seconds
Imagine finding a very old family photograph that has faded over time. Parts of the image are missing, the faces are blurry, and years spent inside a cardboard album have erased many details. Restoring such an image traditionally ...
Aug 20, 2026
0
14
Software
When security becomes a risk factor—privacy risks of public URL-scanning services
URL scanning services are now a common component of modern security workflows. They help detect phishing websites or malware early and warn users before they visit a URL. However, the practice of some of these services—publishing ...
Aug 7, 2026
0
16
Software
Optimizing software: Computing professor's 'egg' downsizes programs to make them more nimble
Many software tools, including compilers, optimizers and synthesizers, have a common task at their core. They must transform long, complicated programs into simplified equivalents. These scaled-down programs run faster and ...
Aug 6, 2026
0
38
Software
'Appy marriages: AI helps hundreds of Japanese wed
A total of 265 couples have married after meeting on an AI-powered dating app launched by the Tokyo government in 2024 to lift Japan's low birth rate, according to official data.
Jul 28, 2026
0
5
Software
From molecules to networks, siibra integrates brain data into a unified atlas
In the current issue of the journal Nature Methods, siibra is introduced as a software suite that integrates data from different multimodal sources into a comprehensive atlas of the human brain and makes the data easily accessible—for ...
Jul 21, 2026
0
5
Software
New prototype learning system for software development education uses a learning-by-teaching approach
The emergence of generative artificial intelligence (GenAI) models, including ChatGPT, Gemini and Copilot, has transformed educational pedagogy by enabling new forms of interaction, reflection and learning. Yet the use of ...
Jul 20, 2026
0
11
