axiom

A clip of Richard Feynman contrasting the Greek and Babylonian traditions of mathematical reasoning. It compares the axiomatic approach of mathematicians with how physicists use mathematics.

Timothy Daly, an original author of the Axiom computer algebra system, talks about turning a large Common Lisp codebase into a literate program. He argues code should be written as readable manuals, and the talk was given at Write the Docs 2013.

Euclideon's 2011 technology preview of Unlimited Detail, a rendering approach claiming unlimited geometric detail in real time via point-cloud style data. The company promised more to come while keeping most work secret.

Freya Holmer's Dutch Game Day 2023 talk asking why vectors can't be multiplied, building from complex numbers to a single axiom and arriving at geometric algebra, quaternions and multivectors.

Isaac Arthur examines the Dark Forest theory, Cixin Liu's proposed solution to the Fermi Paradox in which civilizations stay silent and may destroy any that reveal themselves. He tests the theory's underlying assumptions and arguments.