skysight-inc/HackerNews huggingface dataset:
It's about time we'll have some choice and better competition after Unity3d basically dominated the market.
I'm a member of a relatively rural credit union that is merging with one of the other regional credit unions.
That is amazing.

Archive.org has a history of it going back to 2002.
https://web.archive.org/web/20020116171531/http://www.bluesb...

I like the original background better.
I think think the idea is that the burden of a higher tax will be lower than that of a lower tax rate plus private insurance.
Kind of paradoxical that just after their first successful landing they ramp up rocket production. Isn't the point of re-usability not to have to build so many rockets?
the youth are a menace
I am a Sander's supporter so I say this more theoretically than as a criticism of his plan:

It scares me that in our political structure that we feel like we need to experiment with the whole country. I understand that if we don't the super high income earners, in this case, would flee to cheaper areas but I sure prefer the idea of trying out large shifts in policy in more gradually widening areas than completely wholesale as we've been doing.

On a related note, what are the good software platforms for running economic simulations? Are any of them decent?
You probably can't, unless your agreement expressly obliges the landlord to enforce the rule against other people rather merely than requiring you to follow the rule as a condition of being permitted to rent the apartment. This would be an unusual lease agreement.
Your taxes may go up, but the claim is that the amount your taxes go up will cost less than the healthcare premiums/out-of-pockets/copays/prescriptions/etc. you have to pay, thus the average individual's net cost for healthcare is lower.
Also, for that cost I'd love to see it include Fira Code-like ligatures.
A tiny essay on Twitter changing its feed algorithm
You are helping Google make money for free whenever you are using one of their services. I fail to see the moral issue with that. If you don't want to help Google make money, don't use them.
Purchasing a license that's identical to one you know is freely available doesn't fit the English language meaning of 'necessary business expense'. Maybe the actual technical definition is a little different, but I don't see what fraud is being prevented by restricting donations if companies can just buy things for far above market value.

Let's say I fix patio11's backyard patio. Instead of requesting payment for the work, I fork Django and send him an invoice for a license. He pays me thousands of dollars for a commercial, OSS Django license, and writes it off as a necessary business expense.

It's the same scam whether it's a donation or a license purchase. I just don't get the point.
... with a one-click refund if you don't like the article.

In regular use, you don't go through the process of paying - opening an article automatically pays the price, so it's very easy to do. However, you can always get a refund.

It's a tiny detail, but it changes the whole flow. A nice side-effect is that clickbait is punished very harshly by the customers.
Ask HN: Why are there no closed captions for the “vocabulary impaired”?
Such a feature would automatically show you the definitions of difficult words that you may not know.

That way, you don't even need to pause your movie/TV show to look up the meaning of a word.

Wouldn't that improve vocabulary significantly and be relatively easy to implement?
Twitter now has a trust and safety council to help its users feel safe
It really does serve to make lawyers look like extortionist thugs. Had the lawsuit gone forward, it would have been funny if Google had proposed compensating everyone -- lawyers and "victims" alike -- with free Gmail accounts.
The example problem they give is pretty neat, but they don't mention the (IMO) interesting part of it. After sketching out the answer, I was suprised that the height you gain is independent of the size of the underlying circle. That certainly suprised me, as my intuition was that the height you would gain would shrink as the underlying circle grew -- after all, you'd be adding a constant length to an ever growing value. But the answer only depends on the amount of length you add, so the problem has the same answer whether it's the earth, the sun, or a proton. Neat!
That's what the current "Obamacare" plan was supposed to solve. After thrusting much of the health system firmly under government control, raising costs substantially, and literally fining people for being unable to afford more expensive plans, we're left with ... the same number of un- & under-insured people.
I've used the .NET wrapper to load up quite a few different model formats. Sometimes it takes a little fiddling to get the right set of flags, because it seems like every model is setup just a little differently...
It's easy to want to simply to steal from the rich, as you point out.

