skysight-inc/HackerNews huggingface dataset:
Solving any coding challenge is NP-hard problem.

To prove that statement you'd have to carefully define your terms.

If "Develop a polynomial time algorithm to determine whether any given 3SAT problem is satisfiable" is a valid coding challenge then the statement is obviously true.

On the other hand I doubt that solving the types of coding challenges that actually appear in competitions can be proven to be NP-hard because that would prove that humans are much better at solving NP-hard problems than any currently known algorithm. I don't think there is any such proof (though there may be some weak evidence for the proposition).
Since you mentioned it, here's an update. My testing went well except for one issue which was with unlocking after the screen locked. That turned out to be because I'd built using a jail that was built before pam was updated, but was testing on a system after the pam update (11.0-BETA2).

Also, the sddm package didn't build because the kdemerge tool can't merge the UIDs/GIDs files. That was changed to go ahead and build the package and give a pkg-message to create the user.

I want people to be able to test using 11.0-BETA2 and have sddm, so I've updated the jail and am currently in the process of rebuilding the packages.

Because the jail changed, everything builds from scratch, so it's taking a little while, but when they're done building (should be soon), I'll test some more and write up some docs on testing KDE5 and post them for those who are interested.
> It's hard work. It's important work. It's demanding work. It's not for everyone.

It's needlessly hard and too much of it is unimportant.

Do you really think people at Google/Facebook/Microsoft/etc... aren't working hard? Aren't working on things they think are important? The job isn't demanding?

Yet the horror stories consistently come from Amazon.
My short-lived experience with Java and Android made me wary of IDEs. It taught me an important lesson: If a language's IDE can autogenerate 90% of the code in "hello world" for you, without knowing anything about the program you are about to write, than that language has far too much boilerplate.

I've never loved IDEs, because they increase the amount of time between having an idea and starting to code it, whereas with emacs, I can just start writing code.

The only IDE that is any good is the Smalltalk IDE, because it's not so much an IDE in the java sense as it is a realtime window into the soul of your application and environment. I mean, if you thought the modern LISP's realtime interaction was good...

But yeah, even then, I start to miss emacs. And I'm not even a serious emacs user. Which is to say, my config can probably fit on only a few pages, and I don't know the 100+ set of basic keyboard shortcuts yet.
Absolutely! I find myself looking at items in-store to get an idea of what's available, then going home and comparing reviews & prices on amazon where there is more variety.

This is particularly true with what I've been buying lately--tools. The local home depot will just deal in a couple of brands for most tools, while amazon is virtually guaranteed to have dozens in all variety of size, power, options, price, and quality.

The price is usually better, as well, and then I don't have to load it into my vehicle, either. Poor UPS guy, though.
Our of curiosity - what laws do you think we're broken? I am legitimately asking. If favorable press coverage is a sign of corruption, what national politician isn't guilty?
What? That's seems absurdly high..
libstd defines varying amounts of string manipulation and abstraction for those string types, though.

I'd love to see additional support for handling bytestrings in libstd, to make it easier to write code that handles both &str and &[u8].
Tinderface – Stalking your Facebook friends on Tinder
Anroid studio isn't based on eclipse...
You could in theory run an entire GSM base station over it, or use it to recieve television, radio... or use it to mess with airplane communications.

The possibilities are virtually endless, the responsibility is yours alone.
I hoped this was going to be about internal projects. A few times the proponent of a change at PD has bet that the metrics would prove them right -- if not, they'd buy the other side of the impasse dinner.
The point I was trying to get across is that your question compares atoms and oranges.

