Computer & Information Technology

Cool(ing) Ideas for Tropical Data Centers

Tropical climates could make racks of hot-running data servers even hotter. But researchers in Singapore are now testing ways to cool this trend, sustainably. The National University of Singapore in Queenstown (NUS), Nanyang Technological University, Singapore (NTUS), together with Singapore’s National Research Foundation and Infocomm Media Development Authority, as well…
Read More

AI-Powered Proof Generator Helps Debug Software

Not all software is perfect—many apps, programs, and websites are released despite bugs. But the software behind critical systems like cryptographic protocols, medical devices, and space shuttles must be error-free, and ensuring the absence of bugs requires going beyond code reviews and testing. It requires formal verification.Formal verification involves writing…
Read More

Blockchain Computing Simulates Early Earth

A new paper published in the journal Chem on Wednesday points to the way blockchain technology could be helpful for scientists in need of extensive computing resources—and makes some news in pre-biology, too. Researchers associated with Allchemy—an AI startup focused on drug discovery and computational synthesis—as well as the Korea…
Read More

Action restricted!