But that's not our current style of failure, it's "hey poor district, you're not up to snuff compared to the rich district. We're going to fire all the teachers, gut your union, and generally make your life hell. That's sure to make you do better".
"Mr. Sanders...proposed a...top tax rate of 52 percent...When you combine it with other taxes that apply to income...it would add up to a combined tax rate of over 73 percent"

I'm trying to imagine the scenario under which this would get through Congress unscathed.
This is fantastic news. I've wanted to use the StatsD plugin for nginx for a while now at the load balancer level but didn't want to compile my own and have to continuously re-compile to get patches.
Until someone clicks the "Add people you know from your contacts" feature that most of these viral products end up implementing.
At which point they have an extra dimension to help their social graph or whatever they want to call they set of marketing information they sell.
In a single payer system the govt is the only one who pays for healthcare. That means even if healthcare spending is the same or less, the portion of healthcare paid for by the govt increases greatly, requiring higher taxes.
Some species are worst than other in this sense, Cod for example. Salmons are relatively clean, but Ocean Sunfish... oh my..., prehistoric life forms everywhere :-)
Amazon releases free game engine: Lumberyard
I specifically remember the cries of "just let me pay you so I don't have to see ads!" once this started happening. Now it's "just let me pay some third party and have them handle the logistics of deciding who gets paid what and when but for the same price!"

This is pretty much exactly what the adblocking community has wanted since the beginning. You can get content for free and have ads. You can get content for almost nothing and have no ads.
A hypothesis that has been tested and proven in many countries around the world for decades.

Not long ago my Dad was paying 50% income tax on ~$75k+ AUD. We had a nice upper-middle class life, no worries.
Press conference expected to unveil ripples in space-time has been proved
Ok, now I'm officially blind
If you are making a AAA game in UE4, Mark Rein fully expects you to visit him in his office and negotiate a custom license. That's the way UE1-3 operated. 5% is the default for the masses and for most projects it's much cheaper than a custom license would have cost.
"""
Mr. Sanders has proposed a headline top tax rate of 52 percent, applying only to incomes over $10 million
...
“We do not assume taxpayers change their behavior,” said Warren Gunnels, the policy director for the senator’s campaign.
"""

... why?

The top marginal rate before Reagan was ~50%, and was lowered to 28%. Given this logic, you would expect that the US net tax revenue would have declined significantly in this period, which it did not. Basically, money just shifted from capital gains and corporate taxes to individual returns. If we increase the marginal rate again, it will likely just shift back without changing anything.
I'm sorry I don't get what this about - the landing page doesn't make it clear. I think I'm interested, but I'm not sure what this is. Could you explain a bit more here and we could figure out a better wording?
If you deploying a website, that's not an issue.
Let's say you make $1000 taxed at 20%, so you have $800 take-home. You spend $400 of that on health insurance. Now you have $400 left, or 40% of the initial amount with a 60% effective "tax" rate.

If your taxes increase to say 40% but health insurance is included your taxes have nominally gone up 20%, but down 20% if you consider non-tax costs that were folded into your taxes.

As anyone who's moved between countries can tell you, it doesn't make any sense to just consider what the tax rate is, instead you have to think about fixed costs (health care, housing, food, transportation, ...), deduct that from your pre-tax pay, and you're left with your effective taxation as it were.

Administrative changes in the government can increase your taxes but have the effect of increasing your take-home pay, that's effectively what Sanders is proposing.

There's no flaw in this reasoning, on the contrary you seem to have the fundamental flaw in your reasoning of assuming that the only way for the government to save you money is to reduce your tax rate.
More rockets to re-use, I'm guessing.
As with all distributed systems algorithms, we should assume Redlock is unsafe until proven otherwise. A proof looks like http://ramcloud.stanford.edu/raft.pdf (Raft), http://research.microsoft.com/en-us/um/people/lamport/pubs/p... (Paxos) or http://www.tcs.hut.fi/Studies/T-79.5001/reports/2012-deSouza... (Zookeeper).

