Stories by nill0

Principles and Techniques for Designing Precision Machines – Hale [pdf] 1999

The books that taught me precision [video] - Cylo's Garage

Homoiconicity

Characteristics of Modern Mathematics (2010)

Rigid Body Dynamics Algorithms – Roy Featherstone [pdf] 2008

A Universal Approach to Self-Referential Paradoxes - Noson S. Yanofsky [2003]

Melody Visualization Experiment: Tetris Theme (Korobeiniki) in Blender [video]

List of nonlinear partial differential equations

Vector Calculus – Robert Ghrist [Calculus Blue Vol:1] [video]

The Limits of Mathematics – Gregory Chaitin [1994]

Program-Transformation.org

What can be computed? A practical guide to the theory of computation (2018) [pdf]

Models of Computation – John E. Savage [pdf]

Theoretical Computer Science

UELib

Program-Analysis-Reading-List

Exploit Reversing – Alexandre Borges

Calipso: Conic Augmented Lagrangian Interior-Point SOlver

The Calculus of Computation [pdf]

Smoothing a Program Soundly and Robustly? [pdf]

2
3
4
5
6
7
8