skysight-inc/HackerNews huggingface dataset:
You write your comment, which I will reply to shortly, and then upon receiving lots of downvotes you said:

> Why is there such a strong reaction to this?
> For the very reasons identified.

I believe that not to be the case. Let me explain just some of the reasons why I believe you are getting a strong negative reaction.

> It's cool that this paper exists as a
> counterpoint to the pervasive culture
> of defeat around P == NP.

I have no idea why you believe there is any "culture of defeat" about this. All the people I know who are working on, in, near, or around this area are just looking for the truth. They want to know whether P==NP or P!=NP, and they are looking to discover what actually is the case. It may even be unprovable, and some of them are seriously investigating that.

There is no air of defeat, and I don't know why you think there is.

You then say:

> People want to believe P != NP so they
> feel better about how they failed to
> prove it.

Really? Then why don't they want to believe that P==NP because they have failed to prove that P!=NP? You can't have it both ways. No, really, you can't.

And people aren't in despair over not having proved it either way. It's evidence that this is a hard problem, and then the small amount of progress that has been made is genuinely encouraging. Showing that different approaches cannot, under certain generous assumptions, be made to work is real progress.

Your claim here just appears to be nonsense.

> This is ridiculous and doesn't help
> advance the cause to solve it. It's
> an illogicality at the heart of the
> CS establishment, ...

It might be, if only it existed. But it doesn't.

> ... everyone is "confident" P != NP,

That's not the case. There is a significant minority who believe that P==NP, there is a significant minority that believes it's undecidable, and those who do believe it certainly are nowhere near 100% certain.

> ... with no proof, simply so they can
> move on to other things.

And yet they continue to work on it. Odd definition of "moving on".

> What happened to backbone, determination
> and persistence?

> Their confidence in impossibility smells
> of self-justification of failure, and fear.

It is impossible to find two positive whole square numbers that differ by a factor of two. This impossibility hasn't disturbed anyone for a long time. It's impossible to find positive whole numbers x, y, z, and n, greater than 2, such that x^n+y^n=z^n. This impossibility has led not to a sense of failure, but a sense of triumph! Your assertions here are strange, and don't seem to reflect reality at all.

> And the irrational "culture of belief"
> ( without proof ) is the very antithesis
> of good science.

Then it's a good job that it's non-existent (in the form you seem to be describing) in mathematics. Or in science. People do have an intuition about what's probably going to turn out to be true, but what you describe is bizarre, and unrecognisable to me.

Hence my downvote.

> Your downvote makes you complicit to
> this culture of defeat.

That's simply wrong.
Your argument that you'd have to be omniscient to make the optimal choice with absolute certainty is true of all human decision making at all times, and therefore doesn't change the argument at all.

You say 'given that we don't know who else had this exploit' there is value in rapidly securing a few people rather than letting them remain vulnerable.

The question here is has the public availability of the exploit secured more users from realistic attack than it has exposed?

The fact that the vulnerability wasn't publicly known before is evidence that it wasn't in widespread use. Not conclusive evidence, but evidence nonetheless. Not knowing who had the exploit before doesn't mean we have no information on which to base the decision, and certainly doesn't mean we should adopt a policy based on the idea that the exploit is currently in widespread use.
I'm happy to see this article, and it reminds me of things that others have been talking about for some time (for example, the "Redecentralize" community).

I've participated in some file-sharing litigation which has made it very clear to me that decentralized P2P systems are not inherently more anonymous than other technologies. In fact, there's a cottage industry of P2P monitoring companies that participate as peers in the P2P networks and record detailed information about the IP addresses of peers that uploaded and downloaded particular files. There are often paradoxes where decentralization helps privacy and anonymity in some ways but harms it in others -- for example, if you run your own mail server instead of using Gmail, then you've prevented Google from knowing who communicates with whom, but allowed a network adversary to learn that information directly, where the network adversary might not know the messaging relationships if everyone on the network used Gmail.

I guess a related point is that information about who is doing what online exists somewhere by default, unless careful privacy engineering reduces the amount of information that's out there. Making the simplest kinds of architectural changes could just shift the location where the information exists, for example from Google or Yahoo or Amazon to dozens of random strangers, some of whom might be working for an adversary.
Not your company, not your rights. Go join a worker's cooperative or start a union if you want more say in your employment.
The Economist has covered some of the benefits. For example://www.economist.com/news/finance-and-economics/21659716-all-its-flaws-biggest-trade-deal-years-good-news-world
Show HN: Healthchecks.io – Cron Monitoring. Get Notified When Your Cronjobs Fail
as the completely insane UK laws allow