The problem of quantum gravity, which the Perimeter Institute was originally set up to tackle, is as foundational theoretical work as you get. Yet Another Cosmological Model is not. The latter is several layers of "less foundational" further up. It has nothing to do with quantum gravity. (Neither does the article you linked; I have no idea what you're trying to say with that reference.)

You ask "why else is Turok considered more credible". More credible than what? If you mean as an expert on quantum gravity, he is not; AFAIK he has never even worked on the subject. That's the point. His appointment as director signaled a complete change of direction for the Perimeter Institute.
I also had done more revisions of the board and spent way more money than I initially planned for... even though in hindsight, having only three revisions for a fully functioning, moderately complex design, with no previous experience working on something like this, probably is not that bad.

Are you kidding? That falls into the realm of superhuman. I've seen 20 year veterans blow a 100 grand and get half that far. I think even Woz would do a double-take.
Amazon suppressed/hid profits for so long.. not hard for them to show strong quarterly earnings. It was accounting then and it's accounting now.
I can't see the full paper, but I don't think you can draw the conclusion that they do. The outstanding question that remains is whether it is the choice of words that seemed to affect the difference in attentiveness, or the tones in which the words were delivered.
Edit: the final link in the parent does indeed address the issue I raised, I had only read the last of the numbered references, [1].
Kennan was also pretty critical of American foreign policy towards Russia in the 90's.
The hardest part here is not the actual generation of code, but to analyze the problem first and to determine what data structures/algorithms are best suited to tackle it. Also, there are a lot of real world examples used in these problems, so the AI would need a general understanding of the modern-day world, which again, is hard.

Lastly, even if the AI figures out the implementation, it has to take care of all the edge cases too, so that the test cases pass. But I suppose this is a trivial problem compared to the other two I mentioned above...
That's true, I'll update the USRP price on the website.
Similarly, I've switched almost completely from selling an occasional book or used item on eBay to Amazon because I can generally get a better price when I sell things on Amazon, and it's much easier to list things in that the description and reviews are already available for most of the things I have to sell.

When I changed cities a few years ago, I decided to sell the majority of my books so as not to have to ship them, and I made enough from those sales to cover about a quarter of my shipping fees for the rest of my stuff.
I think you are correct in that for a long time many in Russia looked to the West for culture and even political ideas. Unfortunately, Soviet communism's explicit goal was to overthrow liberalism, and Putin is hardly any more friendly.
Security of Dashlane [pdf]
This is the point where things begin to look really scary for every retail company not named Amazon. Amazon's previous two decades of tiny profits have all been in service of building a massive logistics infrastructure (and locked-in customer base, via Prime) that no one else can touch, and now it's paying off. It's going to be very difficult to catch up to them - even if someone was willing to spend a lot of money to do it, Amazon could easily go back to the old regime of just reinvesting more into its operations; with these last three quarters, they've shown the naysayers that it can be made to pay dividends, and so I think Wall Street would be patient if they returned to that route.
Here is an interview with Kennan that puts certain things in perspective in post-Cold War era.

http://www.nytimes.com/1998/05/02/opinion/foreign-affairs-no...
IBM has been there too.

Big companies in general do not come back from near death. But the surest way to guarantee that this small chance won't be taken is betting everything on "team playing" and antagonizing every "bad team player" that thinks differently from the main line.
Success of the business and success of the shareholders is not a zero-sum game. You can usually have both.

What is insane is sacrificing the success of the business for the success of shareholders. That affects employees, and you end up getting situations where entire towns get fucked because the profitable-but-not-profitable-factory gets shut down because of some obscure metric.
Apple's demands are reportedly the reason it still doesn't have a TV service
I am a 32 year old man and I like cuteness.
Bears asking what market your website is in, perhaps? Since some keywords are more competitive than others, and if they're related to your site topic, presumably there's strong targeting there.
So first, NP-hard isn't much of a barrier. We often like to call it "NP-easy." Or, going a step further:

"PSPACE-complete is great news. It's the new poly-time." -- Moshe Vardi

SAT solvers are very fast. It's worst-case exponential, sure, but it's hard to find that worst-case. I just heard at lunch yesterday that MaxSAT is now also easily handling problems with millions of variables. I think I'd be scared if I found out what the record was for normal SAT.

So, how do you actually do synthesis? I could talk for quite a while about it.....but here's a pretty good intro-article: https://homes.cs.washington.edu/~bornholt/post/synthesis-for...
I happen to agree with the article. What else would you like to see? Or maybe you're willing to accept a lot more of these flaws than others.
> People often don't consider cost-of-living when making job decisions.

Do you have a source for this? Anecdotally, cost of living/quality of life are two big issues with every candidate I've every talked with.
True, but I still hate the idea of taking away Xbox Fitness from paying customers ("you can keep using the content you paid for for 6 more months!").
Spam filtering works reasonably well now, for any of the free services. Trolls? Ignore 'em.
So...objectives are different than goals? How do you get anything done? Goal here must mean something different than just the end result of a task.
Looks like a Perturbator cover.
From the "you're factually wrong department":

> Yelp, like Google, makes money by collecting consumer data and reselling it to advertisers.

False. Google does not resell consumer data to advertisers, nor anybody else, and never has. It does, of course, use this information, as per its privacy policy, to display ads that are hopefully most relevant for a particular user (and allows the user to view & control what information is stored about them, e.g through Privacy Dashboard). At no point does information about the user leave Google.

This might seem like a minor nuance, but the difference in trust and privacy implications are enormous. User trust is Google's single most important asset and a whole lot of work, attention and money goes into earning it and keeping it.

Disclosure: I'm employed by Google. Enjoy the Kool-aid.
Relatedly, even though Boolean Satisfiability [1] is NP-complete, there are SAT solvers that can solve huge practical instances fast enough to be useful.

1: https://en.wikipedia.org/wiki/Boolean_satisfiability_problem
> Sky's the limit.

Until you get a bigger antenna ;-)
i strongly recommend reading "the limits to growth" (don't remember authors, but it's easy to find) and "the culture" series by late mr Banks. we're nowhere near post-scarcity. in fact, i don't believe we can reach post-scarcity without a benevolent AGI that can deal with psychopaths.
What Is Air Pollution and Its Affects on Human
The 2012 Non-Retina MacBook Pro Is Still the Best Laptop Apple Sells
That last part shouldn't be hard with the overpriced bandwidth costs AWS charges.
Ex Amazon here: that's not supposed to happen.
Werner Herzog on the future of film school, critical connectivity and Pokémon Go
There seems to be some missing triangles after a while (10-20 sec.) on Chrome on OSX

