Proof-assistant software handles an abstract concept at the cutting edge of research, revealing a bigger role for software in mathematics.
Nature From ACM News | June 21, 2021
The Internet giant is throwing tracking cookies in the dustbin, prompting big questions about privacy, competition, and advertising.
The Washington Post From ACM News | June 18, 2021
McAfee researchers discovered a vulnerability in the Peloton Bike+ that could enable attackers to install malware in the system through a USB port.
NBC News From ACM TechNews | June 18, 2021
Canada's Office of the Privacy Commissioner has cited the Royal Canadian Mounted Police for illegally using facial recognition software from Clearview AI.
The Wall Street Journal From ACM TechNews | June 18, 2021
A Florida Atlantic University' researcher has designed technology for autonomous systems that uses machine-learned human moods to respond to emotions.
Florida Atlantic University From ACM TechNews | June 18, 2021
The Mayflower Autonomous Ship set off this week to retrace the journey of its 1620 namesake across the Atlantic Ocean.
Associated Press From ACM TechNews | June 18, 2021
Facebook's artificial intelligence program looks for cracks left behind in the manufacturing process used to change an image's digital "fingerprint."
From ACM News | June 17, 2021
The U.S. Postal Service is using artificial intelligence technology from NVIDIA to help it gain efficiencies.
FedTech Magazine From ACM News | June 17, 2021
U.S. Army Research Laboratory scientists have determined that current legged robots could be far more efficient.
New Scientist From ACM TechNews | June 17, 2021
Waymo and trucking company JB Hunt have partnered to haul cargo loads autonomously between Houston and Fort Worth, TX.
Ars Technica From ACM TechNews | June 17, 2021
Researchers have developed a technique to identify potentially harmful bacteria on skin and in the mouth, using images taken by smartphone cameras.
University of Washington News From ACM TechNews | June 17, 2021
The Boston Ballet has commissioned three choreographers to develop original ballets designed for viewing entirely in virtual reality.
Financial Times From ACM TechNews | June 17, 2021
Investigators said the rogue employees would restore systems impacted by ransomware attacks, but leave a backdoor for another ransomware attack.
The Record From ACM News | June 17, 2021
Open source logic programming language compiles to SQL and runs on Google BigQuery, with experimental support for PostgreSQL and SQLite.
InfoWorld From ACM News | June 16, 2021
Launched in 1990, Hubble is showing more and more signs of aging, despite a series of repairs and updates by spacewalking astronauts during NASA's shuttle era.
...Newsmax From ACM News | June 16, 2021
Tim Berners-Lee's original source code for what would become the World Wide Web is part of a non-fungible token soon to be auctioned off.
Reuters From ACM TechNews | June 16, 2021