linear programming
6 feeds in the directory cover this.
Machined Learnings
$\lim_{t \to \infty} V(s_t) \to 0$ so live accordingly
Reed Meyerson
Richard Elwes – mathematician and writer
The Leisure of the Theory Class
sysid blog
Recent content on sysid blog
Kim Morrison
Notes on Lean, tactics, and making the theorem prover do more work.
Machine-readable: JSON · all topics