Most cited

Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 149 posts.

Tech Industry & Business
2019
123

Why Don't People Use Formal Methods?

I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, and most of the answers were things like “its too expensive!!!” or “website isn’t airplane!!!” These are sorta kinda true but don’t explain…

147

Uber Q3 Results

Revenue of $3.8 billion, with growth accelerating to 30% year-over-year, or 31% on a constant currency basis Record Rides Adjusted EBITDA of $631 million, fully covering our Corporate GA and Platform RD Uber Technologies, Inc. (NYSE: UBER) today announced financial results for the quarter ended September 30, 2019…