skysight-inc/HackerNews huggingface dataset:
Some people are questioning the reason behind this offer. Read between the lines here, folks. Musk has borrowed heavily to invest in SolarCity and Tesla, and with the ongoing rout in SolarCity shares he is facing a margin call:

http://www.nytimes.com/2016/06/22/business/dealbook/tesla-so...
"But the transaction highlights the unusual moves that Mr. Musk continues to make to support the various arms of his empire, where he is the largest shareholder of each company.

He has taken out loans to buy up shares in Tesla and SolarCity, some backed by his personal stock holdings in both companies — a risky move that leaves him exposed to margin calls if their stock prices slide too far."

And if there's a margin call, Musk has to sell a lot of his shares to cover, which imposes considerable risk on the stock price of his companies. From Tesla regulatory filings:

"Tesla has warned investors in U.S. regulatory filings what could happen if Musk had to sell the shares. "The forced sale of these shares pursuant to a margin call could cause our stock price to decline and negatively impact our business.""

This is just CYA for Musk, dressed up with happy talk about vertical integration and increasing synergy and such.

Edit: I completely forgot about the massive debt that SolarCity owes to SpaceX- all the more reason to prevent SolarCity from collapsing: http://electrek.co/2016/03/22/elon-musk-spacex-solar-bonds-s...

"Last year, SpaceX already purchased solar bonds from SolarCity on two separate occasions: another $90 million followed by $75 million. SpaceX’s involvement in SolarCity’s Solar Bond Program is set to total around $255 million"
Ok and I partially agree, but I'm not arguing that point. I'm trying to figure out why someone is taking a commonly used term for someone with a high achievement level and turn it into crud. Why couldn't they have said "attention seeker" or "asshole"? Why does "rock star" need to be redefined as an insult?

Whatever I think about attention seekers[1], I am much more offended by this constant need we seem to have to tear down people who were heroes and with them the words we use to describe our heroes. This churn is bad for us. [edit: obviously anyone who actual did what was said needs to be more than torn down, but that doesn't mean the words need to be burnt]

1) and oh, boy howdy to I have some strong opinions on them including a rant that involves being lied to and almost getting killed by cattle.
What if the Netflix side on AWS was hacked say like their security credentials was leaked?
> And because it's plant-based, this "meat" has no cholesterol.

This statement is loaded with judgment. In response, I'd love if the author could provide some good data that shows a link between dietary cholesterol and blood serum cholesterol, let alone between dietary cholesterol and mortality.
It's an easier task for a smaller company to pull off, and I'll bet Netflix is getting a better deal than most of us could negotiate.
Hyperloop One team dreams of connecting Europe and China
What's funny about those is I always chose the coke, and the employees would always be awkward about it.

I think they're flawed in the sense that they were put on by the company itself.
Hyperloop One plans to project Russians across Moscow
>All else being equal, not many people would prefer to destroy the world. Even faceless
corporations, meddling governments, reckless scientists, and other agents of doom require
a world in which to achieve their goals of profit, order, tenure, or other villainies.
If our extinction proceeds slowly enough to allow a moment of horrified realization, the
doers of the deed will likely be quite taken aback on realizing that they have actually
destroyed the world. Therefore I suggest that if the Earth is destroyed, it will probably
be by mistake.

https://intelligence.org/files/CognitiveBiases.pdf
Not at all. In a ponzi scheme the later investors pay for the profits of the earlier investors. In this case Tesla is taking a loss on customers but turning a big profit in the long run regardless of whether later customers sign on.
‘The Witness’ Creator Jonathan Blow on Science, Language and Reality
I believe the most popular label for that is "media whore"
In a variety of engineering fields, including but not limited to software, we have wonderful tools to track down and eliminate 'bugs'. While high standards are often not upheld, the concepts are largely sound.

In particular, I'm talking about verification and validation testing. I'm curious why generally these approaches are not being leveraged to ensure quality of output here.

