Lifeboat Foundation

Circa 2002 4 lines of code to solve everything.

… But first it cracked him. The inside story of how Stephen went from boy genius to recluse to science renegade.

Word had been out that Stephen, the onetime enfant terrible of the science world, was working on a book that would Say It All, a paradigm-busting tome that would not only be the definitive account on complexity theory but also the opening gambit in a new way to view the universe. But no one had read it.

Continue reading “The Man Who Cracked The Code to Everything ...” »

NASA announced Johnson’s death on Monday.

Johnson was part of NASA’s “Computer Pool,” a group of mathematicians whose data powered NASA’s first successful space missions. The group’s success largely hinged on the accomplishments of its black women members.

Johnson was among a group of black women mathematicians who helped power NASA’s space travel in the early 1960s when the agency was still segregated.

https://youtube.com/watch?v=zXSsd7uXjt8

Engineers at the University of Washington are working on a new type of rocket engine that holds the promise of being lighter, more efficient, and simpler to make than conventional liquid-fuel rockets. Called a Rotational Detonation Engine (RDE), one of the biggest hurdles to making it practical is to develop mathematical models that can describe how the very unpredictable engine design works in order to make it more stable.

An RDE is a rocket engine that is similar to the pulse jet engines that powered the infamous German V1 cruise missile of the Second World War, which used a simple combustion chamber with an exhaust pipe at one end and spring-mounted slats on the front face. In operation, air would come in through the slats, mix with fuel, which was then detonated, producing a pulse of thrust. An RDE takes this idea one step further.

Continue reading “Computer modeling brings simple, efficient rocket engine closer to reality” »

The sophistication of autonomous systems currently being developed across various domains and industries has markedly increased in recent years, due in large part to advances in computing, modeling, sensing, and other technologies. While much of the technology that has enabled this technical revolution has moved forward expeditiously, formal safety assurances for these systems still lag behind. This is largely due to their reliance on data-driven machine learning (ML) technologies, which are inherently unpredictable and lack the necessary mathematical framework to provide guarantees on correctness. Without assurances, trust in any learning enabled cyber physical system’s (LE-CPS’s) safety and correct operation is limited, impeding their broad deployment and adoption for critical defense situations or capabilities.

To address this challenge, DARPA’s Assured Autonomy program is working to provide continual assurance of an LE-CPS’s safety and functional correctness, both at the time of its design and while operational. The program is developing mathematically verifiable approaches and tools that can be applied to different types and applications of data-driven ML algorithms in these systems to enhance their autonomy and assure they are achieving an acceptable level of safety. To help ground the research objectives, the program is prioritizing challenge problems in the defense-relevant autonomous vehicle space, specifically related to air, land, and underwater platforms.

The first phase of the Assured Autonomy program recently concluded. To assess the technologies in development, research teams integrated them into a small number of autonomous demonstration systems and evaluated each against various defense-relevant challenges. After 18 months of research and development on the assurance methods, tools, and learning enabled capabilities (LECs), the program is exhibiting early signs of progress.

BF16, the new number format optimized for deep learning, promises power and compute savings with a minimal reduction in prediction accuracy.

BF16, sometimes called BFloat16 or Brain Float 16, is a new number format optimised for AI/deep learning applications. Invented at Google Brain, it has gained wide adoption in AI accelerators from Google, Intel, Arm and many others.

The idea behind BF16 is to reduce the compute power and energy consumption needed to multiply tensors together by reducing the precision of the numbers. A tensor is a three-dimensional matrix of numbers; multiplication of tensors is the key mathematical operation required for AI calculations.

O.o.

New research has exploded the space of problems that quantum computers can efficiently verify, simultaneously knocking down milestone problems in quantum physics and math.

Circa 2017

The Middle Ages certainly were far from being science-friendly: Whoever looked for new findings off the beaten track faced the threat of being burned at the stake. Hence, the contribution of this era to technical progress is deemed to be rather small. Scientists of Karlsruhe Institute of Technology (KIT), however, were inspired by medieval mail armor when producing a new metamaterial with novel properties. They succeeded in reversing the Hall coefficient of a material.

The Hall effect is the occurrence of a transverse electric voltage across an electric conductor passed by current flow, if this conductor is located in a magnetic field. This effect is a basic phenomenon of physics and allows to measure the strength of magnetic fields. It is the basis of magnetic speed sensors in cars or compasses in smartphones. Apart from measuring magnetic fields, the Hall effect can also be used to characterize metals and semiconductors and in particular to determine charge carrier density of the material. The sign of the measured Hall voltage allows conclusions to be drawn as to whether charge carriers in the semiconductor element carry positive or negative charge.

Continue reading “Metamaterial: Mail armor inspires physicists” »

O.o!

A mind-expanding and funny trip to the edge of mathematics

How big is the universe? How many numbers are there? And is infinity + 1 is the same as 1 + infinity? Such questions occur to young children and our greatest minds. And they are all the same question: What is infinity? In Beyond Infinity, Eugenia Cheng takes us on a staggering journey from elemental math to its loftiest abstractions. Along the way, she considers how to use a chessboard to plan a worldwide dinner party, how to make a chicken-sandwich sandwich, and how to create infinite cookies from a finite ball of dough. Beyond Infinity shows how one little symbol holds the biggest idea of all.

Continue reading “Beyond Infinity: An Expedition to the Outer Limits of Mathematics” »

#survival #coronavirus
In light of recent events its a good opportunity to go over the basics of pandemic preparedness.

*Correction* I need to make a correction to information provided within this video. The case-fatality rate of the Spanish influenza is often quoted by virologists as 2.5 % when in reality the math on this doesn’t add up as the population of the planet at the time doesn’t align with this statistic. This stat is misinterpreted to mean the overall case-fatality rate was (greater than) 2.5%. It is presumed a safer mortality estimate was between 7.5%-15% at the pandemics peak wave. The correct statistic is the 2.5%-5% of the WORLDS population perished as a result of this. It should be noted that there were several waves to this pandemic hence the 2.5 (greater than) statistic. The first wave was relatively tame, the second wave was devastating, the third wave was less severe. https://www.cdc.gov/flu/pandemic-resources/1918-commemoration/three-waves.htm

Continue reading “10 Steps to Survive a Global Pandemic: Coronavirus” »