skysight-inc/HackerNews huggingface dataset:
You can even train the reinforcement learning on the dream sequences and improve it's performance.

I'm not sure how that would work. Surely you'd be overfitting on your training set by definition?
Whose aid is most effective?
Golang Authentication Using JSON Web Tokens
It's always nice to feel appreciated, but the validation-seeking pile-on in that Twitter thread is a little awkward.

Reward yourself with a cookie then go read your Github Issues tab, guys...
Numbers that fool the Fermat test are called Carmichael numbers, and little is known about them other than that they are extremely rare. There are 255 Carmichael numbers below 100,000,000. The smallest few are 561, 1105, 1729, 2465, 2821, and 6601. In testing primality of very large numbers chosen at random, the chance of stumbling upon a value that fools the Fermat test is less than the chance that cosmic radiation will cause the computer to make an error in carrying out a "correct" algorithm. Considering an algorithm to be inadequate for the first reason but not for the second illustrates the difference between mathematics and engineering.

https://mitpress.mit.edu/sicp/chapter1/footnode.html
> it is a community that gathers and discusses news that is relevant to people who are starting or funding new companies, mostly in the information technology sector.

Been here since 2007 off and on. Usually don't use same user because I quit HN periodically due to philosophical differences, and I don't care about HN user karma or the ability to downvote.

It's been my experience that people here have many interests, and debates of we should be exploring certain avenues and why we obsess over things are just as valid as any other.
So you're saying that we overestimate poverty because the poor engage in extensive tax evasion/disability/welfare/unemployment fraud? And that if we properly tracked work activities by the poor, that poverty would be a much smaller problem than it really is?

Good to know. How large do you think this problem is?

I define rich as those who have sufficient wealth in financial instruments and assets such as treasury bonds and equities to pay for their lifestyle without the need to collect 1099 or w2 income.

Numbers please. How many such people are there?

What percentage of the 15.6 million officially non-working poor do you believe are actually committing tax/disability/welfare/unemployment fraud?

Now lets compare the numbers.

They are the only ones who truly do not work, the only ones who can truly sit back and relax. They are the real loafers, the true moochers, and the laziest of all classes of society...

So a person who produces X resources in year 1 and 0 resources in year 2, but consumes X/2 in both year 1 and 2 is a moocher? Um, ok. That's an interesting definition, to say the least.
The code at that location in the Ethereum blockchain implements a Decentralized Autonomous Organization that takes Ether from participants in exchange for tokens granting them the right to vote on proposals for this specific DAO to fund and the right to receive any benefits from the execution of funded proposals.

This is the primer to the how it is supposed to work: https://blog.slock.it/a-primer-to-the-decentralized-autonomo...

Here is how it was attacked: http://vessenes.com/deconstructing-thedao-attack-a-brief-cod...
The header and footer on that page take up a third of my screen on my phone. And they are persistent.

Thank God for Firefox reading mode. Some designers are just not doing a good job.
Leadership – like growing a plant
Awesome, so he will create his company in Europe, generate jobs in Europe, generate tax revenue in Europe, generate economic activity in Europe, and create new technology in Europe. USA immigration policies For The Win!!!!!
I think this is a major example of the fact that international law doesn't exist.

https://en.wikipedia.org/wiki/Budapest_Memorandum_on_Securit...

You see:

America and the UK signed a treaty with Ukraine that specified that [1], in trade for Ukraine giving up the nuclear weapons it had "inherited" from the USSR, they would go to war with Russia if Russia violated the territorial integrity of Ukraine (and this explicitly covers Crimea)

As everybody knows, Russia invaded Crimea. The US ... well ... essentially canceled Putin's netflix subscription.

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

Remember this the next time someone says somebody violates human rights. You have no human rights (in the sense that you can sue someone for violating your human rights. Of course in the US, you would almost never need to, except if you get a one way ticket to Guantanamo. And those cases ... failed). That means complaints about human rights are nothing more than a political talking point.

