Stories by nill0

Geometry and the Imagination [pdf]

Terence Tao Lex Fridman Podcast [video]

How multiplication is defined in Peano arithmetic

Computable Structure Theory: Beyond the arithmetic [pdf]

Fluid Mechanics Films

Teardown and tests of a Vertical Reference Gyro Collins 332D-11F [video]

Memories of Kurt Gödel

Mechanical Systems Design

Mathematics and Music [pdf]

Vintage Machinery

Effects of Propellant Slosh on Touchdown Stability for Landing Vehicles

ECE 5760 Advanced Microcontroller Design and system-on-chip

Formalizing a proof in Lean using Claude and o4 - Terence Tao [video]

Open Problems in Computational geometry

Open Problems in Mechanistic Interpretability

Open Problem Garden-a collection of unsolved problems in mathematics

100 Open Problems [pdf]

Head motion during a vehicle crash

Applications of Classical Physics

Dynamic Measurements on Suspension Bridges

1
2
3
4
5
6
7
8