> It’s like having cars that go twice as far as the last year but will only get you to your destination 50% of the time Nice analogy. All human progress is bas

> It’s like having cars that go twice as far as the last year but will only get you to your destination 50% of the time Nice analogy. All human progress is based on tight-abstractions describing a well-defined machine model. Leaky abstractions with an undefined machine are useful too but only as recommendations or for communication. It is harder to build on top of them. Precisely why programming in english is a non-starter - or - just using english in math/science instead of formalism.