skysight-inc/HackerNews huggingface dataset:
Well, it turns out that nations were better than what preceded them at keeping their citizens safe. I even suspect (but I am not a historian) that they were better at cutting down on wars (though the wars were more serious when they happened).

So if you want nations not to exist, the burden is on you to come up with something better. "No nations" can look like what used to be Somalia, or what used to be Afghanistan.
I dislike the whole opening about "superluminal neutrinos". That announcement was asking for others to identify the issue with the testing rig, as they figured there was one but could not find it themselves. As far as I know, the only ones to claim the existence of superluminal neutrinos were the media.

I agree that there is an unacceptable stigma against certain fields of research (look at how long it is taking to test the EM drive, which has been reproduced how many times already?), but I don't see a problem in not believing someone already convicted of fraud when they claim to have discovered something but won't let you see how it works.

Until findings are reproduced, I give this the same level of credibility I give this guy:

https://www.youtube.com/watch?v=fEJtsC5sVZA
This is neat, but I feel a bit conflicted about it. Authenticate to phone, phone authenticates to website.

Certainly less laborious than entering a password, then authenticating to your phone so you can copy a token code. But I feel like my login would then become simultaneously more and less secure.

More secure from remote attackers who would have to spend a lot of effort to get at my phone, but like waaaayyyy more vulnerable to local attackers who could super easily get at my phone. Breaking the screenlock on my phone is surely easier than breaking a complex password.

I'm definitely an edge case in that I have a very high level of security for my personal stuff, but I've always modelled my security strategy on the fact that anyone can easily wack me on head and jack all my shit. You could put password auth on your phone, but from a UX perspective this is awful. I'd rather just have no phone.

So, conflicted. This feature sounds great, but feels less good than "normal" MFA. Maybe I'm being crazy and it's all just fine. I accept than my credit card number will somehow become compromised in the future, maybe we all just have to accept a little identity theft in our lives too.
> I know it might benefit him for me to discipline him into playing violin at 3

This is just from my own experience, but my parents had me play for a number of years. I enjoyed it, but being a costly thing to commit to with lessons and private orchestras, it can get pricey. Money wasn't the issue though, but it led me into feeling pressured to constantly practice well beyond what I considered enjoyable (~3 hours a day) and I got burned out on it.

I went through the Suzuki Method[1], which puts a huge emphasis on memorization and that was part of my gripe with it. It just kind of sucked the fun and enjoyment out of playing when the biggest focus as a child is memorizing the same song to the point of hating it. The Suzuki Method has a number of success stories so I don't think it's bad. However, it's likely to be successful over time with a certain type of student. Others end up getting burnt out such as myself.

My friend that was my age that I played violin together with sometimes started a few years before me and burned out a year or so before I did. Similar situation with her time invested and pressure to play.

I still play now as an adult for fun and don't regret playing as a kid, but I would only suggest being cautious about how you approach it if you want it to be more than a recreational hobby.

[1] https://en.wikipedia.org/wiki/Suzuki_method
It is incredibly wobbly considering it is not being used as an alternative to life imprisonment, but as an addition to sentence already being served or already finished.
Have you just started working or something?

As a grad of a Go8 uni and someone who has worked a couple of decades, I wouldn't worry about this signal stuff. If you want to improve yourself you can do study but it doesn't mean as much to employment as you think.

Maybe in a government job you have a lot of BS from higher up idiots but not in private industry. A year of relevant full time work is like double the value of a year of study when we are evaluating job applicants IMO.
There are good solutions out there. I'm currently working for a startup that's doing iPad based POS.

Without trying to toot our horn, it's a lot better than any of the legacy systems out there.

So no, there ins't really a reason why there isn't a solution except that nobody has made one yet (except for us and a couple of other tablet based POS systems).
Their reasoning why there cannot be strictly conforming implementations of the language is also like that:

The C standard does not make any guarantees about the size of the call stack. But any program program needs to rely on this implementation-defined property (cf a pathological implementation were the initial call to main() already overflows) and thus cannot be strictly conforming.
But testing ensures no such thing, considering that comprehensive testing across the entire space of possible inputs for a unit is infeasible in most cases. Part of the usefulness of static typing is to prevent us from having to negotiate that state space explosion head on by a priori ruling out vast swaths of potential inputs.

I think static typing and testing are much more complementary than you're giving them credit for.
Remember, software has no (or very little) marginal cost. Software businesses only become insanely profitable at scale. The kind of scale Microsoft, Google and others have. A single percentage point improvement can pay your salary.

In Europe we lack software companies of such scale. Why? Not too long ago going global from the middle of nowhere was not an option. Companies would saturate their local market and fail to grow across borders. I'd venture to say this is due to the (1) lack of international sales experience, (2) different laws / work practices elsewhere, and (3) language barriers.

I know 3 companies doing accounting software in Estonia with a population of 1.4 million. These companies know the business better then anybody else and the market is too small for any of the big players to consider. Similar patterns can be seen across industries.
A reasonable guess, the only counter factual is that a number of people who are not fools seem to have convinced themselves that there is something there but they don't know what.

And as the article points out there are a number of labs around the world that have independently seen results that were anomalous with respect to the current understanding of how things should work chemically. So if nothing else there is a really good parlor trick in there somewhere, but even tricks need an explanation.
I think the implication might be that one doesn't ever write their own encryption. Well, duh, but there are plenty of libraries out there that have been vetted and are easy to pull into your project. I mean, plenty of us do that every day, I don't see why a criminal organization can't do the same and have a relatively secure app. What, you think they have some caricature from a mobster movie whip something up in VBScript using ROT-13?
"There are credible reports that a 1MW version of his device, producing many times the energy that it consumes, has been on trial in an industrial plant in North Carolina for months, with good results so far." - This. This is why scientists are skeptical. "Is there a plant" isn't a hard scientific question. We don't need or care about "credible reports". It's there or it isn't. And if you refuse to admit one way or another, you're almost certainly lying about the whole damn thing.
> ...they also have a horrible track record for customer service. The internet is littered with tales of horrible experiences from Gamestop

TBF, the same could be said for Steam.
What is the condition of the reusable Falcon 9 SpaceX just landed?
What has Santa done with all those letters we’ve sent for 200 years?
Love is a bit more 'low level' than Corona. In LÖVE you have direct control over what gets drawn each frame, wheras in Corona you are more working with a scene graph (nested display objects).
I don't get the issue with serial numbers. For the browser, it's a completely opaque random number - it doesn't matter what it is and how it changes.

Is the issue here that they're talking about CA collisions and need the "authority key identifier" extension to match? This shouldn't matter when colliding with service certificates.
Spain: $100M/90M € to Develop Natural Language Processing Technologies
So that less coal product is emitted into the atmosphere? I thought that was the premise.
Completely agree with this point. It's completely ridiculous to retroactively apply laws.
Is Word, Excel and Outlook truly free? I thought you had to pay for a subscription.

Also, Pages is technically free (even though it costs 10 USD) because it comes for free with new iPads.
I wonder if withholding pricing information is simply a negotiation tactic that exploits the sunk cost fallacy. If not, funnel conversion rates should be invariant of the stage at which pricing is disclosed, right?
Revealed: How DOJ Gagged Google Over Surveillance of WikiLeaks Volunteer
If this is such a credible or important result, why are none of the articles about it ever from NASA or quoting NASA?
Type checking is a conservative analysis, and the type correctness of a program is undecidable. But you can still rely on the knowledge generated by your type checker without having to run your program. Among other things, this allows you to optimize your program automatically.
I'm a huge fan of Gitlab and use it at my workplace, but haven't upgraded to even 8.0 to try the continuous integration (CI) feature. Wikipedia makes it look pretty comparable on features to more mature CI system like Jenkins but can anybody here say how the current CI in Gitlab 8.x really compares?
Traditional co-op housing arrangements were developed to save money by pooling resources. Now, it looks like the SV twist on the idea is heading in the opposite direction.

