skysight-inc/HackerNews huggingface dataset:
What a backwards way to become the middle man in almost all internet monetization.
I can't believe it - not a single comment about Richard Stallman (in the article or this thread). When I read the title, I thought the article would be about Richard Stallman.
Google's New Compression Algorithm 26 percent better
The thing is, encryption is all-or-nothing. You either have quality encryption, or you do not. The only trade-off to discuss here is whether we want to allow secure digital communication, or if all communication must be effectively in plaintext. I think the choice is fairly obvious, as without effective encryption we will basically kill any digital economy. But I do understand where the opposition is coming from.
Investigating fake Intel i350 network adapters
Does anyone know how the situation is with typed Racket? Similar problems with speed, annotations being hard to write and tooling being insufficient?
L.A.’s most anticipated new opera takes place in cars
Ask HN: Best place to donate old books, movies, etc.
I used to buy used & sell them back on Amazon. But now I don't find enough motivation to sell back due to various reasons.

Recently, I have built a bit of collection of books, movies , video games, etc. I share and give away to friends. But I wanted to know what is the best way to donate these things, I can take my collection to Goodwill or Salvation Army. But I feel they resell this stuff way under market value.

Are there any other options?
Unfortunately, I guess you're right. Dammit, I knew there'd be a catch somewhere! :)
The breadth of the service has definitely broadened so that the more of the essential parts for a system are there, however, there are so many "intelligent" services like AlchemyAPI, OpenCalias that are embarassingly bad, they have some convincing to do that they can get quality to be good enough.

(Note that tunablity to the domain is a key part of making something useful; you might be able to build an architecture that can read medical notes, celebrity gossip, and business plans, but it will take a lot of elbow grease to make any of those systems good enough to let off the leash.)
I wasn't aware that C and C++ compilers were dog-slow. Is that because of the complexity of the language in the case of C++ compilers?
His next sentence was "and that sometimes it's the homelessness that has caused the mental health problem." so I'm assuming he meant previously existing mental health issues.
Premise pays app-users $ to collect economic data
Become? I'm pretty sure they already hold that title, or close to it, via adwords.
I'm not "pro-GMO". Not against it either.

"Would any software developer use a process like this in a production environment?"

Would any engineer use software development techniques in building a bridge? Absolutely not. Hold on, I'll build a mock bridge, run a test truck on top to see if it holds. If it doesn't, I'll just build a new one.

Don't compare disciplines which have enormously different requirements. With all dues respect, the world isn't just software engineering.
Chasing After Quantum Dots
> This is cool for several reasons:

4. Google gets paid, rather than all the money going to the actual website.
The company takes a risk on the employee. The employee takes a risk on the company.

When the company IS finally successful, it's due to EVERYONE's work. Not in equal amounts, certainly, but not at a ratio of 50-5000x from founders to every other individual.
It's kinda funny but I have seen cheap chinese ethernet switches that look a lot like Netgear switches but they work a lot better.
Seconded. tcomb is the best dynamic typechecker around.
What if 6+ billion people around the world had access to the same dietary choices you're able to make tomorrow?

We want people to be able to make those choices. How can we if our expectations are to have a meat product be included in every meal?

My intuition says that it's rather difficult to raise that many chickens.
You know, you probably could list that. I'd find it interesting on a resume. Just one line like "Ran one of the top X raiding guilds in World of Warcraft", followed by some bullet points about your duties.

I wonder whether I'd have a more rounded skill-set had I played more games like that, rather than solo or adversarial one-on-one games.
I'm a Free Software evangelist.

Microsoft has been my enemy for a long time.

Please be specific: what has Microsoft ever done that has significantly improved end users' ability to run Free Software?
iOS 9.0.1 download with several bug fixes – IPSW
Of course they're going to give him money. He made VW a lot of money and fell on his sword for them.

But this isn't just for him, this is a message to all potential successors saying that if they make the company money, then they'll be taken care of no matter what happens.

The only way to make this sort of thing not worthwhile is to fine them a combination of the revenue made from the vehicles that this was in, and also some sort of punitive amount. Just a small punitive amount will simply be written off.
"Soldering gun and that port is a toast."
Even better, make it so that if that port is used, it fries the internal memory :)
Initial Impressions on GraphQL and Relay
While this is likely true, do you think they can't get that data another way? I would speculate that with pre-installed root certificates and total network control they could get a lot of data. This wikipedia entry estimates that in 09 ~80% of chinese software sold was pirated. Pirated versions of windows and chrome are distributed on the black market. This software may have changes for the cracking program so the hash will mismatch the authentic software. Placing spyware on chrome and windows copies and distributing them would allow them the ability to harvest this data anyway. I agree with your appraisal. As a cynic, I assume they are trying to control data flowing out of china and this is one of many ways to control data, especially the type of people who would use this operating system which I would assume could be gov't controlled institutions like schools and research labs, as well as party officials.