While you can technically make changes to an employment contract in th UK without requiring a new signature, agreement from the employee is required. If an employer tries to enforce changes without agreement, an employment tribunal will almost certainly rule in an employee's favour.
I'm also getting an error. Strange to see a google page down...
Set up a Paypal Donate button so we can chip in for your hosting costs
For reference, "consideration" is the legal principal that contracts must be exchanges not just one sided commitments. E.g. if you had just quit and your employer asked you nicely to sign a noncompete, and you did sign, the contract would probably be invalid because you are getting nothing in return (I.e. no consideration) for your commitment not to compete with your former employer.

In contrast, the courts find "an offer of continued at-will employment is, by itself, sufficient consideration for a non-competition agreement." To me this is completely reasonable.
I keep using it because I'm used to all its warts and idiosyncracies. So I don't know what properly-supported alternative one should use. I just get annoyed how many brand-new fresh-out-of-college developers I meet that use it. They need something better.
Well, that comes back to the definition of NP.

A problem is in NP iff it is solvable by a non-deterministic Turing machine that is guaranteed to run in polynomial time. If such a machine exists, and P==NP, then the problem is also solvable by a deterministic Turing machine in polynomial time.

Strictly speaking, the proof assumes a particular Turing machine. But since universal Turing machines exist, we can equivalently say: if P==NP then there exists a deterministic program that takes a description of a non-deterministic TM and an input string, such that if the non-deterministic TM halts in polynomial time, so does the deterministic algorithm (with the same answer).

(The standard proof of the Cook-Levin theorem assumes that you actually have a polynomial bound on the number of time steps, rather than simply being assured that one exists. This is a technical detail that can be worked around by e.g. doubling the number of steps exponentially until you detect termination.)
Honestly I thought from the thumbnail this was the very first iteration of Eve Online - Main thought was "Holy damn they put a nice GUI on that spreadsheet"
dupe: https://news.ycombinator.com/item?id=10066047
Eliminating Roundtrips with Preconnect
Critics of Android embraced a meme that Lollipop was Android's Vista, substantiated by users anecdotal claims about poor battery life from a given upgrade, or the changes to notification levels, etc. So you still see the echos of that. I've never seen someone go so over the top to claim that it justified vendor skins, though, so this is a new pinnacle.

To everyone else it was an incremental update.
I wonder, is there a relationship between P!=NP and Hilbert's 10th problem? It seems to me that P!=NP is pretty much saying that integer solutions for certain class of polynomials are easy to check (once you have them) but hard to describe as a set (there isn't always a representation with the polynomial algorithm), but I don't know how to put it formally.
Also Mexico
Thanks Steve!

If you know of a color-picker design that is better spaced (mobile friendly) go ahead and open up a issue on the repo and paste it in there. I am going to be going through this week and making a couple more!
Containers, clouds and code: How Yelp built a hybrid cloud using Mesos
I haven't used it extensively, but SQL Server Integration Services (SSIS) looks like it does a lot of the things you're talking about.
Yes, it does. Actually any JavaScript works. So you can do Math.pow, Math.sin etc etc
Here is that moment from the Olympic ceremony

https://youtu.be/4As0e4de-rI?t=1h17m25s
From all that's come out over the weekend, it sounds like former Amazon employees are quite welcome over at Facebook. Plus, like Bezos says in his all-hands e-mail, these people are recruited every day. If they are in a situation like that, escalating to HR won't make it better, changing jobs will.
A few other things to check out in this realm:

http://unisonweb.org/

http://www.selflanguage.org/ (esp. the papers on the UI)

http://www.subtext-lang.org/

http://www.cs.virginia.edu/~evans/cs655/readings/smalltalk.h...

I like to try to experiment with this stuff as game development tools, because games are highly realtime / graphical / interactive and that's hard. It's easy to write an A -> B transform (like a compiler is a lang1 -> Either error lang2 transform for example) functionally, because ultimately that is a function. Doing interactive compute this way is hard, and that's where FRP, FRelP (functional relational programming) and a bunch of stuff could be used.

I was trying some interactive game dev stuff with this: http://ludumdare.com/compo/2014/08/27/reminisce-post-mortem/ (allows live coding and live edit) but some issues popped up as highlighted in the paper about it. I think a prototype-based approach like Self could be a good way to go. Also doing it in lispy languages to abstract the language upward while abstracting the problem downward.

The Out of the Tar Pit paper is really a good one.

