skysight-inc/HackerNews huggingface dataset:
I wonder if existing computer chess engines can be modified to do retrograde analysis, and then find some heuristic for positions that are "obviously" possible via legal moves, and then see if the retrograde analysis can reach one of those.

I have a feeling this is often tractable, because we could probably construct a cooperative scenario involving sacrifice of arbitrary pieces at the beginning of the game (maybe via a series of knight captures?), and then the main question is confirming how particular pawns moved past each other, and finding a way of ensuring that no stalemates occurred while positioning the kings.
No, I'm not really claiming anything about free will.

The problem of free will is mostly just how to define it in a way that makes any sense at all. But to the degree that it does make sense I would say we clearly have it.

What else does it mean for something to have the ability to decide?
Isn't that true of all collective action problems?
Docker has been running on top of containerd since 1.11. This isn't really news.

Previous discussions:

https://news.ycombinator.com/item?id=11492736

https://news.ycombinator.com/item?id=10754316

https://news.ycombinator.com/item?id=13176895
Because, What happens in Vegas stays on Amazon servers forever
Why not use trains or buses. Thousands of cars compared to a single train seems inefficient.
Unfortunately, the debates devolved into issues more about "character" than issues. Speaking more broadly about the campaigns, the candidates spent more time defending their characters than talking about issues. In particular, Hillary spent an inordinate amount of time defending against faux-issues like using a personal email server and sending classified documents through it. Adding to the ridiculousness of the situation was the amount of time reputable news outlets spent covering the faux-issues.

Many US citizens are furious about the situation. Unfortunately, appealing to the lowest common denominator has become the modus operandi for campaigns here. I suppose the answer is to raise the lower common denominator through education over generations. Given the fight against education reform I don't see it happening anytime soon.
That's how I pronounce it haha. Or I say "the INRIA prover."
Could you give an example about the vim part? I didn't understand what you are trying to say.
Of course this is true. Indeed I was not surprised to see the high life expectancy, but more to see the efficiency of the system close to Japan and Israel ones.
Well. How to say that without being dismissive of the average web hobbyist...

Well, when the job is to accept a hugely complex flexible poorly defined input format from 30 years ago that is written by millions of people who have no clue what they are doing, fixing common errors and getting anything to render is part of the spec ^^

And... oh wait!

I said "Be liberal in what you accept from the user" when it comes to user input. Web pages are user input, so yeah, browsers are no exception to the rules, they're actually a perfect example! :D
The average consumer isn't using a standalone camera for their, um, bedroom work... they're using their phone. I'm sure there are some people who get into that sort of stuff enough to use high quality camera gear, but again - vanishingly small niche market.

As for kids... most people are just posting it straight to Facebook anyway. Again, some might care about privacy, but not enough to make it a real premium feature, I suspect.

Naturally people want to pick and choose which photos they share, but that doesn't mean they are worried enough about the ones they didn't choose falling into the wrong hands to pay a premium and put up with cumbersome decryption procedures - they just don't like those photos as much.
React and Redux are both popular and widely used, and this is the official library that ties the two together. Also, it's absolutely a major update. The API is almost identical (with one new function), but the internals were completely rewritten, with potentially different (but better) behavior in a few edge cases. It also offers improved performance in most cases.

See https://github.com/reactjs/react-redux/pull/416 for the nitty-gritty details of what was involved.
Don't markdown files already have a MIME type of text/plain? Isn't that the point of markdown?
In a way i can understand you, in another way: Consider what "the entirety of Florida, New York and California is forced to move inland" will mean in practice. Then consider what the same would mean for less affluent countries.
I don't have any strong opinion about YAML (or YAML Front Matter), having never used it much, but at a glance it seems reasonable to focus on writing content in.

On a sidenote:

Sure, the YAML and Markdown specs could be more strict but right now browsers are very tolerant of malformed HTML.

This wouldn't be possible without an extremely well-defined HTML spec :) For example, if I write the following in a hypothetical browser-parsed Markdown document:

_Hello!_
*Hello!*
**Hello!**

Which one should show up as bold? What about italic? Which one should just be surrounded by {1,2} asterisks?

Conversely, if I have:

<ul>
<li>Hello</li>
<li>World!
</ul>

Many browsers can determine (non-trivially, and not always, granted) that there's an unclosed `<li>` tag inside a closed `<ul>` environment and work with that. It's generally a different class of problems, though.
>After near bankruptcy

He declared chapter 11 bankruptcy 4 times.

Edit: his businesses filed 4 times
Yes, and that's a strange choice of a name considering the whole website is in English (despite being from France).
Does it though?
Well, it only indicates this was their intention, but not that the execution of that intention was any good ;) in particular that they did a better job than modern layouts, as you said you'd be willing to bet.

Note that it's not like high hand alternation factor (favoring often left-right-left-right switches) is only good for not jamming typewriters, and therefore dismissed as unimportant by keyboard layout designers in the modern era.

Quite the contrary, it's essential for keyboard ergonomy; try typing "pumpkin million stewardesses reverberates" a few times in a row... you'll feel the problem that has nothing to do with your keyboard mechanism jamming ;)
Minuscule – a typeface for extremely small sizes
For the most part, it's one maintainer keeping this project alive and consuming a fair amount of his time. <$10k seems pretty low for such a substantial product and workload.
Someone should make a startup that puts cash collection boxes, targeting open source projects like this, in areas trafficked by technologists. I don't like handing out payment information (if it can be avoided), but would happily slip $20 cash into an anonymous box. Maybe have a number of fixed locations and rotate the projects that a days "cut" goes to.

If the Salvation Army can have a guy in a Santa suit outside Walmart, why can't we have someone on a corner in SoMa? (A Santa length beard might give more "street cred" too!)
This is going to be a fun road to go down. I am sure it will be rough around the edges at first but as it matures I have good faith that Unity will knock it out of the park. Can't wait to fire of the Vive and check it out!
Evernote updates privacy policy to allow employees to access notes
Elon Musk and Travis Kalanick Join Donald Trump’s Transition Team
Morten Nielsen [0] has written quite a few small packages around AllJoyn on Windows [1]. There is a JavaScript binding [2] which also might help. There was a Node binding [3] but it doesn't look like it's under active development. ASA stopped shipping SDKs some time ago because the juice just wasn't worth the squeeze.

[0] https://github.com/dotMorten

[1] https://github.com/dotMorten/AllJoynLightingController for example

[2] https://cgit.allseenalliance.org/core/alljoyn-js.git/summary

[3] https://www.npmjs.com/package/alljoyn
Which markdown?