Edit: forgot to cite source:
https://en.m.wikipedia.org/wiki/Usage_share_of_operating_sys...
100% Free Download Jailbreak iOS 9.0.1, 9.0.2, 9.0.3, 9.0.4 jailbreak
Upfront disclaimer. I'm a veteran of OIF II (2003-2004 during the Fallujah Offensive) who flew the Shadow 200 aka one of the unmanned aerial vehicles you speak of. I was a 96U, which has been renamed to a 15W[1]. That picture is one of the teensy UAVs, not one of the bigger ones like the Shadow, Hunter, Predator, Reaper, Global Hawk, etc.

The UCAV/UCAS (aka UAV fighter jets for dogfighting) is still a very new concept and hasn't been proven in a battlefield environment yet. In fact, the USAF cancelled the X-45 UCAV demonstrator project even after it succeeded at pretty much everything they asked of it. The technology to really do some of these things has only matured in the past 5 or less years, and having it in milspec fielded gear in another 10 is possible, but still quite ambitious.

As someone who has 480+ combat flight hours flying missions all over Iraq, I call BS on your comment.

[1] http://www.goarmy.com/careers-and-jobs/browse-career-and-job...
This is cool, but would it work on my Android browser (which is my main point of contention with ads)?
Ask HN: People using both python 2.x and 3.x on OS X, what setup do you use?
Specifically I'm wondering how you make it all work with installing and using modules, when a few things are happening:

- You may need to run 2.7 scripts

- You may need to run 3.x scripts

- You may need to edit, create, and maintain scripts of both versions.

- The system may change the system python out from under you, with major updates of the OS or Xcode

- You install libraries with pip or pip3 and they claim to have installed for a specific version of python, but then at run time, that same specific version of python complains that the library isn't installed.

What setup is best for managing this?

If your answer is "I don't do that" or "I wouldn't do that if I were you" then it's OK, you don't have to answer... this question is for people who are doing it.
But if there were a standard set of industry-specific tests that the program had to comply with, it's not like it would just be on you.
Or grow crops stacked one on top of another in dense urban areas?
I believe that Google's cut of contributor is smaller than Google's cut of AdWords. (I did a quick search to verify and couldn't find it, so don't take my comment as gospel).
They say they don't want to sound like they are asking for a backdoor, but they are basically asking for a backdoor. Then they mention that if they start adding spyware to peoples phones through service providers software update channels that people will not find them trustworthy. Well, no shit.
This is just you buying the ad slot instead of the advertiser. Why should it be any different for the website's income?