I suspect this is because of the persistent belief that AI will annihilate humanity with one mishap, but I'm suggesting that we approach this much more like traditional engineering problems, such as building a bridge or flying a plane, whereby rigorous standards of are continually applied to ensure the system behaves as designed.

The resulting system will look much more like continuous integration with robust regression testing and high line coverage than it will be the sexy research ideas presented here, but I can't help but think it will be more robust. These systems are too complicated to treat them as anything but a black box, at least from a quality assurance standpoint.
Two interesting bits of context:

* Being usable in a straightforward way as a MAC --- something SHA-2 isn't, like MD5 and SHA-1 --- was one of the design criteria for the SHA-3 contest.

* This is also part of a heartening trend in crypto research towards "misuse-resistant" cryptography. The "misusers" in MR crypto are... wait for it... application developers. :)

A good example of a crypto primitive designed specifically for misuse resistance is Rogaway's SIV mode, which is making a comeback in GCM-SIV. The most popular example of misuse-resistant crypto is of course the Nacl/Sodium library.
And it won a Lion at Cannes. Shows how worthwhile all these advertising industry awards are.
doesn't look very JSONy without any curly braces.
Amazon could, if they wanted to, obtain a lot more useful data from the data Netflix hosts in AWS than Samsung could from just making chips for Apple. So I'm not sure if it's a good comparison.
Damn, those API endpoints must take a beating. Sending out a request on every single character.
Microsoft also sells through the Xbox platform, which is in direct competition for the TV space.
There seems to be a weird mental block for a lot of people. I've seen non-vegetarians be genuinely surprised to be informed that peanut butter and jelly sandwiches are vegan.
"Welcome to Pathos II, your expressway to the stars. What started as a geothermal mining operation in the 60's has now become home to the Omega Space Gun."
Sure, but all the variables involve cause each other. There is no "causal content" there, I mean there is no concern for that at all. I am sure there is better discussion on this point, but for example:
https://cseweb.ucsd.edu/~goguen/courses/275f00/s3.html
"from [ever] getting priced out of their particular
community."

FTFY. Rent control is a bogus solution. Rents rise when demand exceeds supply. It shouldn't be that hard to get a reasonable realtime measurement of demand and make sure that you're publishing the data showing that change in demand while simultaneously making sure that you're approving new housing projects at an equivalent rate. Doing so would have the same impact of rent control via market dynamics.
Great, now you can't change the password without getting surgery.
> No more black people, and no more gunfire.

I have no idea why black people or other minorities might feel like they are unwelcome around the hackers of Hacker News when they post comments like that.

Oh well, pardon our meritocracy!
That doesn't work either! There are rock star personalities in security who don't seek out media attention, but nonetheless cultivate fandoms and headline conferences.

A lot of people are also uncomfortable the the gendering implied in the word "whore". It's not worth litigating here (please let's not), but it's worth knowing about.
> But the geometric space explosion of cross-products makes you want to create new abstractions to cover more ground, and you start to lose what tables gave you to begin with.

What kind of abstractions are you thinking of? ORM?

There is an interesting comparison between tables and s-expression on c2.com that might interest you:

"The average for TOP is higher than es-exp's in my opinion, so they are the better general-purpose tool, especially if complexity of a project grows over time. I rarely see project complexity shrink over time, thus it seems more logical to emphasize the higher end when making a judgment rather than the lower end. If you see dark clouds on the horizon, you should pick the bigger umbrella even though the current rain may be light. -- top "

http://c2.com/cgi/wiki?AreTablesGeneralPurposeStructures
How an Archive of the Internet Could Change History
#Tumor Dikaki Membesar Pada Anak Perempuan Kecil Ini – Tolonglah Dengan Doa
Not sure if you're merely trolling, but: I wonder if you live in the LA area? Because not many thoughtful people here talk like that any more -- not since Pete Wilson's time. Arnold Schwarzenegger flirted with it around 2005, but quickly back-pedaled.

I think the decline of this politics may have come from seeing where immigrant-bashing goes (typically, nowhere helpful). Or perhaps just demographics and the continuing integration of Latin American immigrants into the economy here. Just curious.
> they exist _solely_ to ensure that party leaders are properly seated at the convention

