Stories by nill0

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

How Do Mathematicians Describe Mathematical Maturity? [pdf]

Propositions as Types (2014) [pdf]

Summer of Math Exposition SoME4 (summer 2025)

The physics of stone skipping 2002 [pdf]

The Molecular Shape of You(parody) – A Capella Science [video]

When does a physical system compute?

1
2
3
4
5
6