gnarly

Are we all just pretending that Ada doesn't exist now? It's type safe, thread safe, memory safe, overrun safe, a whole bunch of other sorts of safe. It was designed to accommodate huge projects. It has been used in major projects. It has an open source toolchain, and the unusual feature of a freely available ISO standard. And it has been around as long as C++. Yet not a word about it anywhere in the article.

It goes to considerable lengths to discuss formal methods, reasonability, and saner programming languages, yet it doesn't even mention Ada/SPARK? What garbage.

Simple. Design your webpages to only load the functional lighter weight essential stuff by default. Then use javascript to add in all the large assets you want. Users with slow connections can browse with javascript turned off.