Who said that? I've never heard that before. Of course the superdelegates are intended to have a say in the nominee.
Sure if you're willing to exclude the externalities. What's the societal cost of antibiotic resistant escherichia coli?
I wonder if the old-school technique of #include'ing all .c files in one mega.c file and compiling only that, as done by Doom in the 90s, would still work today.
IMHO, we are better off than that. For comparison, let's look at the record:

Hoover? Was totally oblivious to the The Great Depression. Didn't see the crash coming; didn't know what to do to fix it.

FDR? Was too slow getting us out of The Great Depression. We came out in 90 days flat once people started shooting at us. The damage to the US from The Great Depression was horrible with much of it still with us. He did get us mobilized to win WWII and won it.

Ike? Won WWII in Europe (before he was President). As President, won the war in Korea, pushed back against the Soviets in Berlin, kept the Cold War cold, kept up our military, e.g., nukes, B-52s, ICBMs, SSBNs, and jet airplanes, kept us out of Viet Nam. Did the right things in the Little Rock racism crisis. Ike was slow to keep the economy going. Did respond to Sputnik.

JKF? Did get the economy going again. Started the Apollo program moon shot. Didn't keep us out of Viet Nam. In the end, did the right things in the Cuban Missile Crisis, but looked to the Soviets like a wimp who could be taken advantage of and, thus, partly stimulated that crisis.

LBJ? Went wacko over Viet Nam, killed a lot of people, wasted a lot of money, inflated the US economy.

Nixon? Also wacko over Viet Nam and continued to inflate the US economy. Was a crook. Was driven out of office in disgrace.

Ford? Got out of Viet Nam only after Congress flatly cut off the money.

Carter? Poor leader. Didn't take US energy seriously. Got pushed around by the Iranians. His helicopter effort at Iran flopped.

Reagan? Was a good leader, but had a lot of just silly ideas about what the US should do. Spent a lot of money -- fiscal stimulus -- that did help get the economy going again. Did scare the Soviets over Star Wars and, thus, may have helped the Soviets to give up. Left office mentally handicapped.

Bush 41? Put General Schwarzkopf in charge in Gulf War I who -- in an 8 week air campaign and a 100 hour ground campaign -- totally blew away Saddam's 7 million man army while having fewer US casualties from enemy action than from recreational sports activities. Brilliant. Otherwise neglected the economy.

...

My view is that (1) the US now has some very serious problems, (2) Trump has a lot of determination and a lot of okay to good general approaches for solutions, (3) Trump is good enough as a leader to be able to build consensus for getting things done, (4) he is fully sincere, (5) we are very lucky he is doing what he is, and (6) he has a good shot at being the best president we've had back at least to Hoover where my knowledge of US history is too weak to comment.

Let's DO get out all the important information, but let's NOT be so tough minded that we miss a great opportunity.
Are there leaked documents that contradict this statement? When they're not administering primaries, the DNC spends most of their resources trying to get nominees elected in general elections. Of course they've been working on strategy for Clinton.
Vimana seems to mean any of several ancient flying machines
yes. good point.
The format for the keys is the same as a javascript object. They are unique strings or numbers. It's already in the Ecmascript standard for objects.
Excellent post, I rather agree.

> As long as AI is an open technology there will always be some criminals who just want to see the world burn.

Thankfully we have yet to see terror attacks with nuclear weapons, but the lower barriers of entry for potentially catastrophic AIs undoubtedly is alarming.

