Page 5179

Sep 12, 2020

If Nvidia buys Arm, how open will it remain?

Posted by in category: futurism

Nvidia is rumored to be in talks to buy Arm for more than $40 billion from SoftBank, according to a report in the Wall Street Journal.

Sep 12, 2020

Cancer Projects to Diversify Genetic Research Receive New Grants

Posted by in categories: biotech/medical, genetics

Because much cancer research and clinical trials have been based on white populations, efforts to explore the ways race and ethnicity influence disease are underway.

Sep 12, 2020

Coronavirus derails Bloodhound land speed record attempt

Posted by in category: biotech/medical


Bloodhound LSR reached 628 mph during testing but now needs cash to fund a rocket booster to ultimately hit a goal of 1,000 mph.

Sep 12, 2020

Fastest battery-powered remote-controlled (RC) model car

Posted by in category: transportation

Sep 12, 2020

Scientists Discover “Vantablack” Deep-Sea Creatures

Posted by in category: futurism

As if deep sea predators weren’t terrifying enough.

Sep 12, 2020

Humanity’s Babel Tower: Space Elevator

Posted by in categories: business, space travel

In the book of Genesis, the Bible recounts the Babel tower that, once built, would allow humanity to do whatever it wishes. In this video, I will go over how humanity’s first space elevator will revolutionize human progress in space exploration and colonization. I will also go over the risks of a possible space elevator.

Discord Link:
Patreon link:
Please follow our instagram at:
For business inquires, please contact [email protected]

Sep 12, 2020

Mind-blowing Andromeda galaxy and ‘Cosmic Inferno’ earn space photo contest’s top prizes

Posted by in category: space

An international contest for space photography awarded its top prize to the photographer who captured a unique view of the Andromeda galaxy.

Sep 12, 2020

Quiet Anthropocene, quiet Earth

Posted by in category: biotech/medical

Our planet vibrates incessantly, sometimes with notable but more often with imperceptible intensity. Conventional seismology attempts to decipher vibrational sources and path effects by studying seismograms—records of vibrations measured with seismometers. In doing so, scientists seek either to understand the tectonic processes that lead to strong ground motions and earthquake failure (1) or to probe otherwise inaccessible planetary interiors (2). Progress in these areas of research typically has relied on the rare and geographically irregular occurrence of large earthquakes. However, anthropogenic (human) activities at Earth’s surface also generate seismic waves that instruments can detect over great distances. On page 1338 of this issue, Lecocq et al. (3) report on a quieting of anthropogenic vibrations since the start of the severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) pandemic.

This is an article distributed under the terms of the Science Journals Default License.

Sep 12, 2020

Those orange Western skies and the science of light

Posted by in categories: chemistry, physics, science

Sure, it was wildfire smoke that made parts of California and Oregon change hue. But inside that smoke was alchemy — the chemistry and physics of molecules and wavelengths.

Sep 12, 2020

OpenAI ‘GPT-f’ Delivers SOTA Performance in Automated Mathematical Theorem Proving

Posted by in categories: mathematics, robotics/AI

San Francisco-based AI research laboratory OpenAI has added another member to its popular GPT (Generative Pre-trained Transformer) family. In a new paper, OpenAI researchers introduce GPT-f, an automated prover and proof assistant for the Metamath formalization language.

While artificial neural networks have made considerable advances in computer vision, natural language processing, robotics and so on, OpenAI believes they also have potential in the relatively underexplored area of reasoning tasks. The new research explores this potential by applying a transformer language model to automated theorem proving.

Automated theorem proving tends to require general and flexible reasoning to efficiently check the correctness of proofs. This makes it an appealing domain for checking the reasoning capabilities of language models and for the study of reasoning in general. The ability to verify proofs also helps researchers as it enables the automatic generation of new problems that can be used as training data.