skysight-inc/HackerNews huggingface dataset:
Quality points, my responses:

1) You're right it doesn't immediately qualify you, but it does give you a better understanding as to what position requirements actually entail and what people mean when they say "I want to avoid all non-linux dev environments". We just use it as a base filter and then build coaches into the most qualified people over time.

2) Some people need light changes, some people need harsh truth. Recruiters ignore the latter and treat them as lost causes. I don't mean to say we'll disrespect people -- sorry if it came across that way!

3) We're building a network of helpful experts (see https://jobstart.co/experts). We'll give people tips on how to explore their own network, connect with our experts, and do generic things such as attend meetups/events. Depends on the coach and the candidate.

4) Hmm, I'm trying to figure out how to explain this part properly and it's admittedly a bit difficult. Have you ever been sent a specced candidate by a company? What was that experience like -- good or bad? In our experience, it's almost always been bad. Usually it's so bad they don't even get the position requirement and candidate aligned properly, let alone send an outstanding candidate. I think some of this comes back to point #1, having the engineer-coach understand the specs, and letting the candidate themselves even do some initial contact. We don't run the entire job search for you -- we'll intro you to some companies, sure, but we're also going to teach you how to get better conversion % on your own efforts.

"that acts and behaves the way a recruitment company is meant to behave". I disagree with everything in that sentence. Everything is temporary and no company or service is meant to act in any such way. Startups thrive only by finding creative ways of doing things.
I agree with this. If the survival of the species is the goal we'd be far better off building a deep bunker complex on Earth than trying to get a self-sufficient colony going on Mars.
In most cases, we unkill the thread so it stays open for comments, but do not turn off the rank penalty. Occasionally, though, we do turn it off. Some easy cases are when a good article has a bad title and people were flagging the title (solution: change the title and turn off flags), or when there is evidence of a flagging ring (solution: turn off flags and ignore future flags from the offenders).

The harder cases are posts like this one, where the community is divided on a political question, some want it on HN and others don't. In that case we usually stop short of overriding the rank penalty. The voting and flagging systems have been in a stable equilibrium for years, and we've learned that it's a mistake to fight that very much or very often.

But we do do it sometimes, I'd guess maybe 10% of the time (but haven't looked at the data). For example, sometimes an article is so substantive and otherwise so obviously a good fit for HN that it doesn't seem fair to the community to let the flags have their usual say. Sometimes a thread turns out to be unexpectedly high-quality and not a flamewar. And sometimes a story is of so much interest to the community that we couldn't stop it even if we wanted to (a recent example being the Strange Loop/Yarvin thing), in which case we turn flagging off for hopefully the best submission on the topic and treat the others as dupes.

In the end, there's no escaping editorial judgment, though not every HN user shares your positive view of it. We try not to over-exercise it, but never doing so would be suboptimal for the community. There's a tragedy of the commons paradox in there somewhere.
No warming of the air. But the oceans have been absorbing and storing heat.

http://www.scientificamerican.com/article/oceans-hid-the-hea...
The investors believe that the market will grow at least 10x, and that Dropbox will capture a great deal of that market.

Also, when people speak of a market, they're speaking annually.
There can be several logical reasons for this. 1, investors expect the company to merge to other verticals (outside of business file-sharing). 2, their current business is already outside business sharing (with consumers). 3, the number is just for a time period (like $904 million per year) and their valuation is over a much longer period (e.g. decades). Any many other reasons...
Isn't the problem with California the farmers? Blamming the immigrants is an easy scapegoat. I remember seeing commercials trying to blame immigrants too. You drank their koolaid?
Assembling the Right Team
http://www.robots.ox.ac.uk/~szheng/crfasrnndemo/classify_url...
I was going to suggest looking at FLINT certifying compiler and VeriML but with CakeML on your page you probably already know about these. I still have a suggestion to think on that I've only seen a bit of: macro-assembler for verification. Have a concept for it. Like Hyde's High Level Assembler, you create constructs (eg control flow or array operators) useful for implementing programs or say a compiler. You verify their implementation in such a way where people can just call a function and your code converts it directly into equivalent machine code. These can be composed into other routines where provers or analysis tools can more easily argue about the resulting properties. There's also a reuse aspect.

On other end, one uses an ML-like language, SPARK Ada, or something designed for easy verification to specify and test the behavior of the software. Like FLINT or Cleanroom, one breaks it down into functions amendable to analysis or verification. Those functions' implementations are done in a way that can straight-forward albeit tediously written in the verified, macro-asm. Human review and test-centered equivalence checking argues correspondence at first with formal methods later if desired. Run verified asm toolchain on it to get a correctness argument that your app's source equals machine code. If your app is a compiler, you will have many more without hand-doing the macro-asm and a bunch of verified macro's to use in next app. ;)