That depends on which one eventually gets specified (if at all) by some reputable standardization body. And sometimes, people don't want much more than a static web page!
Regulating away "bad conditions" doesn't get rid of the cost for it. It merely eliminates your choice in the matter, forcing everyone to upgrade. It's like, if you outlaw all car designs that don't have leather seats - all the sudden, everyone gets leather seats in their car, but they're still paying extra for it, whether they like or not. that's what regulation does in the housing markets, but much more extreme.
Yes, something like that is one plausible solution - people who care can e.g. map one of the function keys on their dSLR to perform this task, and no one else will be affected.
Has anyone here ever used Coq to verify a non-trivial piece of production software? What was the experience like? (I have experience with other formal methods, a good amount of TLA+ and tiny a bit of Alloy and Why3, but I've never used Coq)
The GnuPG's 2015 financial summary (balance sheet and P&L statement)[1] indicates that the author is paying himself an annual regular salary of 47,400 EUR which includes mandatory social insurance, plus some subsidized rent for (only) 2681 EUR. Note that in 2015 GnuPG also had 3 fulltime programmers on payroll for around 160K EUR.

The key quote is at the bottom: "Along with the paid projects we are currently working on, the two large donations that we are expecting (from Facebook and Stripe), the Linux Foundation grant, and a small stream of individual donations, g10code will be able to operate with its current staff until the end of 2017. Obviously, we need a longer term plan." (emphasis added)

[1] https://gnupg.org/blog/20160421-financial-results-2015.html
You write "credit for... holding it back" in an ironic sense, but ISTM that's really the only reason that markdown has seen wide adoption while numerous other simple markup languages have not. There haven't been dozens of different doodads grafted on at different times in different fashions to confuse users and converters, so people just use it and it just works.
Another way to look at this is that hg needed to bake this into their core, whereas git didn't need to. There is a non-zero cost to all additional code, so leaning on the shell to do work is generally a smart move.
The workflow here -Isn't it similar to AWS Lambda Step functions?
There are necessary requirements in a voting system:

1. Authenticity - One vote per citizen.

2. Secrecy - no one, not even the government, should know who voted for who.

3. Verifiability - I know my vote counts.

So if you have a login/password, #2 (logs are too easy) and #3 are out.

With a Blockchain, #1 is out (how do you verify that a private key is owned by a citizen)?
Git ships with Git Bash on Windows.
This is ridiculous. Saying that we have to stop putting so much CO2 in the air is not a vengeful god, it's just the facts. Wanting the sea levels to not rise and displace millions of people from their homes is pragmatism. You are the one who is putting ideology above facts.
The brute force would have to be on a raw database dump, and is probably in no rush to complete. Also, speed being hardware dependent, the attacker could simply get more, or wait for the advance of Moore's law so that what was "slow" last year is now fast. Deliberately slow hashing is just shouting into the wind.

Your comment about "please educate yourself" was not constructive.
The problem is political interface. How do I vote if politicians can just change their position just a month after the elections? Or if I can't even pin down their position, because they're not sure themselves? What am I actually voting for?

So if you are an issue-based voter, you don't vote for the right person (in which case you'd be principally evaluating their personal qualifications), instead you vote for specific policy positions (here you principally evaluate policy qualifications).

The politician who changes their views according to new information is simply less comprehensible to outside parties. It may be better to be a more easily understood politician who sticks to position in a way that is <too> sticky.
>> An extremely unhealthy skepticism that is not shared by any scientist in the field

