marta_morena

This article doesn't make any sense. It already fails at the premise. Airplanes and elevators have nothing in common with code written by normal software companies.

They optimize for a compromise between short-term gain and long-term gain. In essence, a startup can mathematically proof its software and go bankrupt before they even reach a prototype stage. Or they can shell out utter crap quickly, get some early feedback, funding and beta testers and slowly figure out what to improve first for the biggest bang.

Same goes for giants, like Google. They technically have the resources to prove SOME projects and they DO. For instance, Amazon proves their hardware virtualization software and other core pieces, where bugs would undermine the safety of the entire cloud.

I am getting a bit sick of "Why is software engineering so bad compared to XYZ". All the people asking are either not in this field or are junior engineers who just don't yet understand why things are the way they are and why writing bug-free, mathematically proven software is infeasible, unnecessary, impractical, undesired, etc.

Consider another analogy. When building a house, how expensive is it to decide that you actually want to have a ceiling with 5 meters high in the second floor, because the buyer of that floor wants higher ceilings? Simple: Tear down the building and start over...

In software? Usually it comes down to adding an IF-statement or some such. Software follows completely different economic principles and serves completely different needs.

There is at least one dimension though where this problem currently shines through: Self-Driving Cars.

I think auto-pilots in self-driving cars SHOULD follow the same rigor as airplane auto-pilots and they are most certainly not doing that, which will and already has resulted in lost lives.

It's a bit like saying "We found this store and it doesn't label kitchen knifes as potentially dangerous"... Nobody in their right mind would use this data set for developing a self-driving car and if one does, then they will not get a license to operate... And if by any chance they do it's still like stabbing other people with a knife snatched from the shelf a supermarket. You just don't do it.

Sorry but anyone who has worked in a professional high-tech environment should be aware of that an 8 hour days is not productive. You NEED to spend you entire day on this, you mind always needs to be on it to work on that level.

Einstein would certainly not have solved relativity by saying "Uh I guess from 9 to 5 I will work on this with a one hour break in between and then I am heading off to the fun stuff called leisure time".

No... Only if you think about these problems day in and day out you can work at in the top percentiles and this is the kind of people that get hired there.

What does Elon Musk have to do with this? He is just someone who takes existing working things and tries to produce them in some slavery sweat shop conditions for cheap. There is essentially zero innovation involved here, even less so any "sci-fi".

This sounds fishy. He probably pleaded guilty as part of a plea deal, so law enforcement has a scapegoat and some meaningless "media success" in exchange for him getting a drastically reduced sentencing. They always do that, threaten people with insane penalties if they don't accept so shitty plea deal and if you are not super certain that you can win, you will likely accept that one, just because it seems "safer".

There are a LOT of cases like this, just most of them don't gain this publicity. Actually, 95% of court cases never reach court because of this. Innocent people plead guilty because they don't have the wealth and resources to win in court. USA is a shithole when it comes to law enforcement. Medieval and sad. Land of the free (as long as you are rich, that is).

Ahh because these two are decoupled. I am sure smartphone usage contributes a significant portion to CO2 then.

Or the failure may be on your end, believing that "many people are sensitive to data collection" while in fact, most people don't give a dusty fuck about it and happily share everything for saving a few bucks a month.

Hackernews is NOT the people. HN represents a TINY TINY fraction of users.

SAP is the one of the few software companies who manages to consistently produce the worst possible user experience. They actually made it into an art form. There is nothing about an SAP product that is usable. Its a big steaming pile of shit. I don't even want to know how the code looks like.

This is just another symptom of why OpenSource often sucks. Instead of somehow coordinating and focusing their efforts, everyone seems to need to start their own spin off "inspired" by other projects.

When do people realize that building a new language is almost always going to fail and only very very few languages ever reach anything close to adoption.

Instead of spending all this time writing your own doomed language, why not try to contribute to a project like LLVM or Rust and add your provable subset there?

The same goes for Linux, which is the paradigm of wasted efforts.

Wow, this is just yet another display of regulators complete ignorance of technology. They just don't learn. Regulation is about 10-20 years behind the current and their solution is to say: "You have to use this method of doing things"

Yeah right, and next year? What do we do next year? Will we just wait for regulators to approve a new way of doing things every 100 million years?

Um that is kindof missing the point. A badge is nothing more than a number expressed in symbols, so you demonstrated just another variation of how to hijack the brain, even if you just read an article showing it to you with numbers...

If "improving individual performance" means to you that you perform better at your job, you are already lost.