What do you think about macro-asm + formal methods for verified component construction ground up + top down? Any potential you see?

Note: My scheme was inspired by both VLISP and Wirth's Lilith machine. VLISP implemented PreScheme first then used it to implement the full software. Wirth implemented a more ideal processor ISA, M-code, that represented things like stack operations with perfect Modula-2 compatibility. He then did a Modula-2 to M-Code compiler with the rest of the software written in Modula-2 w/ M-code for acceleration. For both systems, raising the machine level up a notch reduced their overall work and made the source more consistent throughout.
The+new+Linux+user's+hardware+buying+guide
Probably because:
-$904M is the market size today, but we all know it is growing
-$904M is the annual revenue number, not the amount of revenue to be generated for all time in that market.

Businesses are theoretically valued at NPV of future earnings, so it's entirely plausible to get to a $10B valuation on the back of a huge market share in a fast-growing ~$1B/yr market.
This is a fascinating idea - seems to be a lot less of a lottery than employee options.

Are there any other aspects that should be considered?
http://memegen.link/fetch/stop-trying-to-make-prescriptivist...
Interesting legal question. I'd bet on the `yes' side, but don't have any arguments.
Because most of the competition is free regardless of if you have Office? Or perhaps they think they somehow offer more value then every competing tool. They don't to me and my company but some one must be buying it or they wouldn't be selling it for long.
I totally agree on MirageOS. Very exciting work applying good principles to the container concept. Work that's gotten noticed and might get used widespread one day. A situation so rare it's worth a toast to them! Lol.
Medieval Letter-People
I was going to write a blog post about this as well from the employee said based on a some quotes from Marc Andreessen. I just listened to an interview where Dan Primack interviewed Marc Andreessen and Marc made some really good points about timelines for public and private companies. Marc said:

> the time frame for how public companies think and how they are able to invest has shortened dramatically and correspondently the time frame for how private companies can think has elongated. [1]

> they (investors) tell the public company give us the money back this quarter and they tell the private company "no problem, go for ten years"

After I listened, I wondered why a talented employee would want to stay at private company that is going to take 10+ years to IPO?

[1] - https://soundcloud.com/a16z/a16z-podcast-taking-the-pulse-of...
It is really great to see all the work being done focusing on deployment of Haskell applications. With stackage for a curated package list, and now stack for a better build tool a lot of things are coming together.

FPComplete is really doing amazing work for the community, especially with not just going around fixing their own problems but actually putting out questionaries to identify what the community as a whole sees as the problem.

I can't wait to see where the community goes in the next couple of years!
This is so straightforward, I'm amazed nobody thought of it before. It's great.

EDIT: OK, I guess there's http://memeifier.com/, I'm less amazed now. :) Still, nicely done.
Valuations are generally at an equivalent of what you would get investing the money elsewhere. For example, if you believed you could get 5% on your money elsewhere, you may be willing to value a company at 20x it's profit (price to earnings).

In cases where the market is growing then you may be willing to give a higher multiple in the belief that your future returns will be higher. In cases where there is high growth and little profit, some investors choose to use a multiple on revenue instead. Revenue multiples of 5x-20x are pretty common for high growth companies. (Price to Sales)

I am leaving risk adjustment out of this explanation on purpose, but if you are interested look up "efficient frontier".
I did read your reply; I'm saying that in the aggregate, a credible paper is unlikely to be written by someone without formal schooling in the relevant field.

Further, technology is applied science - it is not unlikely that one can become an expert through informal and professional practice. Your previous comment was about computer science, which is not necessarily the same thing, and which is closer to mathematics than anything else. Climatology is concerned primarily with physics and chemistry, but also geology and in some cases, paleontology. Most of these fields share little in common with pure maths or engineering. The comparison, then is not totally valid.

The basic training you require to be a competent scientist is hard to come by outside of academia. The actual work of science tends to be done in a laboratory. It's highly, unlikely, then, that someone who has put in the years (often decades) of work in academia to be on par with a hobbyist, whatever that may look like in this context.
Benefits of working out in the heat
I can see the racial bias too.
Does anybody know how many of their 400 million "registered users" are still active?
> 3, the number is just for a time period (like $904 million per year) and their valuation is over a much longer period (e.g. decades)

Okay, so this along with your sister the comment from raldi points at what I probably missed: The duration for which the valuation is made is unspecified, at least in this article. Thanks for pointing this out.
If you pay for office, you should get Office... that pretty much sums it up for me. And perhaps everyone who uses Office won't use Android as their primary content creation device... but I might be wrong.
Why I left being CTO NYTimes joined startup pledged 20% of my equity to charity
Genius Girl, a Harvard-Stanford admissions hoax and elite college mania
Comments by new accounts are autokilled if they trip certain filters that we have in place because of past abuse by spammers and trolls. I've unkilled your comment and marked your account legit so it won't happen again.