Personally I'd prefer stronger proofs than even those, but I think those papers get us to the point where implementation issues are as important as theoretical issues.

In my personal opinion, Redlock is not at the point where we even need to consider the implementation.
My point stands. Any city is better than SF in terms of cost of living, including the three you mentioned (I never said they weren't expensive, just less expensive).
What is the sample size for the experiment?
You're off by 30x. It's $45,000 per month for 1 million DAU.

Here's an example from the horse's mouth.

"10,000 DAU	(10,000 / 1000) * $1.50 * 30 = $450"

http://aws.amazon.com/gamelift/pricing/
Skimmers Hijack ATM Network Cables
"Those guys don't care about nano or containers or whatever."

The biggest take up of containers is actually large companies.
The US already tested the "trickle down" economic hypothesis.
Big Dimensions, and What You Can Do About It
Apple Maps performs much worse for me on tmobile network in minneapolis. It takes me to wrong locations, locks up frequently, etc. I only use google maps now - much more stable and always takes me to the right place.
Are non-circular manholes possible?
Unfortunately, it looks like it may not be something will be able to work with. Instead of an ABI like Apache uses, Nginx went with signature checking. To load a precompiled module, the signature has to match. This means we would have to compile many different binary modules for every configuration people might have, and for every version of Nginx. Like several dozen.

As it stands, though, the module system would be very helpful for OS packagers, because they don't have to worry about signature mismatch.
It's two years old and has half a million users in a country of 16 million people? Although it's recently expanded to Germany and growing really quickly there too, so that might skew the percentage a bit.

Back in 2014, when they had 100,000 users, roughly 20% was a paying customer.
Need more than good intentions for better culture
The savings comes from no longer paying for private insurance which is currently extremely expensive
Are mathematical articles on Wikipedia reliable?
DesignStudio rebrands Premier League
Adding a phone number to your account and enabling two factor auth aren't the same thing in my mind. It might be that I'm paranoid about giving LinkedIn my info plus bad copy on the prompt, but I had the same reaction as the grandparent.
Whoah, whoah, whoah, no:

1. Most of the times when you need a distributed lock system that can guarantee mutual exclusivity, when this property is violated you already lost. Distributed locks are very useful exactly when we have no other control in the shared resource.

In context, Sanfilippo seems to be arguing that providing monotonic logical timestamps or sequence numbers is futile, since a system that relies on locks that break is going to fail one way or another.

That is probably true, but wildly misses the point: when a sound system that relies on distributed locks fails, it doesn't silently corrupt data. But that's exactly what happens in the "unfenced" lock-breaking scenario Kleppmann describes.

There are worse things than crashing, is the point.

slightly later

The argument about storage servers taking fencing tokens being "linearizable" also seems flimsy: aren't they "linearizable" (in whatever sense Sanfillippo means) in the case Kleppmann because because the lock service arranges for them to be? That's functionality Kleppmann says is missing from Redlock.
If you need a global lock in your distributed system, then you're already in trouble. In most cases, the best solution is to rewrite your software so that you don't need the lock. I don't want to say all, because I'm sure there are use cases where it would be impossible to do so. However, for my own research, I'm having trouble finding examples where a global lock is absolutely necessary. If anyone has any examples, please send them to me.

For example, a lot of people say, "updating a bank balance". But even that can easily be eventually consistent. You send increments and decrements and settle up at the end. Yes, your balance might go negative, but that's what ATM limits are for -- the most you could go negative is that limit. Most other systems can be written the same way. And for non-numeric values, there are always vector clocks or timestamps or quorum to determine which update came next, or you could send a client a list of all recent updates and let the client "do the right thing".
I don't think their current rockets are reusable. Only once they figure it out they can build more expensive engines that could be reused. I might be wrong though.
The most important part of Ember's development philosophy is "Stability without Stagnancy."

Ember is a very under-rated framework.
> Lambda functions: A style of writing functions without a block, where the function and return value are expressed as one single expression without the usage of a block or explicit returns.
employee => employee.name

This is not what a lambda is.
How the Super Bowl Became America’s Most Important Event
More important than that paper are the rest of the papers by Leslie Lamport.

Specifically the paper entitled Time, Clocks and the Ordering of Events in a Distributed System. [1]

This is basically the seminal paper on distributed systems and should be required reading for anyone considering playing with distributed locking mechanisms.

[1] http://research.microsoft.com/en-us/um/people/lamport/pubs/t...
Ah dang, how I missed "first class functions" :) Thanks for reminding...
Unfortunately to test Redlock with a formal method is pretty useless. The algorithm is so trivial, for the part you can mathematically model it, that is a wasted effort to model it: even with a proof of the lock acquisition process it all boils down to "is the system model credible"? And that's what we are debating. Note that similarly Martin don't even try to address the problem of how the lock is acquired for the same reason I guess. Also note that if you try to model the problem adding unbound processes pauses, and put as a requirement mutual exclusivity with auto-release, I don't think there is a way the model will ever be validated, whatever system you model implementing this.
The single payer is the taxpayer vs. the current model where you have a split between rate-payers and employer/medicare/medicaid.
It must be the cross-govt payment/tax issue?In the US its dead simple. Django has a Corporate Membership that covers just this case.
This is pretty nice, well done!