Doing things this way allows more immediate connection to the creative spirit, as on the other side of the more 'logic'/'rational'-based one, which is sort of like static typechecking in human thought -- it prevents error, but to move forward you some times have to make leaps of faith/intuition. Like between two paradigms (check out Kuhn on scientific revolutions, or Science, Order and Creativity by Bohm). Need to be in and about the artwork. Sorry, been reading a bunch of Nietzsche / Psycho Cybernetics / Prometheus Rising type stuff and this is on my mind (http://www.paulgraham.com/top.html) right now haha.
Most companies I have consulted or work for make decisions based on politics and conjecture, with data being invented at a bare minimum to back the argument up, but no one doing serious analysis of it.

The culture of having data collection and an ability to challenge it (whether it is flawed or not) indicates a desire for a fact-driven culture vs. a power-driven culture.

They might be over-confident, but one would think that reality in the market will eventually catch up to that.
Actually, that's exactly how it works and in many ways ReplyAll is a much easier way to publish a conversation than a podcast.

Which is why btw, I told the guys from Reply All that they were infringing on our TM.

But that's another story...
Experimental audio effect based on autoconvolution (source with audio examples)
Are you saying that, because the employee doesn't own the company (or, you know, own shares), they don't get any rights?

That's... laughable.
> A cynic would say politicians want to pass laws that will be popular with their cronies but unpopular with voters

What makes you think TPP will be unpopular with voters? See [1].

[1] http://www.pewresearch.org/fact-tank/2015/06/23/americans-fa...
Thank you for explaining very clearly what is wrong with the judgements passed in that article. The entire thing felt wrong in a way i could not articulate, but you managed to articulate it in an amazingly lucid manner. :)
Windows 10 virtual machines now available on Microsoft Edge Dev
Not so. . Most of the old projects & not popular projects pages will be turned to an Error Page. .!
But the comments here getting interesting. .!!
Suspect "sometimes, but rarely," because choosing "hole" after "black" is pretty cheap--you need your expected savings from potentially saving that choice to exceed the cost of bumping your worst option from the list. It's more likely to be practical when you can offer lots of choices rather than the typical three on mobile, though (bumping a 10th choice is cheaper than bumping a 3rd choice).

Separately, predefined phrases/templates can be really practical for things related to care, food, saying hi and bye, etc. That's a special case--user likely cares more about getting it done efficiently than choosing the exact wording they want each time.
What he didn't learn first hand at Crocker National Bank and Pacific Bell was forwarded to him by others. As Wikipedia puts it (https://en.wikipedia.org/wiki/Scott_Adams#Office_worker): "Adams attributes his success to his idea of including his e-mail address in the panels, thus facilitating feedback from readers."
"Hard Drivin's approach to collisions or unrealistic events—putting the car back on the road at a standstill—was the norm for driving games until later games such as Cruisin' USA and its successors introduced intentionally artificial physics to force a car to always stay near the road and land right-side up pointing forward."

https://en.wikipedia.org/wiki/Hard_Drivin%27

I thought it was fun due to its realism.

also this bit is interesting from the wikipedia page

Physics
The engine, transmission control, suspension, and tire physics were modeled in conjunction with Doug Milliken[18] who was listed as a test driver in the game credits. In the 1950s his father William Milliken of Milliken Research led a team at Cornell Aeronautical Laboratory in Buffalo NY USA (later Calspan) that converted aircraft equations of motion to equations of motion for the automobile, and became one of the world's leading experts in car modeling.

BTW, what is the spiritual successor to Hard Drivin' today?
The question comes up because in order for a contract (the non-compete) to be legally valid, both sides have to give "consideration." Consideration is a legal term of art that means each sides has to promise something of value. If I sign a paper that says, "I'll give Johny555 50 bucks in exchange for nothing," it's not a real contract.

There is a doctrine called the preexisting duty rule that says that something already owed doesn't count as consideration. If you owe me 50 bucks, and you make me sign a paper that says if you pay me back the 50 bucks I'll paint your chicken coup, that isn't a contract. You already owe me the 50 bucks. It's a way to stop people from changing a deal halfway through. <insert VaderAtCloudCity.JPEG>

The issue here isn't whether the company can terminate you for refusing to sign. They can. But if you sign it, does it become a legal contract?

One side argues no, because your consideration is keeping the same job you already had. The other side says at will employment can be terminated at any time and keeping your job isn't a duty the employer already had. This court went with the later.
See justplay's answer.

https://www.google.com/get/sunroof/about/
Why aren't you using the compatibility libraries?
Jaswig: Height-Adjustable Standing Desks
Nothing says 'irresponsible' like not thinking at all about the impact of releasing information you know people will use for harm. Publishing to github comes after the hacking.

If qwertyoruiop had instead come up with plans for making a suitcase nuke from household ingredients, or for breeding an Ebola analog using a home beer making kit, your argument would imply that you think that posting them on the Internet would not be bad.

I disagree.
"NTP isn't accurate enough so we use a hardware clock assist that uses GPS and atomic clocks" - Google

I think it is crazy that something as simple as keeping time can have such a complicated solution at that sort of scale.

Every review I hear about working at Google makes me want to stay away, just like the recent conversations about working at Amazon, but crazy stuff like this always piques my interest.
Time to get it on the web for everyone and not just iOS users :)
Great stuff. When will there be a hosted version I can try out?
Your perspective is interesting, thanks for sharing. When I am in your shoes, I pretend that I'm in my manager's shoes, being asked about changing something about work. Kind of playing devil's advocate: why is this a good/bad idea?

