MultiMed Engineers
Deep learning has a terrible carbon footprint.
Training a single AI model can emit as much carbon as five cars in their lifetimes | MIT Technology Review
Category Archives: Digital Technologies
Microsoft Retracts Paper Claiming Quantum Computing Breakthrough
A controversial 2018 research paper about the discovery of an elusive subatomic particle has been retracted by the reputable journal Nature.
Source: Microsoft Retracts Paper Claiming Quantum Computing Breakthrough
European Commission on LinkedIn: You should have the tools to stay in control of your data in the EU
You should have the tools to stay in control of your data in the EU. The Commission wants to create the right conditions for people, companies and authorities to … 87 comments on LinkedIn
Source: European Commission on LinkedIn: #Data #DigitalEU #EuropeanUnion | 87 comments
The Website That Visualizes Human Activity in Cities Across the World
The data from mobile phones is revolutionizing our understanding of human activity. In recent years, it has revealed commuting patterns in major cities, wealth distribution in African countries, and even reproductive strategies in western societies. That has provided unprecedented insight for economists, sociologists, and city planners among others. But this kind of advanced research is just…
Source: The Website That Visualizes Human Activity in Cities Across the World
Learning to prove theorems via interacting with proof assistants
… human experts have written a large amount of ITP code, which provides an opportunity to develop machine learning systems to imitate humans for interacting with the proof assistant. Such a combination would get us closer to fully automated human-like proofs.
Source: Learning to prove theorems via interacting with proof assistants | the morning paper