One suggestion: it would be nice if you somehow integrated the fix for each bug into the game somehow. At the very least, in the congratulations screen, you could show a version of the code updated to fix the concurrency bug.

In other words, this helps you learn what not to do, but not so much on what you should do.
How Can Company Instant Messaging Benefit Your Business?
Won't this push a lot of highly payed professionals into early retirement? Doctors, lawyers, and managers, at the point in their careers where they are the most experienced and capable, will likely decide in meaningful numbers it is no longer worth putting in the hours if they only get to keep 27% of what they earned.
Verizon’s Free Video Deal: Will It Cost Us in the Long Run?
As most middling earners, I'd support taxing people at extraordinary incomes, but at the same time, I don't think it's prudent to shock the economy with such a thing. Gradual does it, also work with other OECDs so that you have framework whereby you don't have people becoming Russian residents for the purposes of evading extraordinary taxes, thus defeating the whole purpose of the hikes.
> we're left with ... the same number of un- & under-insured people.

No, we're not.

"Gallup reported in July 2014 that the uninsured rate among adults 18 and over fell from 18.0% in Q3 2013 to 13.4% by Q2 2014."

More Americans are insured today than ever before, both in absolute numbers and as a percentage of the population. This doesn't mean that the ACA is responsible, but saying that we have the same number of under/uninsured people is simply false.
This page? https://www.linkedin.com/people/export-settings
Statistical Analysis of Insults Towards Hillary Clinton
Buckminster Fuller

edit: I don't know about "to-riches" but this is the turnaround I often think about. I guess it depends on your objectives.
In america, in 1948, the marginal tax rate on income over 200,000 was 91%.

The 50% tax rate was on income over $16k. Which is $157k in 2015 dollars.
I recently got 2 boxes running Windows 10 after exclusively using Macs for a decade or so. One is an Alienware Alpha and has been a pleasure to use. Everything kind of "just worked" out of the box and didn't come with the typical bloatware one gets with a mass-consumer grade computer. Daily usability of the box was great as well.

With this positive experience in hand, I decided to build my own rig and many of the annoying memories of why I switched to Macs in the first place came back. Windows 7 on the Skylake box was a pain due to driver support. Windows 10 installed without much hassle, but there was a minor engineering effort tweaking the bios fan settings to be silent, installing low-noise fan adapters, collecting and installing drivers for the new chipset. Obviously, this comes with the territory of building a computer, but it was a small reminder of things dealt with.