But don't worry, the government that executed 15 people so far this year for calling for elections is guarding your human rights ! [2]

[2] http://havecoffeewillwrite.com/?p=47493

Of course if you said that it's the religion of islam itself that's a human rights violation. Well, at least for sharia, that's certainly true.
Google has had a far bigger impact in medicine so far.

Of course it also means I come to a doctor with 3 self diagnoses and he yells at me and tells me to stop googling.
the overwhelming amount of work you're most likely to do doesn't involve killing people

I'm sure that's not what you meant, but this sounds like damning with faint praise :)
My personal favorite Adler SE post is in code golf: http://codegolf.stackexchange.com/a/78901 - Compute the Adler-32 checksum
Vdbench – I/O workloads
Don't know where you guys come from, but I think you were incredibly lucky. If I remember correctly, the probability of getting one in my country was around 2%. I tried 5 or 6 times already, a couple of times together with my wife (who is from another country) and we haven't been that lucky.
a reddit without ads is a reddit you will not have for very long.
this is a classic example of how monopoly position is monetised. nowdays monopolies are established and maintained by the government. there is a lot of money to be made, being a monopoly, but government cannot show this on its books (joe the plumber may not like that). so they create a commercial proxy entity, that accumulates most of the profits. the part left in the shadow is how moneys make it back to individuals in the government who arranged this deal, but judging by how vigorously government protects the proxy, there is little doubt that this is happening. for starters i would run a cross check between names of verisign subcontractors and names of family and friends of top icaan officials.
National militaries are effectivr against other national militaries. Against heavily armed insurrectionist civilian populations, not so much.
The distribution of salaries in law is bimodal. Lawyers at the school mentioned have never commanded big law levels of compensation. The information is readily available, and it is why I chose not to attend a top 20 law school in 2007.

http://www.nalp.org/salarydistrib
Iometer: I/O subsys. measurement and characterization tool 4 single and clust. sys
This is pretty silly. In any society, we must decide how to distribute the resources generated by that society. So you make the rules, set up enforcement, and plod along, making changes as you go, as far as you dare in the face of the inevitable political machinations of everyone involved.

The more intelligent and clever always benefit, because they know how to use the system to their own purpose. This has been so since the beginning. The less intelligent either end up in a position where their labor can be exploited, or they're left to slow decline or even death, depending on how much society values keeping them alive.

That's any given society, in a nutshell. They may dress it up in value statements, laws, philosophies, religions, and so on, but in the end it comes down to power, and who has enough of it to extract the resources and status he wants.

The difference is that now the "menial" jobs are almost gone, and the higher up jobs are on the chopping block. And so the first to die off will be those without power (as usual). We can come up with all sorts of platitudes about the value of human life, but in the end it always comes down to this. Welcome to the true nature of man.

Of course, nowadays we have middle class folks who can experience the philosophical angst of the less fortunate, and come up with all sorts of rules, decide which words are acceptable or not, and police outward appearances and speech.

You wouldn't think twice in deciding what to call someone who implemented a password policy with a max of 8 characters, or stored the passwords unsalted or even plaintext behind a system that hasn't had a security update in 10 years. But soon you will, because "stupid" is not an acceptable word anymore, nor is any word that compares intelligence or ability. We're all equal, after all, and that person deserves his job and the income it generates by virtue of his being human and equal to every other human. You wouldn't want him to starve now, would you?
I think you are placing far too much emphasis on language, especially as so far there's little evidence that some programming approaches yield less logical errors than others. I often see a similar sentiment expressed by people who are familiar with functional programming but unfamiliar with software verification, and may be unaware that nearly all verified software in the industry is written in imperative languages. I know many FP people like to believe that the local guarantees made by their chosen languages end up making their programs more globally correct; it may well be true that some languages make some errors easier to spot for humans (although we have little evidence to suggest that this is indeed the case of FP). However, as far as formal verification is concerned, there is very little overlap between verified software and FP.