Are these caused by some z-buffer issues caused by increasingly large coordinates?
Evolutionarily beneficial to eat your own children? Could you explain how?
> People often don't consider cost-of-living when making job decisions.

They do. People not living in the cities constantly bring this up. We know. We are not idiots because we live in a bigger city.

I have roughly 55k left over after taxes, rent, and 401k. In other words, I'm doing fine even with the higher costs.

This is not counting bonus and stock.
I've had points in my programming career where I felt completely burnt out. I would open up a text-editor and just stare at it. I didn't want to create.

But, separately from programming, I absolutely love teaching/mentoring. I found that, if I was helping someone with a programming problem, I could code just fine while burnt out. As long as someone else was doing "the programming"—the part involving wanting to create something and actually typing it—I was fine with them "borrowing" my knowledge and expertise in the form of doing all their design work, finding libraries and API functions for them, correcting their syntax errors, doing all their debugging, and basically every other part of programming that isn't typing words.

If someone handed me a college intern—or, hell, even a really passionate and patient elementary schooler—to serve as my "assistant", then I could make them appear to be a great programmer. If you hired me to wander around a team and pair-program with everyone, I could have a multiplicative effect on that team's productivity. But, by myself, I wouldn't be able to code for beans.

What do you call me?
Ask HN: What web archive projects need help, or need to be created?
I've got some time, plenty of space on a server, and the patience to track down files/posts/etc. and organize them into an archive, and then script that process. I actually quite enjoy it.

I'm having some trouble finding a good project to spend my time on, though - the only suggestions I've really gotten are things like "collect all the episodes of this copyrighted TV show". What's something that I can do that would help even a tiny subset of the internet?
Or it could be a sign that the industry is consolidating and that there's no point in investing in non-FANGAM companies.
Yeah, that's true. Nonetheless, Smalltalk really feels like an improved version of working with Lisp.
Could this project, in theory, be done with a 2-layer (front and back) board? I'm thinking of building a small SoC board... but I don't want to shell out hundreds of bucks (and days of shipping time) for prototype PCBs, but hand-etch them instead.
I used it for a Java class. I like to build up instead of strip down. I will stick to Emacs, thanks.

Emacs can do those things, I just have to selectively decide what and how and when. I also do not like dependence on proprietary software. Yes, I know there is a free copy. But when they try cool new UI or feature X and I must suffer through it, I yearn for the consistency of Emacs for three decades for a reason. I have been doing Windows sysadmin for approaching a decade. W10 imposing changes I hate on me was the last straw: at home, open source or nothing. Haha.

Yes, re SBT. I tried both methods (system-level install of SBT and Scala with pacman and ~/.sbt or whatever install), it went so-so.
By that measure, startups are powered by AI and large corps are not. By which I mean, so many variables go into successful product development. Google arguably has the strongest AI in the world, but it has been remarkably bad at introducing new products recently, so those two phenomena seem decoupled to me...
Sorry, I haven't seen that. I would guess not....
Google acquires LaunchKit
You say that but that's not the reading I make of this contract. "I hereby dedicate to the public all rights, including copyrights,... that i posses in this collection".

that seems pretty clear cut to me. Conditions for reproduction only seem to express the general ways the content should be available for users of the library. Nothing limiting availability, in fact it's promoting methods of being available.

So that leaves the question of a: whether or not getty et al were able to sell works in the public domain. My quick read of it seems that if they can come up with some kind of argument that they are selling derivative work (including perhaps some kind of unique identification layer, or meta data perhaps ... ?), OR that they are selling a reproduction. tenuous, but that may be their justification.

as for requesting a license fee, well that's on LCS and Alamy (who I don't think have had an issue in the past 3 years of this stuff, so the multiplier doesn't apply here)