If anything, more entities bidding for the ad means the prices can go higher and the website gets more money (though I imagine any difference here would be undetectable).
Predicting America's Fire Risk Block by Block
Had some success with the Music Player for Reddit (http://reddit.musicplayer.io/) this year. Received good feedback from Reddit, Product Hunt and The Next Web. I'm not doing this for profit so I only have about three figures in donations coming in which cover the hosting and domain name costs.
company is taking a risk hiring them as well

This is a nice way of saying the company can't/won't pay for some "ideal" candidate.

or significant responsibility growth

This is a nice way of saying "will be taken advantage of".

~

The issue I have taken with your stance is that it seems to presuppose some business that is automatically a big hit were it not for a potentially terrible hire, instead of a business that won't go anywhere without good execution by a team.

It's a subtle but important difference, and not recognizing that difference leads to treatment of employees as tools instead of (effectively) later-stage cofounders.
Huh? My 100,000 lines of code takes seconds.
A French History of Gold, Gilded, and Fancy Frames
An Algorithm That's Hunting Ebola
Making money along the way – Signal v. Noise
> For example, he has the ability to address the nation.

This power is pretty overrated.

How often have you turned on the TV and seen a network cover the entirety of one of Obama's speeches/press conferences, other than a major speech like the state of the union? Usually they cut away to something else after a little while or don't cover it at all, except maybe on a morning show.

Non-TV media generally cares even less.
> But a democracy is in significant trouble when its own population no longer trusts and believes it, in the large.

Actually, democracy is safest when the people distrust it.

The real problem is that we have far too many people who are either completely trusting or totally inert.
What's sensationalized?

The approaches were analyzed as part of a months-long government
discussion about how to deal with the growing use of encryption
in which no one but the user can see the information.

Using OUR money, they looked into ways to compromise technology that keeps OUR information private. If you claim you're going to be the most transparent administration, the public ought to hold you to that claim. Without leaks and whistleblowers, and reporting like this, we'd be clueless.
Ironical MSFT and FB are fawning over Xi's visit giving him the royal tours. China treats these two companies very poorly. Nearly all MSFT software in China is pirated. China bans FB partly for censorship and partly to protect internal social networking products.
TDD doesn't really have anything to do with design, although it can help drive/refine/clarify design. It's a development methodology. Doesn't seem controversial.
For the ~price of Netflix subscription, I only get 25-50% fewer ads? Nah...too expensive.
Nice, exactly the same arguments can be said for Entity Framework.
Google already pays to remove adblockers. http://www.engadget.com/2015/02/03/amazon-google-microsoft-a...

On the other hand, looks like a nice social engineering experiment in figuring out how to convince users to be tracked better.
Great Infographic: Top Ways Social Media Can Facilitate Change Management
I agree. The US legal system has historically been way more lenient on financial companies than automobile companies. In the case of Enron, they had a lot of financial incentive for their actions, with only the prospect of a few fines as the expected downside. I don't see that being the case for GM, Toyota, etc.
If they add some little visual perk, like an icon next to your youtube name, I bet popularity in this would grow.
http://finance.qq.com/a/20130624/011309.htm
The order of operations here is "right associative". So

A -> B -> C -> D

is equivalent to any of the following

A -> (B -> C -> D)
A -> (B -> (C -> D))
A -> B -> (C -> D)

They're equivalent through currying. But you can only add or remove parentheses for stuff that is on the right of a function arrow. (A -> B) -> (C -> D) is a different thing.
The biggest problem of this is that it only works on Google's ads, but there are far more obnoxious ads that will result in the user wanting and installing an adblocker anyway, and then why bother with Contributor?
TJ is a group, like Nicolas Bourbaki.
"Amendment IV

The right of the people to be secure in their persons, houses, papers, and effects, against unreasonable searches and seizures, shall not be violated, and no warrants shall issue, but upon probable cause, supported by oath or affirmation, and particularly describing the place to be searched, and the persons or things to be seized."

If we define a computer system and its contents as "papers", which seems reasonable, then the extra port approach matches this very well. You give the device a warrant signed by the public key of the judge, and it gives up its secrets. And takes a copy of the warrant.
I got a web app source code by chance
Hi Guys,
I have this question over my head from almost 2 months.
A day by chance was looking at Github and some repositories. and looking for interesting projects. By chance i found that an actual very successeful startup have it's code available (not priavte) and this project is exactly what i was looking to do to solve a big problem.
Well, i doenloaded the code and run it, to confirm, (i through that its not possible that this code is actually the interesting web app code, but could just a similar naming that's it). But NO.
After download, dig in the code try to setup the environment and instale the modules, it worked and i saw exatly that the app that im running is the same available online. and it's actually paid and growing fast..
what i have to do here?? tell them about the stuff? use it to build another app that i manage to do with my vision?? i really see where this app can go because it's in my domain..
Cheers, please never judge :-)
So with this system, the same amount of space is still taken up by ads? I don't think that's really a huge improvement.

I think my ideal system would be something where a website can offer a bitcoin* address in a header, and at the end of the month my browser randomly picks a set of addresses it's seen, and sends money to them. (In conjunction with current ad-blocking technology.)

* Bitcoin probably wouldn't work due to transaction limits, but maybe some sort of sidechain, alternative coin, or something similar.
We'll consider all great people =)
Nope. I'm implying that they don't use the latest and greatest or "best tech". I'm agreeing with your opinion and having worked with the tech teams of banks am confirming it as truth via firsthand experience.
> I think the very most common property of programs I or anyone ever deals with is handily covered by Haskell's type system: "do these two (often complex) things fit together?"

That is indeed very common, but it is neither the most important (it might be, but that requires evidence) nor is Haskell's particular blend of proof vs. burden necessarily the best. You could have said the same about Java, C#, Go or C, each with their own limited type "richness".

> We'd be better off if those tools were widely used

Formal verification tools that are able to prove many of the example I listed (or interesting-enough special cases) are far from being in wide use in the industry in absolute terms, but they are certainly in wider use than Haskell (in spite of the latter's popularity among bloggers), at least when it comes to large, complex software, which is where verification is most valuable anyway. Fujitsu have used JPF to verify a 1MLOC Java program[1], Amazon use TLA+ to verify/specify most (all?) of their AWS services (written in Java), some are quite complex[2], Esterel (or, rather, its descendants) is used by various realtime systems[3], and Intel uses TLA+ and/or internal verification tools to verify components in its processors. Each of those alone has seen more real-world "tough" industry usage than Haskell.

AFAICT, those tools are in wider use than Haskell in academia, too (aside from PL research, obviously), where they're sometimes used to verify concurrent/distributed algorithms (and in at least one famous case, prove the incorrectness of a much-lauded algorithm[4][5]).

It is, however, true that type-based verification tools (like Coq) have seen even less use than Haskell (they're basically unused in the industry) and other proof assistants are rarely used (a notable example is Isabelle, which has been used to verify the seL4 kernel, but AFAIK Isabelle isn't type-based, but, like TLA+, uses set-theory). Even in academia, use of type-based proofs is very rare (virtually nonexistent outside PL).

[1]: http://javapathfinder.sourceforge.net/events/JPF-workshop-05...

[2]: http://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-s...

[3]: http://www.esterel-technologies.com/industries/

[4]: http://www2.research.att.com/~pamela/chord-ccr.pdf

[5]: http://brooker.co.za/blog/2014/03/08/model-checking.html
It's not about what's equitable, or fair, or "reasonable." It's about what the market will bear.

Individuals with a realistic worldview, a little background information, and the ability to do simple math will conclude that startup equity offers are typically worthless. The fractions of the company are too small, the protections given to founders and investors too large.

Startups are not getting the best talent with these compensation packages. And the people doing the hiring don't care. They clearly do not want any better than what they're getting. If there were unsatisfied demand for better staff, we would see more compelling offers.

Hiring irrational optimists, the math-impaired, and folks who fail to do basic research on the field seems to be working out OK.
A future where genetic engineering has sabotaged society
>>I see no practical way to enforce that the source code that has been published is actually the same as that running on the car.

I was going to say that you could dump the code from a random vehicle and compare the hashes. But I suppose that would require having the entire toolchain to go from source to shipped code.

>>Not quickly.

Perhaps I should've said "more quickly." You've got a point that it's difficult to verify that code doesn't do anything bad. However, it's relatively easy to start from the notion that it's doing one particular bad thing and then find the code that does it, which would've been the case here.
They are facilitating the entire process, processing the credit cards, cutting checks, sending tax forms... Even bitcoin transactions have fees.
RealTime Chat written in Node.js
It works anywhere a Google ad works.
Right, and even then.... I now don't have the impulse to go get soda and snack food at the convenience store nearby to kill time. I also find it easier to plan meals and follow through. So, net positive as far as lifespan.
Show HN: Go's concurrency features in Swift 2 (Linux ready)
>>> The POTUS does not have direct power to do these kinds of things

He hasn't had the power to do a lot of things but that hasn't stopped him from shredding the constitution and using executive orders to override his own legislation that passed into law did it?

People want to say he doesn't have these powers, but even a cursory look at how he's been running his office is in direct conflict to the statement.
Yes, so perhaps as a result, China will be more favorable to MSFT and FB.
Ask HN: How do you manage vendor selection process?
Perhaps most of the startups here don't do this enterprise-ish due diligence process of selecting a 3rd party vendor (or it boils down to a SO / HN question (like this one ironically) or simply looking for the most starred GitHub project)

But in Enterprise scenarios, choosing a backup solution, a BI solution, any 3rd party solution (open source + support or fully commercial) needs some due diligence selection process (getting RFPs, asking questions, installing demos, following up with vendors on all types of criteria when there is a time crunch to find the right vendor in a limited time)

Well, this is part of my day job, and I found out that excel spreadsheets seems to be the only standard way of doing it.

It has several issues, which are pretty obvious if you ever tried to use Excel as a collaborative database with many people (we can't use Google Docs for some reason) e.g. if you filter it and save on the shared drive, everyone sees your filter. also you can't share it directly with vendors as you don't want them to know which other vendors are competing and you don't want them to see their answers either. (and your private comments)

My question is this - is there any software out there that helps you choose software? e.g. something that comes out of the box with ready made criteria checklist, and lets you expose a URL for vendors to answer questions, track status of questions, put %VENDOR_NAME% placeholders so the question looks like it's directed to them, etc. Also you can prioritize features / questions and rank the response etc.

Also it will let you team member rank vendors based on functional and technical criteria and give the CTO / CIO a dashboard with a final decision.

Sounds like something any CIO / CTO / technical purchasing department will be happy to have.

Seems like an open niche, is there any SAAS product (or self hosted) out there to do this? Or should I just take any ticket / helpdesk system and manage questions as tickets?
Pope Francis's Address to Congress: Read His Full Speech