Ensuring correctness -- i.e. conformance to a specification -- is, in general, a task that requires effort -- by man and/or machine -- proportional only to the complexity of the algorithm verified (i.e., the number of states reachable by a TM implementing it) and almost not at all to some linguistic properties. That is not to say that languages cannot prevent local errors that may be catastrophic, but the difference between the best of languages and the worst of languages when it comes to verifying spec-compliance is not that big.

> Using a functional programming language would also mean the code is far more amenable to formal methods and static verification

That is not true. If anything, imperative languages have better formal verification tools than functional ones. And besides, for global program "correctness" properties, the choice of a language more or less amenable to formal reasoning may make a difference that is surprisingly small.
CS Syd – Writing a Book in Haskell
We Need Cruel and Unusual Punishment
Yeah what do I know anyways? I just work there, I'm sure your google search lends you more clarity as to what they're doing than my day-after-day exposure.

Cool.
I do something similar to this, except I just use my shell's alias do to this. e.g., alias gits="git status".

If you're like me and have a weird habit of just typing stuff into the terminal during the day, "gits" (or "git s" if you use OP's stuff) will become one of your most typed commands.
A brief discussion on the differences in syntax would've been nice, so we can see exactly how different they are (my guess is, not that much.)

Microsoft M80 can be found easily enough through a Google search, but not LASM since there seem to be at least 3 other assemblers sharing the same name...

Interesting to note that the executable for M80 is around 20KB, while a statically-linked Windows "Hello world" in C compiled with default settings is already 40KB.
And without it, lots of people around the world would not have the freedom to make a comment like yours.

Oh the irony.
Nordic countries have an ace up their sleeve that the United States does not: ethnic homogeneity.

To acknowledge the elephant in the room, political discussion of government support policies always comes with a racial dog whistle. The subtext is that the government wants to take your money and give it to those people. It sometimes bubbles to the surface, such as with Reagan's welfare queen in a Cadillac comments, but it is almost never mentioned explicitly.

Before the United States can implement serious welfare reform, including U.B.I., we must solve this nation's racial integration problem.
It's almost as though there is some kind of ongoing trend of which this is just a part.
Another relevant story this week:

http://www.scientificamerican.com/article/antarctic-co2-hit-...
Credit Card Data Stolen from Acer Online Shop
Those figures were already adjusted for inflation (it says 2016 dollars)
I completely agree with this. I find the best way to fight procrastination is to put all my willpower into just doing one task, no matter how small, towards the goal. That often puts me into a state of mind of doing many more tasks without needing willpower.
Why do we even need domain names? I mean unless it's a brand, we rarely type in a domain name, it's usually bookmarked or linked.
You meant to write "the spiritual realm to be a superset…", I'm sure.
One community that does use this technique (although the index is in a separate file) is the web archiving community's WARC file format. The Internet Archive Wayback Machine has ~ 13 petabytes of web archive stored that way, and you use it every time you look at a webpage in the Wayback. The file format is what you'd expect: each webpage is gzipped separately, the output is catted together, and the index stores the offset and length of each individual compressed webpage.

