spark

Sebastien Bubeck presents the Sparks of AGI paper at MIT, showing early experiments with GPT-4 across many domains and asking whether artificial intelligence has arrived. It includes the TikZ unicorn example.

Grant Sanderson of 3Blue1Brown shows his workflow for animating math videos with Manim, with Ben Sparks. He codes scenes live, including a Lorenz attractor, and walks through example scenes.

An AdaCore webinar in which NVIDIA engineers explain why and how they adopted Ada and SPARK for security-critical firmware. It covers the business case and the engineering experience of the transition.

A man with no flight instruction and only desktop flight simulator experience attempts to take off and land a Cessna 172, with a commercial airline instructor aboard who gives no help. The flight came out of a prop bet.

Svelte creator Rich Harris explains moving reactivity into the compiler and language rather than tracking state at runtime, with a history of spreadsheets as reactive systems and comparisons to React.

Numberphile's Ben Sparks shows why the golden ratio is the most irrational number, using seeds, continued fractions and rational approximations. He also explains why plants use it for spacing leaves and seeds.

A short vintage film clip of Seymour Papert, creator of Logo, on using computers to spark children's imagination and learning.

Numberphile's Ben Sparks works through the physics of a car crash, showing how kinetic energy grows with the square of speed and why stopping distance climbs so quickly as velocity increases.

A short demo from the GRASP Lab at the University of Pennsylvania showing a swarm of nano quadrotors flying in coordinated formations. The vehicles were developed by KMel Robotics.