marta_morena
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.
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.
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).
Hackernews is NOT the people. HN represents a TINY TINY fraction of users.
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.
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?
If "improving individual performance" means to you that you perform better at your job, you are already lost.
The truth is that most startups fail and most people in startups that don't fail, worked their asses off and still only get scraps. Comparing today with 2003 is nuts. The times are so different that there isn't even a remote resemblance.
Yes founding a unicorn can make you rich. Doh! Who would have thought...
But also if you worked at Amazon in 2008, saved all the stocks, re-invested excess money in stock, even as an entry level engineer you would be a MULTI MILLIONAIRE ten years later... Its just crazy to give advise to people to prefer insane risk for a chance to get 200 million, over guaranteed few millions in a safe job.
Yes there are people who really can't work at big tech and who want to hack some startup code together. Go for it! Sure. For everyone else, big tech is preferable by a large margin. And there I can work on projects startups could never even dream of doing. The reason for that is that big tech works with economy of scale. What is profitable for Google and Amazon might very well be suicidal for startups.
And to top it all off, the author even says that Peter Thiel wrote him a yearly salary as check. That devalues this article even more. Anyone, yes ANYONE should have taken this offer. This wasn't about risk whatsoever. This was about a 23 year old guy who didn't understand how the world works. And that applies to literally anyone young.
It's still better than nothing, although in the hands of Facebook it might actually be worse than nothing.