https://en.wikipedia.org/wiki/Web_ARChive
If I understood the explanation on that article correctly, what's even more interesting is that this typo apparently hasn't yet been fixed in the repos (assuming I'm looking at the right ones).

There are 2 repos which I looked at:

https://github.com/slockit/DAO

https://github.com/TheDAO/DAO-1.0

I don't know which one is the authoritative one. But the interesting bit is both these repos still have that same typo in the master branch:

https://github.com/TheDAO/DAO-1.0/blob/master/DAO.sol#L666

(the other repo) https://github.com/slockit/DAO/blob/develop/DAO.sol#L685

The slockit account repo has a commit which was made 6 days back, with the commit message "Protect against recursive withdrawRewardFor attack" https://github.com/slockit/DAO/commit/f01f3bd8df5e1e222dde62... but it doesn't fix the typo and there aren't any more commit in there after that one.

Does this mean, the upstream repos containing the typo haven't yet been fixed? Or am I just looking at the wrong repos/branches? Or did this typo get known only a few hours back?
Frankly, you're the one that emphasized the name as if it meant anything; maybe you should have left out that argument and made the case based on your personal experience instead.
That is the stupidest idea ever. If i have a domain name and if somebody rich wants it, it can take over next year. It hijacking.
I agree with everyone else, I don't find Webstorm's js refactoring to be anywhere near Jetbrain's static offerings. And the js auto-completion is about the same as Atom's autocomplete-plus applied to generic text (which is really great, but nothing like static type tooling).
I would go further.

Given the sums of money involved I think it might also be worthwhile to have a formal semantics and a logic for proving safety properties of these blockchain programs (beyond type safety).

Not every application would require that kind of rigour but if the participation and value of a given currency/contract/program is determined largely by trust then it seems natural to want more serious guarantees.
Well, I for one wasn't aware of the new functionality in Go and am grateful the author posted about it.

Because otherwise I wouldn't know what I now know!
Project Bletchley: Microsoft Azure-Blockchain
not to mention that you can always bookmark a bookmark.
The central message of the tutorial - the NoSQL decision tree - is available as a PDF cheat sheet too:
http://www.baqend.com/files/nosqltree.pdf

There also is a paper on the NoSQL classification scheme used in the slides:
http://www.baqend.com/files/nosql-survey.pdf
I am slightly disappointed by Helix. They pushed an alpha version, made a good and extensive blog post on it and everything it's going to bring to the table, and got us all excited.

More than a month later there are obviously some bug reports and pull requests that have been opened. There hasn't been a single answer or acknowledgement from the team behind Helix. Not a single commit either.

I get that this is open source software and that they might suddenly not have any time to put on it, but at least an acknowledgement of the situation somewhere or getting some help from contributors would have been appreciated.
Work Load Central
Reverse hype is hype. Node is a high level language that is quite good. It might not be as fast as go or c, but it doesn't need to be to be useful. Don't blame the langue, blame the programmer.
FedEx Acquires TNT Express
He interned at the DoD when he was a college student. Maybe you are thinking of the NSA? Though the NSA is part of DoD, I don't think it was ever confirmed that Matt worked for the NSA.
Expected and got the negative comments here. He's taking paycut and making a difference in Governance. Not Bill Gates level, but something at least. If nothing, it's better than people making condescending armchair comments here.
There was a comment on the bitbucket a long while ago about "how to build for adium" but i no longer see that. :(
I actually think that working someplace gives you less insight as to what the place does, because there's a strong psychological desire to believe that you're doing something good for the world. (I've had this happen to me a couple of times before. My previous employer didn't even do anything evil, just enabled IT departments to do certain things, but I suddenly realized when they collapsed that everyone's better off if IT departments can't do those things.)
An open letter to the DAO Community – attacker explains
Ask HN: What makes a technical interview crappy?
Maybe the key to a good interview is avoiding the crappy bits?
Why explain his heritage through luck? It's not like there's a repository of souls that's randomly drawn upon everytime someone has a baby. Luck doesn't describe a causal world with a bit of noise.

It's because of the historical, and thus causal nature of the distribution of opportunity that we might have concern over the distribution.

But if we re-rolled the dice, it's not like the asian couple from around the world is suddenly going to have a caucasian baby. You being born where you were was a confluence of factors operating in a causal framework with some noise. A re-roll isn't going to make you a Hilton family baby.

Also, what a person is entitled to is a matter for society to determine. Society creates a construct that it feels is a wholesome lens or boundary, then it creates the structures to enforce it. There is no natural right to anything, including property, life, or even death (some states forbid you to choose your death). Society determines that property is useful, creates a structure to enforce it, and voila, you are now entitled to property.
How much does he make in Google?
Node is not a language
Seems like this option is now invalid since the devs have now shown their unwillingness to let their pet contracts 'get bitten'.
The minimum non reduced rate is 15% and the average is above 20%. It goes all the way to 27% in Hungary for instance. VAT on food in restaurants is non reduced rate on mostbof Europe.
How can you justify mapping 'p' to 'pull' rather than 'push'?

I applaud the effort and think it's unfortunate the value add seems so marginal here. This type of thing boils down to mostly personal preference.
Right, my mistake. I wasn't sure when I was writing the comment. When I made the edit, I forgot to change the "magic of RSA" part
Nevertheless, it is unavoidable that Oculus brought the concept of hardware-exclusivity to the PC gaming arena. It is unwelcome, since diversity and openness are the selling points of the platform. People pay extra for the hardware, and in return get an ecosystem that is fair, and thus rich, from indie all the way up to AAA.

I believe that Valve grasps (and somewhat embodies) this specific culture. Oculus probably is being led by gaming industry executives who don't get that openness always won in the PC gaming market, and that this time is no different.
The interesting thing about the first link is that locked knees are about the worst possible stance for lightening quick ass kicking. That's perhaps why it looks peculiar.

There's no imminent round-house kick their.
Which people exactly?
Non reduced VAT is not allowed to be below 15% and there are only a handful of countries with a non reduced rate of below 20%.
> Cutting trade with China would take a decade or more if it can be done at all at this stage.

This belief is clearly a failure of imagination.
ПРЕДУПРЕЖДЕНИЕ! ^objects in mirror are larger than they appear.
Oh please. "DAE COMMUNISM EEEVVIIILL?! (oh I brought links to PROVE it; here's Robin Williams and a wiki about a book)" is thoughtful discussion, eh? It's the same kind of mindless upvotery as your appeal to HN's ostensibly high standard.
Obviously not global warming though. /s
Java EE Guardians Unite to Save Java EE
Europeans are used to high taxes and in most countries you can figure out where your tax money goes of thebwebsites of the finance ministries. The fear of government is not really a thing in Europe.
i have read somewhere the dreams are for training purposes and present the dreamer situations either from the past or present or combination. that would explain why dreams are mostly dangerous or "wild". this is how our mind tries to figure out how to deal with those situations in the future. good examples of this are same recurring dreams over and over. and also i think there is no sense of time in the brain while dreaming so it does not differentiate childhood "situations" from any current ones. It just keeps fucking trying to solve that damn math exam problem....
I mean, I'm doing something. I have a job that doesn't involve working for the DoD.

I understand the need for people to have jobs. I'm not unhappy about individual soldiers, individual cops, individual TSA workers deciding that's how they want to get employment. (I'm sort of unhappy at society-as-a-whole for making the military such a good career decision for many people, but the fact remains that it is a good career decision, and I won't begrudge that.) I'm not unhappy about you, because I have no idea what your job is or what your life is like. But this article is about a person who had an extremely good job at Google deciding that he wasn't doing enough for the world and that he could make the world a better place by working for the DoD. He could have stayed at Google; he could have even worked for the USDS for any of the non-war functions of government, if he really wanted to. I think that's fair to criticize.
That's because Google is Skynet, of course.
Distributed DNS like service would solve most of the problems. Something similar to DHT for DNS.
Teen hacks Pentagon websites, gets thanked for finding 'bugs'
same ianal disclaimer, but here's the thing, this was built for allowing anonymous contract participation, if you can't participate in a contract without agreement from all parties that'd put the whole smart contract to an end. everyone would be able to seek damages from etherium from transactions they didn't like
Looking at the Austrian budget I cannot see how we could keep our standard of living and social systems and welfare state by cutting (let alone getting rid) of taxes. It would only benefit the rich and even then only if you are willing to live with crumbling infrastructure and poverty around you.