Soon, everyone will be able to contribute to unkilling good comments, so fixing these will no longer block on moderator attention. In the future, though, everyone: please send issues like this to hn@ycombinator.com. It's too random whether we'll see it on HN itself! Not to mention off topic.
After reading about all of the product's faults in these comments, I hope they don't have the most brilliant engineering team in the valley...
Show HN: Free Stripe Metrics, Forever
Facebook Stock Hits All-Time High
Why doesn't Amazon Cloud Drive have a Linux client?
Okay, since you've only responded with a pathetic ethical objection to a very narrow part of my post, I take it that you concede that his post was full of absolute horseshit.
Survive? No way. C02 concentration is between 0.036% and 0.041%. 1% would be uncomfortable and cause you to be drowsy. 7%~10% would lead to suffocation.
SMS notifications are no longer available
People expect this market to grow rapidly which is accounted for in the higher valuation.
Uber is not a transportation company
Uber is a lead generation company.

They are not a transportation company, they transport no-one.

They are not an employer of drivers, they hire no drivers.

They are not a technology company. They utilize technology to deliver their product.

They have one product, leads.

Uber drivers are small business owners. They may not have driven people before Uber, and started when Uber came on the scene. They did that because Uber supplies a steady supply of leads, nothing more.

Uber is a lead generation company.
Actually, it is.

You can't look at someone's financial interest to know whether what they said is true or not. Similarly for any other attribute about them that you don't like.

There are many great thinkers who were gay. We don't invalidate their work because of that.

At best, you need to keep that in mind and take what they said with a grain of salt. Funding gives you a clue about which areas to be more critical about, but just because they have an interest one way or the other doesn't invalidate what they said.

If someone has been found to be a nutjob, you may casually dismiss what they said as a time saving device or because there is low probability what they say has any value to you. But even a nutjob is sometimes right.
Why does the restoration of 'The Third Man' look weird?
The bigger problem is that it just doesn't work Even if we posit that we can be extra-rough in screening because we need the best for $GOOD_ENOUGH_REASON.

The "bad guys" know that the polygraph is nearly worthless. They know what's theatre and what's not. So you don't apply any pressure to them. They know that placating you with your pat questions is the solution and they calmly work toward that. So your chance of success against anyone "worth worrying about" is nearly zero.

But the people who will crack, and probably have a nearly unending closet of real and semi-real stories, are the innocent people. This isn't just collateral damage, but now you're wasting time investigating people who are almost certainly not the bad guys. And reducing your labor pool...
What struck me about bringing Condoleezza Rice on is that it's an indicator that they don't have the customer's best interests at heart. I now avoid using DropBox whenever I can, replacing it with OneDrive and Google Drive.
> Dropbox has the most brilliant engineering team in the Valley.

That's definitely been my impression having observed the company for years from outside and from interviewing there just a little while ago. Given their engineering talent, I can't imagine they'd lose the game entirely, but they might indeed struggle on the business side. I was really impressed with the sample of Dropboxers I saw and turning them down was a difficult decision.
The article you linked to is almost comical in its petty malevolence, well beyond the point of self-satire. This kind of character assassination, however reprehensible, is ultimately irrelevant. If you believe Dr. Wei Hock Soon is wrong, then show where and how he is mistaken.
‘Remote Controlled’ Implantable Birth Control Chip
> While Dropbox led the $904 million global market for business file-sharing last year with...

> craft a more detailed business plan that could turn a company with more than $400 million in annualized revenue into one that makes billions

Based on these quotes, Dropbox would me they have to expand beyond file-sharing right?

Edit: Seems like others know arithmetic as well.
Despite the politics involved in government, you need people with extensive government experience to help get access to the ultimate Enterprise customer (the Government). She was Secretary of State. The government by in large is going to want to have extensive privacy and protections for their internal data from adversaries etc...
Does height equal power? Some CEOs say yes (2007)
I can't think of a better person to replace their outgoing CSO. He made a lot of positive changes at Yahoo and I can't wait to see what he does at Facebook with the amazing team there.
My understanding is that they absolutely will not mention it by name, or even elude to it, but will instead ask questions which would cover it.

For instance something like, "Are you willing to carry out the law as it is written?" or "Are you willing to decide this case based on the facts presented to you." or something else to that effect. If you know of and believe in jury nullification, the honest answer to those questions is "No." That might not be exactly what they ask, but I think it's something like that at least.
DropBox's handling of multiple accounts is atrocious in general. It's clear that they were worried about people using multiple free accounts, but they should at least accommodate people using (say) a paid business account and a free personal account.
Lake Huron is connected to Lake Michigan, and is at the same general level. Some consider both of these lakes to be one, making it the largest fresh water lake in the world.

