3 ms·
The other thing is, when you build physical things the way you do things is constrained by, well, physics. Nobody goes and builds an MVP Golden Gate Bridge and
by nly 9y ago
The other thing is, when you build physical things the way you do things is constrained by, well, physics.
Nobody goes and builds an MVP Golden Gate Bridge and then just shores it up in production or piles crap on top of it, and anybody with a shred of sense builds a solid foundation before they go and put up a skyscraper. In software it's too easy to get things in to working state that are hanging by a thread.
- agentultra 9y agoSurprise you're programming a machine that is governed by physics! Want to render that scene on that PS4 console over there at 60 fps? Well that disc drive can only read bytes so fast and you have to update the physics simulation before all those effects are applied... 60 times per second. Physics. There is enough useful stuff in first-order and temporal logic for dealing with all of the challenges that specifying systems with the given properties and level of confidence that blueprints give us.