NB: Alamy being a uk company, so they can hide behind a corporate shield if their assets are mostly offshore...

this is the settle page, from the first exhibit: https://settle.lcs.global/103173853953 -- that's what she got sent. It doesn't appear that they argue they are the exclusive license holder, and especially if they argue they are holding a license to derivative work -- well. that's a whole ball of wax.

Thinking further, since she no longer holds the copyright to these images, and the United States is not listed as a co-plaintiff, I'm not even sure she has standing to bring this case at all -- but, on that, IANAL. :P
Is the age old problem mean I'm too young to be taken seriously in any context?
I'm not sure the software development community is ready to go back to the days of "un-updatable code".

We did sort of sit there before everyone was on the internet. Where you would ship a CD, and if there was a bug on that disk, you had to send the customer an update.

Smart-contract development is going to go through a rough patch while developers get used to this new paradigm.
She is, but it's not exactly the same.

Where I grew up (Appalachia), there's already plenty of great infrastructure. There are, however, no industries to replace coal mining or steel production. It's literally impossible for Trump to bring those jobs back -- it's much cheaper to extract coal in the West, so there's little-to-no incentive for a for-profit corporation to build new mines in Appalachia.

I did a social studies report in 6th grade on the topic, "What will replace coal in West Virginia?" Even then, we couldn't figure anything out. Nothing has changed. WV is the strongest state for Trump for that reason.

Clinton can promise jobs in a general sense, but it's not what they want to hear. They want to hear someone offer them a time machine to 1960, when men could work in mines or manufacturing from his teens until he retired, and they knew their sons would be able to do the same.
In other words, Google profits surge because it is using TensorFlow to accurately predict how to price ads to maximize revenue.
I see your point. What I'm saying is that I guess people's appetite for funding foundational research doesn't mean work on stuff that other people never use, even in funding proposals. My point was that he was apparently hired for some "gravitas" (more credible as a "scientific leader") because at least people on other big projects can footnote his name in their proposals and say maybe our stuff will test some of his stuff. (The article was intended to explain that point about Turok)

If she had developed other lines of work so that people would scratch her back.....if you're looking at it from a faculty hiring point of view you're usually going to favor the person who "plays nice with others". Hans Bethe saved Ken Wilson's bacon at Cornell for years, until Wilson got the Nobel Prize. Peter Higgs almost got fired at Edinburgh. Gell-Mann protected John Schwarz at Caltech, etc, etc. She had no political cover.
paywall;dr

Could major election year be a significant contributor?
http://paulgraham.com/say.html
I've worked on research projects that turned into a startup. We migrated all our data from free University boxes to cloud storage the startup paid for.

The professor I was working with told us about how he lost all his data once with a similar startup attempt. Shortly after I was let go from the startup I pulled all the data via the web service I wrote, luckily before they shut it down.

TL;DR I'd trust an entity like the Internet Archive way over commercial entities, even those that offer free storage for open projects. Sure the Internet Archive could up and go away, but I still trust their motives and their commitment to not let that happen.
MM seems to be very polarizing because she got so much praise and attention when she became the Yahoo CEO without actually doing anything. She was the golden child CEO without any merit. I think people found this frustrating (I did) and so when we saw Yahoo doing poorly it's easy to point out that maybe MM isn't so great just for being a CEO who's also an attractive woman who will pose for magazine covers in a tight dress. Additionally, not many CEOs have a personal brand. MM obviously does, and so even despite everything I mentioned previously, she is going to get lots of attention, good and bad.
In Romania the "democratic regime" had received something like 3% of the votes at its inter-war peak and had later been banned for subversive activities sponsored by the Soviets.

There were solid reasons those "former enemies" were enemies.
I think it has something to do with the z-buffer. My other theory is that WebGL is not given enough time to upload all the geometry, as the camera traverses the world and adds more chunks. I am not really sure what causes it...
As a rule, no. If I can't run it on my own infrastructure (whether it is for personal or work use) I don't want it.
I do that too, and with the Amazon App you can even scan the barcode of the product you are looking in the market to compare prices and look at reviews right there. Don't even have to go home for that.
Thanks! Actually, doing 4 layers first really helped me save cost on the first prototypes while still allowing me to verify almost the complete design.
But that's a difficult question. I think it's inevitable for some things to slip through like they did (the wrong valued resistors...) and 3 revisions to get it right were not that many.
One thing I'd certainly do is starting with the FPGA design early on, so I'd not just blindly pick a part that looked suitable like I did this time. That would have also eliminated the mistake where I didn't route clocks to clock capable pins.