https://en.wikipedia.org/wiki/List_of_scientists_opposing_th...
There's a difference between changing one's opinion based on evidence and thought... And having, say, mutually exclusive policy positions on the minimum wage during the campaign. (Eliminate it federally, raise it at the federal level, don't raise it at the federal level, let the states decide, let the states decide but it must go up.)

Or mutually exclusive positions on a ton of policy issues: http://www.nbcnews.com/politics/2016-election/full-list-dona...

There isn't, to me, evidence of evolution or evaluation. Or a rapidity of such that calls to mind comic-book mutation. We can't get the full view into his mind, obviously, but it seems like we don't have access to a base set of principles from which Donny makes his decisions.
A Russian Program Just Launched to Help You Find Anyone’s Face on Twitter
Ask HN: Is anyone using GraphQL in production with a small team?
I know FB is using GraphQL in production, and I keep seeing it pop up more often; even with some references to it as "the REST killer" (which seems a bit hyperbolic). I'm more specifically interested to see if any smaller teams are using it and their results. I have an application with data relationships where it particularly seems to make sense.

From what I can see it's very well explained from the clients side (which makes sense), however, less so on the backend. I'm curious as to where you're finding best practices, performance implications, development time (vs REST), maturity, and do you enjoy using it? Any other benefits (besides the obvious) and any experiences with the Ruby implementation (graphql-ruby and libgraphqlparser gems) or Golang implementation would be appreciated as well.
well, INRIA is french national research institute and the national pet is the Coq (rooster) (edit : laurent I guess you are french, I'm just saying that for those who are not from France :)
He filed for chapter 11 as an individual? I don't think that's correct, is it?
They require preplanning, adherence to scheduling, take more time, and may not take you exactly where you want to go.
I'm sure it would be over half if they would use their brains instead of their greedy gullets.
Wait till the GGP hears about the CoqHOTT project and sees its logo...
8 is nowhere near good enough.
His companies declared bankruptcy, but he personally did not. I recall some clip where he references walking with his son past a homeless guy and say "that guy has a billion dollars more than I do." referencing his at the time negative net worth. However, he continued to service or refinance that debt without declaring bankruptcy.

PS: This is actually fairly common with real estate fortunes. They are based on leverage so dips can erase fortunes, but if they keep making payments they can get past that and end up positive.
There isn't any dogma yet to see. The only thing happening is pragmatism in the form "Let us see, maybe it will not be too bad."
This. As far as I'm concerned, CommonMark _is_ the canonical standard for Markdown.

Gruber has contributed nothing to Markdown in over 12 years, and has refused to participate in anyone else's efforts to improve the spec. That's more than enough justification for a fork, and as far as I'm aware there are no other actively maintained Markdown specifications in existence at the moment, so CommonMark _is_ the standard.
Well, you're just a dude on the internet, while Bannon got a Trump elected so I'd say his odds of success are a little higher than yours.
> I am much more shocked about the negative sentiment here at HN about any post that could be seen as criticism on the global warming theory.

The theory was first proposed in 1820, demonstrated in a lab in 1864, proposed with climate predictions 1894, and studied ever more intensely ever since.

It's about as old as the germ theory of disease.

So the same standard applies: if you attack the germ theory of disease or the global warming theory, you need to show some demand evidence, or else, put up with lots of negative sentiment vented by people who are justly angered that you asked for their attention and didn't show them enough respect to warrant their attention.
The UK already has millions of CCTV cameras set up like this.

You might find this article interesting: http://www.wired.co.uk/article/one-nation-under-cctv
On my local job board, there are a number of Xamarin roles paying £450-500/day. It can't be entirely unmarketable.
Seems possible that as automation of delivery services becomes more widespread (e.g. drone delivery), and as both remote work opportunities and entertainment technologies increase, there will be less of an incentive, or at least less of a financial/work-related incentive to for populations to accrete around centralized urban developments. So the growth of urban vs. rural or suburban population rates may potentially slow in a few decades. Maybe, but probably not, idk.
You can find who is committing code etc on their Github projects:
https://github.com/GPGTools

And the GPGTools website is registered to Lukas Pitschl: https://twitter.com/lukele

They are not really hiding anything I think. Also GPGTools uses GnuPG etcpp.. Don't really see an infringement (if GPG is protected in the first place)
The Bip Buffer – The Circular Buffer with a Twist
This probably means he's lying and he doesn't give two fucks about the country. Just get power no matter the means.
There is CompCert, a C compiler
There's no reason to think it does, and plenty of reason to think it shouldn't. We have a fairly good reason of why humans have empathy; it has to do with our evolution as a social species.
Where did my /mnt go?
I think this is the actual news: https://www.docker.com/docker-news-and-press/docker-extracts...

> Docker today announced that it is spinning out containerd, a core component of Docker Engine, its industry-leading container platform, and donating it to a new community project.

Press release linked to from:
https://blog.docker.com/2016/12/containerd-core-runtime-comp...
In my mind, the single best part of being a business owner/founder is freedom. That includes the freedom to be compassionate. That's what is required here.

Your startup is really insignificant compared to losing a loved one.

I'm interested to know what he said when you communicated to him that the two of you find him uncooperative and that you feel he is holding you and the project up.

This has the potential to make your team stronger. This a good example of an exception where this particular co-founder should come first over you, or the project.

I don't think it's unreasonable to put a timeframe around this, so you don't enable and he doesn't exploit the situation. I think that's closer to the 12 month mark than the 4 month mark.
Oh but they really need those analytics to improve your experience!
>is not shared by any scientist in the field

And that seems to be part of the problem: You just made a statement that is quickly proven false[0], which leads to further skepticism from these people.

[0]https://en.wikipedia.org/wiki/List_of_scientists_opposing_th...
I can't see this becoming a regular activity. They'll be people waiting near the distribution center treating it like skeet shooting range
> Someone should

but not you, right?
Is that really true? Wow. Is there a way to force it to shut down?
Some people say it's a revenge to “bit”.
https://github.com/orgs/GPGTools/people
World’s oldest water gets even older
Developing for HoloLens: How to think about design in 3D Space
> Is there anyone reading this who has chosen to implement such limits? If so, why?

I haven't, but here's one answer I got from someone who did.

The bizarre password requirements at $WORK have the property that, sometimes, a subset of a password will be permitted when the full password would not be. I contacted our IT department once with a specific example of an objectively weak password which was accepted, and a stronger password (at least, it contained the weaker password as a strict subset) which was rejected. I proposed a concrete, simple-to-implement suggestion for how to relax the rules to avoid this kind of paradox. (I don't remember what it was.)

He agreed with me that this was an undesireable outcome, and that my proposal was implementable. However, he said that the institution would nonetheless not implement it, because people were used to the old rules, and would be confused if they changed.

(When I asked how people could be confused if all the old passwords were still acceptable, and the only change was that new, stronger passwords also became acceptable, he stopped responding.)
Just say "cock", with a straight face, not laughing and serious, and people will not laugh. People will know it's the proof assistant.

Same when saying "Hoare logic".
Oh, I read the article all right, no worries.

I was just thinking of a slightly wider use case than 'I am Laura Poitras and am concerned about interference from US state actors'.

To but it differently - what would (possibly) help a poor PJ facing down a truckload of IS would also help Laura Poitras.

After all, some guys with AKs may help you get a story on the abuses of other guys with AKs - who may see things differently.

(Though I'll admit I think that is a moot point in many situations - say, reporting from Raqqa it isn't very likely that anyone you encounter would believe you if you showed them all the wonderful decoy photos you'd taken of the shot-out remains of all the touristy sights - and not a single photo showing anything which could be construed as aiding one side or the other in the conflict.)
According to Vice News this is already is happening in China
Finding micro-meteorites in city gutters
Space Stasis (2011)
Evernote's new not-so-privacy policy will let employees read your notes
> People above were just complaining about having to use sed to tweak output. I don't see why they would prefer a built-in filter to an external one.

You don't see why someone would prefer 'select' to scraping with grep or awk?
After criticizing how white tech is, venture capitalist deals with blowback
Do people's laces wear out? That's not a problem I've ever experienced.
Announcing Auth0 Authorization Extension v2
Respectfully, I think this amounts to bias more than anything. It's a lot easier to believe that the slide-offs are caused by bad driving - and most probably are. But some are unavoidable.
Being in Italy, just by reading your post there was 50/50 change that you're a dick, or just misinformed (maybe both).
> You don't feel like your rhetoric is a little overblown?

I hope it proves to be! Also I lol'ed at the integrity safe metaphor.

>I'm saying that he's a figure within a Constitutional democracy with limited power, who does not have any kind of enormous political support, in a country with a long, stable government, and going up against entrenched interests.

But to be serious, I think this response is making a number of dangerous assumptions, which I hear from a lot of moderate voices urging hope/non-alarm/give him a chance. To address them point by point:

- The power of the executive branch relative to the others has steadily risen in the modern era.

- I think he does have significant political support - the senate would likely have flipped if not for the party line support he generated.

- Our "long, stable government" is only 238 years old, not really that significant on any timescale, even compared to other governments in recorded history. And has already included a catastrophic civil war that almost ended it. It's a hard cognitive bias to buck, underestimating our society's fragility.

- Who are these entrenched interests he's going against? The "entrenched interests" of the left, well they may be entrenched, but they don't have trillions or even billions of dollars in their war chests. The actually powerful ones are all going to be represented on his cabinet.

Like I said, I hope I'm being wrong and alarmist, but it seems like the prudent side to err on.