I've found it's good for coming up with arguments and point/counterpoints. And trying to appeal to the manager's personality -- what makes them tick.
The employee gets any and all rights afforded by local legislation. In most at-will U.S. States, it's almost nothing.
I agree with the r/w web, and that was the original vision, but it's not really practical at this point because nobody supports such editing in a standard fashion
There are many useful libraries to get a close-enough Material experience working on the older devices. And I am not talking about the official support library, which should be at least on a par of many MIT licensed Android extensions out in the marketplace.
I tried both and I was all about going back to iPhone, until I tried Cyanogenmod, which puts (a lot of) the sense back into Android. It uses the Google launcher (without the Google Now page integrated on swipe left), but it removes the insanely annoying design decisions by Samsung, e.g. displaying a confirmation dialog when you increase the sound volume over a certain threshold even with your Phone locked in your pocket and you bombing it on your bike downhill. Or the "cannot use camera" and "sorry, dimming your screen" on 5% battery threshold. I don't know what they are smoking at Samsung, but it's not good.
No. It would be ironic is if it stopped working at all with no notification.

As it is they are just demonstrating competence at scaling.
A "Terry Stop" relies on reasonable suspicion. A patdown is permitted to check for weaponry.

If this was a Terry Stop, they went so far that they turned it into something else; pinning an unarmed one-legged man to the ground, stamping on his legs, is not a Terry Stop. Reminds me of the bullshit they pull where they pick someone up, mess him around, and then kick him back onto the street whenever they feel like it; because they can say "it wasn't actually an arrest" they get away with it.

If this was not a Terry Stop, then it's all just more bullshit from bullyboys in uniform.

You see the footage. Seriously, how do you perform the mental gymnastics to defend this blatantly unacceptable activity? They're not heroes. They're out of control bullies wearing uniforms, and the longer we let them get away with this sort of nonsense, the worse it's going to get.
I'm pretty arhythmic too, was about 14 before I learnt to skip - spent many humilating lessons at primary school when the teacher told us to skip (without a rope) and they didn't understand how I couldn't do it. I can't clap in time at all, nor dance (another point of childhood humilation).

As it happens I took classical piano as a teenager, but always had trouble with the rhythm.

When getting a medical exam for scuba there was a suggestion that I had an arhythmic heartbeat and I've always wondered if that could relate - perhaps my brain just can't do rhythm in any way at all ...
Not only did you get the wrong Concord resident, you trotted out the biggest misconception of the book with the subtitle "Where I Lived, and What I Lived For." Whenever this complaint comes up, it is very clear the writer didn't bother to read the book, or even its most famous passage, where Thoreau explains exactly what he was doing at Walden:

> I went to the woods because I wished to live deliberately, to front only the essential facts of life, and see if I could not learn what it had to teach, and not, when I came to die, discover that I had not lived. I did not wish to live what was not life, living is so dear; nor did I wish to practise resignation, unless it was quite necessary. I wanted to live deep and suck out all the marrow of life, to live so sturdily and Spartan-like as to put to rout all that was not life, to cut a broad swath and shave close, to drive life into a corner, and reduce it to its lowest terms, and, if it proved to be mean, why then to get the whole and genuine meanness of it, and publish its meanness to the world; or if it were sublime, to know it by experience, and be able to give a true account of it in my next excursion.
And readers enjoy reading this format just as you do.

Some of our favorite comments from readers on various sites:
"I love this format! Definitely like it over the regular Q and A style and even better than podcasts"
"Love the format. Easy to read."
"More fun than the usual five questions and way more interesting"
"ReplyAll, you're my new favorite platform."

And one of my personal favorites:
"This is voyeuristically fun. If that's a word. And I'll creep back where I came from."
Isn't that effectively what happens though? Barring strong worker's protections (which is not a thing in most of the US) or strong unions (which is not a thing either in most of the US), the only rights an employee gets are "take it or leave it". And that's pretty much what "at will employment" is.
That's definitely something we spend a lot of time thinking about. We have to be able to support easy, exploratory programming but also be able to nail stuff down if it ends up being used a lot.

We have a bunch of ideas queued up. One of the simplest is generating fake data as you write code so that you have a better chance of noticing edge cases. We are also planning to proactively hint about integrity constraints (types, unique/foreign keys etc) eg if a column only contains integers, show a button that fixes the type to integer. There is an optional typing system in the wings too.

There is also lots of similar research aimed at spreadsheets (eg http://eusesconsortium.org/wysiwyt.php) which we can borrow from.
Why I can’t (yet) commit 100% to Medium
Tried your example: Math.floor(2.5). Seems to be working on Chrome. Which browser are you using?