I guess that's the only way you can get venture funding for a project like this. The corollary is that if a great, cost-saving, truly cooperative tech house actually gets founded, you won't hear about it on HN.
Apparently there's a Mary Poppins' joke that went over my head.
Probably, but Steam is in a growing business, not a dying one.

The argument is more that not only is Gamestop in a diminishing market, people won't even miss it because they have unpleasant memories of it. If Gamestop was this cool amazing video game community hub thing that I loved, I might go there, and end up buying games while I'm there anyways.
Big science is made out of meat like everything else

I take it you're referring to: http://www.terrybisson.com/page6/page6.html
Löve uses luajit by default, which is Lua 5.1 with some 5.2 sprinkled on top.
XenServer Dundee Beta.2 Available
We discussed the Turing completeness of C a while ago on HN ( https://news.ycombinator.com/item?id=4795542 ). Also the following was produced around that time:

https://tdotc.wordpress.com/2012/11/20/on-the-turing-complet...
The counties included on the board appears heavily editorialized; the Association of Bay Area Governments (ABAG) includes Sonoma, Napa, and Solano counties which are not shown (http://abag.ca.gov/overview/members.html).
Ask HN: What's your plan for 2016 or What tech you are looking forward
A coworker and I were talking about what we wanted to do, and I thought that was a good topic to discuss.

I'm looking for a job in a bigger city, and I'm really thinking about learn Go or Elixr.
Nixar Pro – New Design of Linux Command Line and High Performance
Blinkered true believers and frauds differ only in one aspect: intent. I've met some 'true believers' and the common element was that they believed enough to risk other people's funds but not enough to risk their own. That makes it a very fine line between a true believer and a fraud, thin enough for me to bin them equally. It doesn't matter to me because I can't look into someone's head to figure out which of the two it is, no matter what they say or do, true believers may very well be frauds and people who you think are frauds may end up being true believers.

In the end, the only thing that matters is results.
I currently work for a company that does iPad based SASS POS, and I'd like to think our app is a lot better than the old POS systems out there.

One of the problems you always have to deal with though, is that no matter how good the app is, the person programming in the menu can still be completely useless and make it annoying to use, so the challenge is to make programming in the menu as easy as possible.

Being iPad based means that we can actually utilise touch-screen actions, e.g. you can swipe items into a tab, rather than having to tap the item, and then tap again and tap some more, like you're describing.
Now, if only we could get rid of the DRM infesting the games industry like they did with music. It's seriously ridiculous that you can't get a refund for or resell downloaded games. The plastic disk doesn't fundamentally change anything, and they know it, otherwise they'd charge less for digital versions.
I should have written "You can, but..." in front of my comment above because you weren't disagreeing with me. In my original comment I italicized "must be variadic" which was my original emphasis.

But if you eliminate variadicity and macros from a dynamically-typed, strictly evaluated language, you might as well add optional static typing so you can extend that implicit currying into monads, etc.
... and precisely the sort of issue that only the Chinese government face. Hand-waving external commentators are quick to identify differences and ascribe guilt and blame, but often decisions must be made with consequences no honest and empathetic person would wish to set in motion. Look at the hydropower projects versus US military dominance of global oil... China (1.4 billion) is about 32% of Asia's (4.3b) population and 19% of the world's (7.3b). Imagine: one in five humans depends on your decision.

Reply to sean as out of posties: You want transparency in decision making? The west pretends it has it, but in reality even on matters of fiscal policy it doesn't. For example, look at central bank interest rate setting. It's done by secret departments. As another example, I asked Australia's body why it didn't embrace the IBAN like Europe, Israel and a growing list of other countries. I got no reply. Pot, kettle, black.
Ah yes.. If I'd invented a source of perpetual energy, this is exactly how I'd commercialize it too: http://orbo.com/products/ophone
Getting Scrooged: The Poor Pay More During Christmas
India is majority vegetarian, has roads so bad no sane person would enjoy driving a car, and is a continental peninsula surrounded by ocean.
I don't particularly appreciate the condescension behind

> I defy you to show me any European restaurant that treats it's customers like children by showing them brightly coloured pictures of their food on the menu.
Cute. But piracy does in fact hurt the company or person that created the content. It devalues it over time, almost like currency counterfeiting. It's worse than theft because it's pretty easy to account for simple theft, but nearly impossible when your actual product becomes nearly worthless.
The Fermi Paradox Explained: Here's Why Alien Life Hasn't Found Us Yet
The majority of Western media are simply reluctant to give credit for any progress China has made. When they did, they never failed to emphasize that the air pollution, the products of low quality, the Communist government, the violation of human rights, etc.

It is true that all of these problems exist. They can't be solved in a short time. Many Chinese think that it might take a generation to solve some, two or more generations to solve the others. They also complained a lot, but know it is not an easy job. If anybody cares to look at the history of industrialization and its affects on the society and their people's life, they know Chinese are paying the same price, maybe at less scales. It is unfortunate both for the world and for Chinese themselves. The question is, have we human beings find a feasible alternative approach to achieve the same goal while bypass all the negative stages?

As for air pollution, it is a horror. It is undeniable. Just look at the air condition today in Beijing and New Dehli.
http://aqicn.org/city/beijing/
http://aqicn.org/city/india/new-delhi/us-embassy/

At least the government establishes many monitoring stations and suggests people stay inside. China and India are similar in many aspects. People in both countries, especially the young generations, are working hard to improve their motherlands. But, how often do we hear the media talk about air pollution in India?
A 45-year Holiday Tradition – CBC's Al Maitland Reads Forsyth's “The Shepherd”
I'm not a crypto master, but as I understand it, while it's possible to find md5 collision, it's many times more difficult in hmac, because it's:

hash((secret+pad1) | hash((secret+pad2) | message))

so you would have to find a collision of one key that matches collision of another key, so you're back to relying on basic birthday attack rather than any specific hash weakness.

If you're looking for an actual proof, it's at http://cseweb.ucsd.edu/~mihir/papers/hmac-new.html
Not really - I'd say he's showing concern with the execution rather than the idea of enforcement. The other thing I got is he hates GPLv3 (but not v2), and also is not a fan of the BSD license:

> My only real concern about a BSD license is it lets for-profit corporations hire your developers away to work on a proprietary fork (as I ranted about here and here). This is why BSD the operating system has never amounted to anything: Sun looted them in 1982, BSDi looted them in 1989, and Apple looted them a third time around 1997 and never stopped stopped. (None of which explain why Free, Open, and Net are separate projects.)

> But honestly, I think the FSF has now made the GPL more of a liability than an asset. I've spoken on panels defending the GPL but GPLv3 was a career limiting move. LLVM and PCC and Android are all organizations that were fine with GPLv2, until it got painted with the same brush as GPLv3 and the contamination spread to cloud the old thing
It isn't that simple, right now it is a basic prisoner's dilemma: if factory A & B follow the law, they both have higher costs but these can be passed on; if A follows the law and B does not, then A goes out of business as their costs are higher than B; if A & B don't follow the law, then the environmental costs are passed on. Right now, the last case wins because the laws aren't enforced evenly.

China is not a dictatorship, but it is definitely autocratic even if the autocracy is distributed. Local party leaders are just as autocratic as central party leaders, and generally are more corrupt (getting more for their family, for example).
This article is funny. It tries to do an end-run around any criticism of the subject matter by constructing an elaborate piece of work to establish that if you don't agree with the basic premise of low energy nuclear reactions there must be something pathologically wrong with you.

And you are not only suffering from a defect, no you are doubly wrong, because having LENR would be such a great thing for the world.

For me it is simple. If someone shows up with a working LENR device (or even any device, who cares how it works as long as it is safe) that really outputs considerable power and they are willing to sell me that power at a rate that is lower than what my electricity company charges then I'll be more than happy to sign up. Until then they, their investors and promoters should do what they can not to raise expectations beyond those that they can readily prove, no matter what the benefit to mankind and no matter how many scientists got unfairly (if so) railroaded for fudging their numbers and defrauding investors.

Cold fusion, zero point energy, unicorns.
It's very common for people who are totally not fools to get sucked into free energy scams.

This is one of the better ones being demonstrated at the technical univeristy of Delft I believe:
https://www.youtube.com/watch?v=mHW6b1aFPfU
https://www.youtube.com/watch?v=uKCEceWs-Gc
> "proof" in the day-to-day mathematical sense of a convincing argument

IIRC, that is the most that a so-called "proof" can ever be. I remember reading Carl Friedrich von Weizsäcker's "Aufbau der Physik"[1] in my younger years, and being somewhat flabbergasted when he starts by justifying classical logic, which he needs to do because later he talks about quantum logic, which is different.

Up to that point, it had never occurred to me to justify logic empirically, but now I can't imagine naively accepting it. That means that empirical evidence always trumps. Everything. If we find logical rules that we assume violated in the real world, we have to deal with it, not deny reality. Just like we had to accept that other aspects of the world we held as self-evident were not just theoretically contingent, but actually turned out not to be true.

> not in the formal sense for writing down an expression per line

> such that each line can be logically deduced from some preceding

> lines through the the use of axioms.

Hmm...that's how we always did (simple) mathematical proofs: line-by-line, with axioms or theorems justifying the transformation from line to line. Last time I checked, so-called "machine-proofs" are definitely seen as different by mathematicians, yes, but they are less well-respected, not more so. Has this changed?

[1] http://www.amazon.de/Aufbau-Physik-Carl-Friedrich-Weizsäcker...
A web search suggests that on iOS, the apps are free for viewing. On screens smaller than 12" (iPad Pro), you can edit docs after registering for a free Office365 account. For iPad Pro, a paid subscription is needed for editing. Market segmentation by screen size!
Background:
https://en.wikipedia.org/wiki/The_Shepherd

I can't find a schedule for this on CBC Radio's AIH website, but I found this link in a search. Typically, it was aired on As It Happens on the last weekday before Christmas Eve, I think.

It was first read on-air in 1979 and has been repeated annually. It was written as a ghost story, of a kind, for his wife.
We all get that the Chinese government has to make tough decisions. All we are asking for is transparency and accountability, which would lead to better (less corrupt) decisions in the long term.
Ekoparty Security Conference Videos
As someone who's worked in a Starbucks, they definitely get the points about not forcing jargon and remembering repeat customers; both were mentioned directly in training.

I like to spin jargon as a teaching opportunity: "Did you know that we call the large cup a 'venti' because venti is italian for 20, and the cup holds 20 ounces of coffee?" Now the customer feels like they've learned something about how we make coffee, will use our fancy jargon, and might even tell all their friends that we taught them a snippet of Italian.
I'd also like to point out that it's completely legal to own and to fly with firearms in the US. Finding a gun doesn't mean they found a terrorist. It simply means they likely found someone who forgot to check it. It makes this even that much sadder, but more of a profound, Kakfa-esque tragedy sad instead of simply incompetent sad.

Thank you, TSA, for protecting us from making small and minor mistakes!
Learn a new thing every day. Maybe the term 'bag' should be retired for this purpose.

I think you've just figured out how to get Julian Assange out of the embassy. Place him in the diplomatic bag. Now we have to find a way to classify him as an 'article for official use'.