Gotta say though, Ninite does make the initial installation of software a breeze.
Maybe you missed the point ;-) I said this and later showed how the Redlock unique token per lock can be used to guarantee the same. So it's equivalent, but yet very non credible model in production. When you have a way to avoid a mess when a race condition happens, it's better to avoid a distributed lock at all, to start with.
Exact, and cetaceans have lots of fat and very long life cycles, so is a group specially problematic in this sense.
Perhaps instead of just complaining, people could help out with the documentation:

https://git.gnu.io/gnu/gnu-social

Then again, you're right... some things never change.
Can't help thinking the first re-flown one might be a self-funded test flight. Then again, maybe there are customers lined up to be the payload on there.
From what I know of it, Zucker's own report on patient outcomes doesn't come out showing much success, but I can't read it as I lack access to paid journals. There's also been published criticism of CAMH's practices.

More to the point, why would Zucker persist with his own method when there actually is evidence for the conventional approach?
it should be called acquiring information, not 'breaking' things :D
Depends but it's possible. Given the decision though it was important to distance themselves, both culturally and legally. Anybody who is seen to contribute to non-compliance WILL NOT be celebrated. What the regulators want to see, what the employees need to see. In fintech/regtech, if you contribute to making others in the company non-compliant you should be dead to the company - not because they necessarily did anything "evil" or anything like that, just because that's how it HAS to be treated.
For orgs that run on MSFT the subscriptions prices are actually quite good vs what they are paying for other enterprise software like Oracle,SAP and so on.

Also as an OS geek, I do happen to like Windows and see UNIX hegemony as killing OS research.
bringing new meaning to 'NSFW tweet'
Marketing tips for a successful Valentine’s Day
> we're left with ... the same number of un- & under-insured people

That's untrue.

http://www.gallup.com/poll/182348/uninsured-rate-dips-first-...
It's an experimental return to the tax rates we used to have back in the 40s and 50s, before the massive tax cuts that started being implemented a couple of decades later.
Ecuador is an amazing country - while driving south I thought I would only spend a month or so, I wound up spending 5.

In my opinion it's like 3 countries/climates glued together - you can be on the Pacific getting sunburned at 100F+ for the morning, drive a few hours up into the high Andes and climb a 20,000 foot glacier capped volcano, then drive a few more hours and drop down into the amazon to watch monkeys swing through the trees.

I climbed 20,000 foot Cotopaxi - http://theroadchoseme.com/cotopaxi-summit

Then lived in it's shadow for months - http://theroadchoseme.com/down-time

It's a supremely beautiful country, and the people are very friendly. Highly recommend.
That would be another option but you would have to evaluate several hash functions per element, which is a lot more expensive than a few multiplications and would use a lot more space.

What do you want to gain by augmenting the data with position information? Wouldn't you just have to check whether the positions array is a permutation of (1, ..., n)?
People who are paying insurance premiums and taxes currently put money in two areas we'll call 'insurance' and 'tax' for convenience sake (and because it accurately reflects reality). The money in the 'insurance' area goes toward paying private medical costs. If those private medical costs disappear and are shifted to public costs under a single payer plan, they don't go away, merely move under that other column. From then on, no money need be put into the 'insurance' area. Yay! But now, the 'tax' area has to pay out more since it took on those costs so much of the money that would have been put in the 'insurance' area must be put over in the 'tax' area to cover the medical costs that have not disappeared but been recatagorized in terms of what pool it is paid out of. Even if those private medical costs are halved somehow, saving the payee money in the process, the 'tax' area would still need to be bolstered to handle the additional burden. Thus, higher taxes even though overall money is saved.
Wired Is Launching an Ad-Free Website to Appease Ad Blockers
Would something like Google TrueTime help in this scenario. My takeaway being accurate with time...
A few tips for growing together with your new developer
I'm actually exploring the usage of Redlock in one my projects and the first question I've is - How can you count on a program to end in a given time? That feels similar to Halting problem. The only option I've is to use an external program to kill the program that's using the lock after the lock's expiration period.
FYI racket and gambit VM use preemtive green thread, but they have nothing to do with SMP.