math typesetting

Tom Wildenhain's SIGBOVIK 2018 presentation of WordTeX, a Microsoft Word template that mimics LaTeX typesetting output. It is a joke research project executed with serious effort.

A four-minute tour of the TeXmacs scientific editor, showing math typing, figures, citations, a drawing tool, document styles, HTML export, presentations and animations.

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.

Mathematician singingbanana shows how he flipped ten heads in a row, with the full uncut video and answers to viewers' questions. The point is that unlikely events happen given enough attempts.

A short MIT Math Lab video showing millimetric droplets bouncing and walking across a vibrating fluid bath, guided by their own pilot waves. These droplets show diffraction, tunneling and quantized orbits, which were once thought to belong only to quantum systems.

Stephen Wolfram gives a 13-minute tour of the Wolfram Language, a symbolic, functional programming language with a built-in knowledgebase. He demos querying large datasets, interactivity and deployment.

Henry Segerman and collaborators demonstrate virtual reality experiences in non-Euclidean spaces, including hyperbolic and mixed hyperbolic-Euclidean geometry. The browser-based demos let viewers move through these spaces and show how strange the geometry feels from inside.

Afrotechmods plays with 2600F ultracapacitors that can dump hundreds of amps, shorting them to vaporize bits of metal. Along the way he explains the three most important capacitor equations. The uploader warns that the capacitors are not designed to be shorted.

Jeija demonstrates a modified Minetest game with a spherical planet, using a grid transform to make a voxel world round. It includes the orbit math and download links for the spheretest build.

CNLohr explains how he made an ESP32 produce valid LoRa packets without a LoRa radio, using aliasing and clever signal tricks. It walks through the RF math and shows how far the signals reach.

Terry Davis, author of TempleOS, demonstrates his SimStructure physics simulator and builds a PID controller using math from Numerical Recipes in C. The description notes PID controllers are used in everything from rockets to espresso machines.

Second half of a demonstration of the 1982 Xerox Star user interface. It shows how the Star differed from the later Lisa and Mac interfaces, with strengths in networking and printing and little direct manipulation.