I often wonder if analog solutions will not be critical. To continue with your example, a nuke that must be armed with a physical lever would be a rather great hindrance to any AI. Internet communications, etc. will be more tricky, due to the high frequency activity, but the point of having meatspace 'firewalls' on mission critical activities is a nice short term kludge.
This is fortuitous timing for me. Interestingly (to me), I had a stop loss set to sell all my TSLA at 220.50 today if the stock started to drop again. It did today, so my order was executed. Suddenly this happens.
I always get the feeling AI is going to be like nuclear capability. Great reason to create it, but then once its made everyone wants to get rid of it.
Not sure why you are bringing philosophy into this. Science seems to be simply trying to determine cause and effect.
If you really care about security, all data at rest must be encrypted (in addition to the data in transit). We're so used to HTTPS, SSMPT, POPS, IMAPS, etc and we tend to look for it. But the data at rest is actually much easier to capture.
Going after the educational market is an ancient tactic of Apple's. If you get people using your product in schools, then when they get out into the real world and purchase their own $thing, they'll likely choose the one they're familiar with. Educational discounts for tech companies aren't really altruism - they're usually considered a loss-leader.

This happens in other arenas as well - for example, part of the reason why the religious right is so strong in the US at the moment is due to a lot of grass-roots work done in the 80s and 90s on school boards; playing the long game with the next generation. It's a tactic that was openly acknowledged in the 80s, and it's paid off for them.
This article lost me when it pretended that search engines did not exist before Google, and that all we had were portals. Search engines did exist, and they were pretty good. Google was pretty good too, but to pretend it was the first good one is ludicrous.

Also when it felt it had to censor the word "shitshow." It's ok to say "shit" on the Internet. And it's arguable the current ecosystem is way more of a shitshow with all the tracking, underhanded ads, and spammy content. I don't look forward to having a shitshow intermediated by an AI who I can't get around because it decides what to serve me.
“Had the FBI put a reasonable position on the table … five years ago they probably would’ve got that through,” Gidari argues. “They’re their own worst enemy on this stuff.”
Are you eating enough? Faux meats tend to have fewer calories than the meats they are replacing. Boca burgers only have 70 calories each (according to Google... I never eat those). That is hardly anything!
Yeah, check the post times.
How a Microsoft research project could help track Zika’s spread
Seems like hyperparameter optimization to me. These techniques will be useful in general when selecting your model.
I'm sure that's part of it, but I think Apple working on a car and filing to become a power company has something to do with it. I think Apple will be a much more more direct competitor to Tesla than I would have thought a year ago if this actually happens.
That Trump is a racist is a common claim in the news media.

But I can't find the primary sources that support this claim. To me, at this point, the claim looks like just attacks on Trump by people who want to attack him for other reasons.

Indeed, from all I can find, Trump is the opposite of racist.

I'm ready, willing, able, and eager to consider some primary sources that show I'm significantly wrong.

For such a claim, as for any serious claim in this election, I just want some solid evidence.
For those interested in parsing with Prolog, check out Definite Clause Grammars and The Craft of Prolog.

http://www.learnprolognow.org/lpnpage.php?pagetype=html&page...

https://www.amazon.com/Craft-Prolog-Logic-Programming/dp/026...
This is hilarious. In my first year of college I almost took a job at a car dealership. I did the group interview and "sold" them a stapler. They were very impressed and offered me a job. One of them told me it wasn't compatible with college given the time commitment and that I should quit college and take that job, pointing to his "success" of owning five cars.

I went to college instead.
AWS is a gigantic cash cow for Amazon now. If they were caught with their hands in a competitor's cookie jar the fallout would cost them in the billions. They probably wouldn't risk it, but this is just me hypothesizing.
Stunning cyberpunky short film shows off Unity engine
I don't think the differentiation in that space is in technical implementation, but rather in content quality (produced or "acquired")
But is it trustworthy?
In case you're wondering, these are new NIST standards for things you can do with SHA-3 beyond simply using it as a hash.

KMAC is SHA-3's alternative to HMAC. You can use HMAC with SHA-3, but it's wasteful, since part of the point of SHA-3 is to make the HMAC construction (which applies the hash function twice to achieve separation between the key and the data being authenticated) unnecessary.

TupleHash is a construction that reliably hashes an array of byte strings, some entries of which might be the empty string.

