I think we make programming seem a lot more esoteric than it actually is. It's just a more formal way of describing the behavior of systems.
-
-
Replying to @paulbaumgart
That is, "software eating the world" isn't about competition between tech and other industries, but about the world's systems formalizing.
1 reply 9 retweets 18 likes -
Replying to @paulbaumgart
So that's an easy way to predict the future: how would any given system behave if its behavior and state could be more accurately defined?
3 replies 0 retweets 3 likes -
This Tweet is unavailable.
-
Replying to @abelisted
@abenomixx Also about reducing "operator error" when automation is not feasible.1 reply 0 retweets 1 like -
This Tweet is unavailable.
-
Replying to @abelisted
.
@abenomixx Formalizing a system surfaces the opportunities for automation, so formalization, in practice, almost always implies automation.3 replies 0 retweets 1 like -
This Tweet is unavailable.
-
Replying to @abelisted
@abenomixx The taxi system was created as a crappy compromise between consumer demands for convenience and safety.3 replies 0 retweets 1 like
@abenomixx With the system fully specified thanks to GPS, smartphones, and a bunch of code/UI design, you can unlock full efficiency.
-
This Tweet is unavailable.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.