http://www.pewtrusts.org/en/research-and-analysis/blogs/stat...
1,914 karma · joined May 12, 2011
http://www.pewtrusts.org/en/research-and-analysis/blogs/stat...
For example, the last HTTP API I wrote in Haskell has no tests. The proper request/response is ensured by the types alone. I've had multiple jobs where I spent weeks writing tests to do the equivalent thing with a nodejs API (the body should contain this, the headers should look like that, etc.)
Writing a Solidity test to add two integers today really drove home the point.
Is there a website like HN that's actually focused/moderated and doesn't mix Cosmo type clickbait with actual news?
In the long term, I think expressive type systems will dominate programming. Simply because they allow programmers to provably generate correct programs without bugs. If the industry always used languages with a type system expressive enough to fit their needs, horrible errors like WannaCry would be eliminated (a classic buffer over-read due to programming with inadequate types). Of course, pure functional languages are at the forefront of type systems, though they aren't mutually exclusive (Rust for example).
EDIT: looks like they do now: https://blog.colony.io/colony-beta-product-summary-2121a357d...
If Marissa Meyer orders everyone to work from home, then that can be attributed to her. She can take credit for that. It was her action. But if the stock price goes up $5 today, there's no way to show it was a result of ordering everyone to work from home. If you want to make the argument that Meyers actions led to 33b in market cap growth then make that argument. What did Meyer personally do that caused the growth in market cap, and how?
Janitors at Yahoo also presided over a 33B growth in capitalization.
I think it's still early to completely write them off as just pump and dumps
Hacks like WannaCry don't exist because of the NSA, or consumers failing to update, they exist because programmers use languages that freely compile buffer over-reads in the first place.
The ugly truth is WannaCry and 90% of RCE is the fault of the programming industry for taking zero responsibility for their processes. Programmers choose to use extremely unsafe languages and it's costing the world billions in damage.
The only way we've gotten away with this is the public is largely ignorant to how culpable programmers actually are. They think hackers are demi-gods when it's really just the same damn buffer exploit over and over again.
[1] https://www.amazon.com/Operation-Paperclip-Intelligence-Prog... [2] https://en.wikipedia.org/wiki/Project_MKUltra#Drugs
The author never establishes any of this. How did this make it to the front page?
Here's a "Good Way":
- Lock-in percentages instead of number of shares. Real dilution protection - not handwavy vague reassurances.
- Vest shares over quarters not years.
- ISOs that convert to NSOs after employee leaves OR RSU's with the company paying the tax bill.
- Termination protection
Anything less is scraps of a lottery ticket.
Let's take the package manager for example. Wouldn't it be great if instead of yet another package manager that is a glorified system of install scripts... we had a declarative functional system ala NixOS? That's just scratching the surface.
The people who earn 100k+ didn't win some sort of lottery... they choose to work in industries that pay well. They get up everyday and go to work like everyone else. Yes, some people are born into families with better support than others - but everyone has the opportunity to go to college and study STEM. Any student with decent grades and lack of capital qualifies for financial aid and scholarships.