FPH is a construction that exploits parallelism to more quickly hash huge strings.
What aspects of HIPAA does Aurora cause problems for which wouldn't be a problem for other storage engines? The Aurora engine RDS product supports all of the normal MySQL access controls, SSL in transit and at-rest encryption for the data, snapshots and backups.
Thanks for the pointer. It appears that proof assistants [0], like Aqda as you mentioned and one of its influences Coq [1], have the properties I were describing and indeed are examples of total functional programming [2].

[0] https://en.wikipedia.org/wiki/Proof_assistant

[1] https://en.wikipedia.org/wiki/Coq

[2] https://en.wikipedia.org/wiki/Total_functional_programming
It probably won't require maniacs out to destroy humanity, just a typically careless black market.
DRBD produces two mirror copies of data. When the primary failed, the standby has whatever data the primary has just before the crash. When the standby starts up, the RDBMS goes through the normal recovery and bootup. It's same as the primary crashed and being started up again.

MySQL's master/master has a number of complication and problems: 1. data loss due to async nature of replication, 2. update conflict on same data on multiple masters, 3. two masters mean two IP so all the clients need to know how to fail over to different IP, 4. complication in adding or removing master.

With DRBD, the disks are mirrored so that's no chance of data loss once a transaction is committed. There's only one master so no complicate conflict resolution. Linux HA's virtual IP means the standby will take over the primary IP so the clients don't need to know there's a server failover. Adding or removing standby is easy. DRBD will sync the disks automatically, no downtime on the primary.
I'm skeptical. There are skyscrapers in NYC's, Londons, Singapores and Hong Kong's of this world filled with people who are smart and have enormous computer resources and funds and are paid handsomely to work on solving this problem with all manners of ML and AI at their disposal, the "crowd" has no advantage over them. The "closed system" is much larger than the "crowd" in this case.
> so I don't let it stop me from reading anything preceded by a trigger warning

I often do. It varies, this article is mostly fine. Some good points in general about organizations.

When you get to codes of conduct and changing the PRs to remove master/slave terminology you pretty much lose me. I guess a CoC is useful as it puts things in writing, but it still feels like PC overkill. If you aren't able to treat people with respect/professionalism then leave. Does it really need to be called out that you need to do that regardless of gender, race, sexual orientation, gender identity, etc...

To be quite frank, some of the things brought up just seem like they really aren't a big deal. Someone is harassing people then yes, absolutely go after them. Gender neutrality in your new press release, yeah sure that is sensible. Complaining because some database system uses master/slave terminology... does it really matter? Of course that goes both ways, something trivial can probably just be changed. Even if the only real reason is to get someone to quit complaining.
I wonder if Asia might be a good target market. Beef (particularly imported beef) costs a lot more in Asia.
I think you're mistaken here. As a reddit user you might think that, but there's actually a fully functional imgur community that votes on images independently from reddit and comments on them on imgur independent from reddit.

Just scroll down on this page: http://imgur.com/gallery/tWWxi4D

Voting options, and lots and lots of comments.
What makes a media whore is the desire for attention at any cost. It's toxic behavior, thus the pejorative term for it. I wasn't suggesting the article use it. The label doesn't fit any of the other undesirable behaviors they enumerated.
Isn't that the magic of OSS? Linux::Windows, matplotlib::mathematica, android::iPhone, etc. In each case, the free variety quickly catches up to the proprietary version, and in doing so, cuts into the profitability of the parent. Furthermore, this often breaks down monopolies, as they must innovate or die.
There are some good arguments against this format but your points were invalid. Key data in many different types of data is much larger than the actual values. E.g ("average_cpu_cylces_per_min": 60)
The missing Alfred 3 Workflow for searching Google, with some handy tips
If they're playing the long game, then the more people that are interested in developing, the lower their wage bill will be down the track. I'm not sure if that's what the GP is talking about, but it's one way this could help.
one of the most effective and scariest attack vectors for AI would be convincing or coercing humans to do its bidding (e.g. "pull the lever or i'll switch off your father's life support")
Related:

https://en.wikipedia.org/wiki/Cincinnati_Subway
Sorry about that, with HN's 80-character restriction and QZ's affection for paragraph-long titles it had to be contracted somehow without being rewritten.