This observation really resonates with me. I have spent a lot of energy trying to communicate that ditching formal languages for natural language is a terrible idea in some (most?) domains. The power of formal languages comes precisely from their "limitations".

Software is not the output. The output is the theory-building process by which one arrives a formal description of both the problem and (hopefully) the solution. Avoiding the effort to express a problem (or a model of the problem) in a formal language is a self-defeating enterprise.

Intro to The Napoleon of Notting Hill, by G.K. Chesterton:

"THE human race, to which so many of my readers belong, has been playing at children's games from the beginning, and will probably do it till the end, which is a nuisance for the few people who grow up. And one of the games to which it is most attached is called, "Keep tomorrow dark," and which is also named (by the rustics in Shropshire, I have no doubt) "Cheat the Prophet." The players listen very carefully and respectfully to all that the clever men have to say about what is to happen in the next generation. The players then wait until all the clever men are dead, and bury them nicely. They then go and do something else. That is all. For a race of simple tastes, however, it is great fun."

I needed to replace my 2010 macbook air and after much consideration I ordered a maxed-out (excepting SSD) 2015 mbp last week.

Buying previous generation hardware feels weird, I hope I don't regret this decision.

In case anyone enjoys reading about the history of control systems, Between Human and Machine: Feedback, Control, and Computing before Cybernetics by David Mindell is so much fun to read.

https://www.amazon.com/Between-Human-Machine-Cybernetics-Tec...

I can't wait to write a nyan cat app for the TouchBar.

Hopefully the next XCode build will include a TouchBar simulator so there's no need for me to get a new MBP in order to work on this.