https://en.wikipedia.org/wiki/Lake_Michigan%E2%80%93Huron
"Climate Gate" was investigated and turned up "no evidence of fraud or scientific misconduct". https://en.wikipedia.org/wiki/Climatic_Research_Unit_email_c...
I am wondering then why people think Java is only good for old school enterprise apps (according to the comments).
Sure, its a partial implementation of the Docker remote API and translates those API calls into XCode build/run commands.

Its just hackathon-grade software so the limitations are huge. Just enough of the remote API implemented such that the Docker command line tool works with it.

Here is a video of it running:

https://www.youtube.com/watch?v=CGHOH9Ocl1k
SSM isn't something that a lot of people in the tech industry discuss in public. A lot of people in a SSM want to stay in the closet for example.

In 1999 I worked for a law firm that developed a series of web apps. One of them displays employee information from the HR database (We were developing an HR management system) I was added to add some fields to the employee info page. One of them was Spouse_Name. Now this was in St. Louis Missouri that has a city law that protects against sexual orientation and the law firm was connected with the Democrats. I told my manager I objected to adding in spouse name as it out would people who had a same sex partner in the database. He told me it was nonsense and that nobody would discriminate against a gay couple. I told him some might want to keep it a secret just in case. He told me to add it or get fired. So I added it. There were a lot of complaints that the web app was broken and showing a spouse of the same sex. A lot of them supervisors or managers. I was blamed for outing them with my web app. I feel bad about it to this day. Stuff like that stressed me out and lead to my mental breakdown and development of a mental illness. I didn't mean to harm anyone or out anyone with my web app.

But I just wanted to say that some SSM people want to keep it a secret, and not talk about it. Even if it is an issue that needs to be addressed.

There are many people who left Christianity over issues like that, they became non-practicing or atheists as a result.
Condoleezza rice joining the board had a lot to do with it i think. I know a lot of people who cancelled dropbox then. Conscionable people cannot do business with someone who lied to get the Iraq war started. Also, there's no doubt she has NSA connections being a former national security advisor.
What a pity this is down. If anyone wants to do the legwork of arranging it with the people who run the site, we could give this story a second run at the front page some day it might hold up better. Alternatively, if anyone at tryapl.org sees this, email us at hn@ycombinator.com and we'll try to help.

Sadly yet amusingly, the same thing happened before: https://news.ycombinator.com/item?id=4090097.
Video: Meet Developer of the 7,473 Volume Print Version of Wikipedia
A Timeline of the Chevron-Ecuador Litigation and the Clinton State Department
Even if there is a model that performs well, how do you account for survivorship bias?

And how accurate are models without a clear understanding of the physical reasons why behind them?

Seems like we should be concentrating on understanding the physical relationships and less on trying to come up with abstract models. It kind of feels like a bunch of astrologists and just picking the one that seems to perform better.

Unless I understand the why, I have a hard time accepting what anyone says.

Anyone can fit a model to the data.
Not familiar with American affair (not American but am using Dropbox), anybody care to shed more light on why Rice isn't the best person on personal privacy? Google search key words will be fine. Thx
Why can no one read a man page anymore? They even have them on the internet these days.

https://developer.apple.com/library/mac/documentation/Darwin...

-A List all entries except for . and ... Always set for the super-user.
That is not bizarre at all - it'd be like complaining about OSX apps not working on Mach BSD even though that's what OSX is built on top of.

When companies build on open source, they generally don't make it easy for you to use the base product without their extensions.

So for all intents and purposes in terms of a platform, OSX != BSD and ChromeOS != Linux.
Valuations are instantaneous. It is, roughly speaking, how much a buyer would have to pay to buy the company right now. That's easy to do with public companies because it is just "trading price * number of shares". Venture-backed companies typically use their last investment round for valuation, where, if they had $100M invested in the company for a 1% stake, you multiply that by 100 to get the $10B valuation.

It is likely an inflated number, but it's hard to tell because it isn't in an open market. It could be $1M or it could be $100B.
And you are peanut butter.

Making false statements with conviction doesn't mean they become correct.

If Boober were a lead generation company, it would charge a flat fee for leads and the people who accepted the leads would be free to conduct their business as they wish.

Boober is a transportation company that hires drivers-- but would like to pretend otherwise to duck costs and legal responsibilities.
Commenting with emphasis in all caps is the textual equivalent of grabbing someone by the collar and screaming in their face.

Everyone who does so feels it's justified, but the effect is always obnoxious and it never conveys more information or meaning, only an insistence that the commenter is especially important and needs to be paid attention to.
Somewhat interesting is the fact that the previous Facebook CSO was Joe Sullivan (now CSO at Uber), who did not have an "IT security" background at all; most of his career is oriented towards law (he has a J.D. after all ;))

Contrast this to Alex Stamos, who's given many presentations at Defcon/Blackhat, co-founded iSEC, EE/CS background, and it seems a bit of a mentality shift for Facebook.