skysight-inc/HackerNews huggingface dataset:
The answer is...it depends (on lots of things).

In the case "real world performance" it has to do with the implementation of the lock and the architecture, but the CAS intrinsics on the architecture are almost certainly going to be the most performant way to do memory sync, so either the lock elides to those or it doesn't but if you are doing the CAS yourself you know what you are using.

For the purposes of these algorithm discussions though it can matter a lot because of the semantics of the lock. To prove something is lock free you have to prove that a thread will complete in a finite number of steps and lots of lock semantics don't allow for that.

For wait free all of the threads must complete and I don't know of any locking semantics that can allow for this property (but I'm definitely not an expert and usually poorly muddle through lock/algo papers).

I think its important to recognize that lock-free/wait-free is more important for real time systems than it is for "performance" (in terms of latency of request). Real time systems are often practically slower than a non-real time version of the same thing, but they have a more consistent worst case. This is where lock-free/wait-free are especially useful.
Thank you. I just couldn't force myself to read through articles that are so padded with fluff.
I do some of these from time to time, and weirdly, the 'back' button on the browser helps temporarily.

#3 is my usual mode for initial watching, but I'm prone to go with suggestions from that when I'm watching. Sometimes, even with best intentions, it gets messy.

Number 4, that would be most excellent. :D
More about ack, a Perl alternative to grep: http://search.cpan.org/dist/ack/ack
I'll be sure to give that a shot, thanks for the tip. You've made me realize I've somehow been subconsciously avoiding F# for whatever reason.
The optimizer recognizes that the variable `condition` and the condition with the guard's if-statement are the same (edit: inverses actually), so within the if-statement's body, it can assume that `condition` is false. But when other guard cases are merged in, that's no longer the case.

In other words, the general optimization is to convert

bool A = condition();
if (!A) { f(A); }

to:

bool A = condition();
if (!A) { f(false); }

i.e., that we can assume an if-condition is true within the body of that if-statement. The problem is that the check-widening reuses the body of the if-statement: the code

bool A = condition();
if (!A) { f(A); }
bool B = condition();
if (!B) { f(A); }

is converted by check-widening to the first snippet above, which then becomes the second. Sanjoy's observation is that guard-widening is almost correct (we still want to pursue this route) because `f` (the deoptimization escape) is really what we want to call in both cases, but we just need to get the value of `A` right by somehow letting the optimizer know that we're reusing the if-body and that it can't assume anything about the condition that got us there.

Also, this is really really clever and I enjoyed the post, OP!
If you believe you evidence of astroturfing, please hn@ycombinator.com rather than commenting like this.
Everything you said needs to be judged based on the context. There is also a case of tallest tree grabbing all the sunlight and overshadowing other potential talent.

If you want to build a strong resilient team you should allow your devs to fail.

For your every valid example I can show you terrible choices people make in realworld because someone with a lot of experience told this was the perfect thing to do and they resisted changes.

Ofcourse you have to exercise sound judgement in everyday life. I have seen managers who are reluctant to hire rockstars simply because they don't need them.
It would be a mistake to say that the green revolution was a failure. For some people in some places the green revolution crops were highly successful, but in other places there were not. Pretty much like everything else in agriculture.

The big difference between golden rice and other GMOs is that other GMOs have made it to market (I know plenty of farmers who will give up their BT crops when you pry them out of their cold dead hands) and golden rice hasn't.
Passport Index 2016
Cyber Operation Code-Named Nitro Zeus
No. Guaranteeing typeclass laws like associativity is hard. People have looked into various ways to do that, but haven't found anything completely satisfying. It's either hard for the programmer (dependent typing) or hard to implement (automatic theorem proving). I hope that'll change, but for now Haskell does not have any facilities for specifying or enforcing typeclass laws.

As it is, it works more or less exactly like interfaces from other languages. When you implement Comparable in Java you implicitly expect certain laws (ie that it's a valid ordering), but there is also no way to specify or verify them.
Yes, they also all consumed mothers milk.

Being radicalized is code for 'impressionable person ends up believing stories by some fraudster'.

Let's cut to the chase here, this is why we won't be solving this any time soon:

Religion pre-selects - in all its forms - the gullible, those, who would rather believe a story than the evidence before their eyes. Because of that and that alone we're stuck with this problem because our societies would have to outlaw all religion as some kind of disease if they're going to gather up the tools to do something about this problem on a scale where it will make a difference and within the framework of our legal systems, that is, without prejudice against one religion or another.

But of course that will never fly, it would create a huge immediate problem, much larger than the one posed by terrorism. It would require all those that are involved in some other religion besides Islam to come to terms with their own religion and this will - given the influence of all those other religions, particularly Christianity in all its forms - never ever happen. And if it did it would make the current crop of terrorists look like rank amateurs.

See also Richard Dawkins' 'crusade' against religion in all its forms, even atheists are not immune to telling others how they should live.

If you're going to find one common element between Crusaders, IRA/Unionist bombers and Islamists (and a whole raft of others besides) it is a categorical in-ability to keep their religions where they should be: in their houses and their places of worship.

As soon as people go out into the real world and start telling others how they should live it's game over. So, as far as I can see we're stuck with this problem for the foreseeable future, until enough blood has been shed that people will come to their senses again. It never was any different.
So it's basically this guy's transforming Hong Kong apartment.
https://www.youtube.com/watch?v=WB2-2j9e4co
Canonical in particular makes it very difficult to download images over HTTPS. For Ubuntu 16.04, I spent a relatively large amount of time trying to figure out the best way to download this image over HTTPS: After going through multiple mirrors, I eventually found a reputable mirror that offered secure downloads.

Seeing that there is no way for me to verify the authenticity of the signing keys (short of visiting canonical in person), every bit of security helps.
Turkey coup attempt  comes as a shock
I think this is pure free markets are the only moral structure, coercion is immoral, etc. ideology. I do not find it compelling because adherents' apply the "coercion is wrong" absolutely when it comes to governments enforcing it through fines, but deny economic coercion applies when e.g
a bank charges overdraft or late fees no matter how ludicrous.

There is a suggestion that ultimately a bank doesn't put you in jail, where governments can do that if you continue to not pay fines. But increasingly governments take unpaid fines from income tax refunds or other mechanisms for collection rather than consider outstanding fines a criminal offense rather than civil.
I think a better alternative to using a small number of orbits is tweaking the numbers to the ratio between the days of the orbits of the two planets is a rational number (and probably make both a integer multiple of the interval used to draw the lines).

Assuming that the ratio is rational is not so crazy as it looks. https://en.wikipedia.org/wiki/Orbital_resonance
Corn-starch bags are probably way better than plastic, the sort used as bags for compost (in the UK at least).
What your slowest hardware can handle in a reasonable timeframe
Favorite way? No apps, just automatic monthly savings the day after I get my salary.
This information is currently partially available. Not line by line but definition by definition. It's hidden behind a compiler flag but there are open source tools that consume it and display it for developer consumption.
Apologies for missing your reply till now, first of all.

> Having lived in both religious and secular communities, it seems to me that tribalism is a human universal.

Unfortunately, this is all too true. I did not mean to imply the non-religious were excluded from being tribal and differentiating themselves from Others, as well. I was only responding from my experience that, particularly within the public sphere, religion occupies just as strong a force in identity politics as other personal features.

> Could you clarify what you mean by "obligational determinism"? The only google search results I could find lead me back to this thread.

Thanks for asking. You've caused me to go back to an old text and discover I had, somewhere over the years, inadvertently mis-remembered a particular phrasing. The phrasing I should have used is "sources of religious obligation" or "religious sources of obligation". Basically, minus the determinism—too much time between studying and recalling philosophy led to a pretty boneheaded error. I draw the phrase from the excellent debate between Robert Audi and Nicholas Wolterstorff in Religion in the Public Square: The Place of Religious Convictions in Political Debate. My error, over the years, is rooted in a careless recollection of the role religious sources of obligation play in determining what a person thinks should or should not be done, particularly where coercive public policies are concerned.

I apologize for the error.
Running an ArangoDB 3 cluster in fleet
“Overloaded literals” only has one meaning as far as I know, and what Haskell has is it: a literal whose type isn’t solely determined by its contents.
> it is uncommon for the results from yahoo to be censored

Really? How do you know that? Are you simply assuming that or do you actually have evidence?

> impractical

Nonsense. Google implements censorship of various URLs[1]. My friends in China often complained that the Great Firewall would censor not only search terms but also URLs.

I think you're underestimating how much censorship already exists.

> RMS all to often puts principles before practicality

As he should. He invented some of those principles.

More importantly, when practicality has precedence, you've giving up on any principles. Nobody ever said defending important principles would be easy! Defending tomorrow's freedom, might require that you make a sacrifice today. Do you want to pay the cost of that sacrifice now, or in the future when the fight is even harder and much larger sacrifices are required?

Unless you defend principles even when it is inconvenient, they will be stolen or corrupted by anybody willing to "Embrace, Extend, and Extinguish"[2] your principles for a profit.

--

[1] Try any search of the form [${popular_copyrighted_work} torrent] and note the links to the DMCA complaints.

[2] https://en.wikipedia.org/wiki/Embrace,_extend_and_extinguish
That is a remarkable statistic. Can you give an example or two of how they are used? Have they become the only way people transports lunches/books/etc?
Would that not pollute the git history of the project with "junk" diffs of the compiled min.css file? I can see people not wanting to do that on principle.

But yeah, I would really like a way for the builds to be available in the way you describe without any git history issues.
As a musician, I've often wondered how a performer whose native language contained such words as "allegro", "largo", "andante" interpreted those markings vs me, whose native language does not contain those words.

To me, "allegro" is a tempo marking, not a state of being, for the most part.

I'm not actually sure who is getting the short end of the stick, in this particular instance, to tell you the truth.
https://news.ycombinator.com/item?id=11806553
Another Victorian here. The light bulb thing isn't actually true. The legislation and exceptions are a little more convoluted than other states, but you're ok to swap out your own bulbs.

http://skeptics.stackexchange.com/a/27947
The need for Cholesterol levels (or something like them) to be meaningful is stronger the evidence that lowering them is useful. You're probably better ignoring them, and just getting regular exercise instead.
But the phone company requires ID and bank info to obtain a premium number. And then when you do this, google calls them to complain, and phone company terminates your account, keeps the money, and reports you to the police for fraud. Doesn't seem like a very good exploit.
This idea is brilliant. The problem of finding outside countries to run the cities is perhaps less difficult that it seems. The Hanseatic League and Lombard League cities prospered in large part because they were free from feudal control and could develop local, non-agrarian industries.
The cities need enough outside control to allow the economy to develop but not necessarily complete sovereignty like Hong Kong.

As for making it economically worthwhile for the "overseer" nation and particularly individuals, perhaps that could be solved by sharing in the high economic growth rates that successful charter cities would achieve. If you get that right there would definitely be takers give the current low growth rates in most industrialized nations.

(Paul Romer is one of my favorite economists of all time so maybe I'm biased.)
Nice post. It looks like a potential issue for someone specifically running geth with that config, but ok for an end-user using Mist or Metamask.
>> Outside powers imposing alliances that prevented the usual suspects from going to war with each other kept this from happening.

He isn't saying those wars happened. He is saying the preventive cause is other then the EEC and the EU.
Marten – Postgresql as Document Db and Event Store for .Net Development
Florida teens shot at, playing Pokemon Go
The concept of smart cities just seems like an excessively convoluted way of adopting more successful countries' institutions, governance and laws. Which can be great of course, but begs the question: is the host country government (current or the set of most influential parties, assuming it's a democracy) interested in adopting this foreign system at all?
A tax is actually vastly more complicated and easier to game.

Remember, the goal is to cap emissions, not to raise money. When you start with a cap and work backwards towards the clearing price, you are guaranteed to be meet that cap. But when you start by setting a price, there is zero guarantee that you're going to meet your emissions target.

Also, the point of cap and trade is that it lets societies meet their emissions target in the least expensive way possible. Whereas a tax imposes the same fees on everyone, regardless of how much it would cost them to lower their emissions. This makes zero sense.
This American Life & Planet Money did a follow-up on this idea three years later: http://www.thisamericanlife.org/radio-archives/episode/483/s...

Against the odds, Honduras was actually willing to give the "charter city" model a go, but the project turned into a disaster before it even got started. Mostly because Paul Romer is an egotistical, antisocial control freak and nobody could work with him.

There's a lesson here for silicon valley types: Being a genius with a great idea doesn't count for anything if you can't work with other humans to bring your idea into reality.
Did they actually get awarded the patent? It might still be snaking it's way through the long application process, which could mean that it might not meet the rules regarding non-obvious inventions.
The war was well under way prior to the Declaration being drafted and signed. 1775.
So, uh, in layman's terms, where's the money now?
If you don't read the article not sure this kind of comment adds anything to the community. Yes it's a long article. If too long for you skip it.
Your scenario doesn't seem to be a flaw unique to charter cities. It seems like Venezuela is an example of this happening at the level of an entire sovereign state.
Fecal Transplants Can Be Life-Saving, but How?
> "In return for the hollow credits, ConocoPhillips paid Green Diesel $18 million, according to court documents. Shell got stung for $14.4 million, BP for $13.6 million, Marathon Oil for $12.4 million, Exxon $1.2 million. All these companies also were forced to buy new RINs to replace Rivkin’s phony ones."

> Federal agents were watching, as was Houston attorney David Fettner. He’d been appointed by a court to find and seize Rivkin’s property on behalf of commodities trader VicNRG, which had sued Green Diesel and other Rivkin companies for selling it $3.8 million in bogus RINs. “Rivkin left a trail of unhappy people behind him,” he says.

Doesn't seem like everyone else was happy

> Well, given that the buyers bought just the numbers and not did not go to the authorities immediately it would seem that everybody in the deal was happy except for the EPA.

You'd be happy buying $1000 from someone for only $100, until you discovered the money was essentially worthless (counterfeit)
Patenting often precludes licensing.
Lowering fuel costs is not synonymous with environmental concern.
Its a good point. To put it another way, Romer focusses heavily on the system of rules in place, and that is no doubt import in attracting migrants and capital investment, but what about defense? Nobody is going to want to build factories, ports, and the like, unless they are well defended.

The reason Hong Kong worked well wasn't merely the system of rules, it was also the presence and backing of the British military. In the charter city setup, the risk of changing regimes in the host country, and the bad press if the governing country were to intervene, is just too great.
Because the TSX feature isn't stable and Intel is still disabling it in some recent processors.
2010. I thought maybe it had come along further because it was on HN again, but this article is dated.
I agree: the main problem with security vulnerabilities is that your users' data gets leaked and it blows up in the media.

If you just lose some money, you can budget for that right next to the risk somebody throws rocks in your window or the risk that somebody steals the company car.
What are "vouching privileges" and how might one vouch for it?
thanks! I didn't take the time to setup Mist but my understanding is that Mist is especially vulnerable because it's bundled with a wallet and used for browsing DAPPS which always require the JSON API to be enabled.
> alarmist

How so?

The author is voicing criticism that a lot of people (including myself) have with regards to the current state of software distribution security.

Furthermore, his survey of the top distributions is interesting for people who take their security seriously.
China's government is far from perfect, but ever since Deng took over, it has been been implementing policies that resemble British Hong Kong more than they resemble Maoist China -- and it's working just fine.

Life is not a zero-sum game. Rich places get rich not by stealing the cream, but rather by being less evil and stupid as other places.
For the comparators I think that what he means is that for any given set X the set of comparators on X forms a semigroup where the composition is "compare using the first comparator and then the second". Of course this too is a monoid with the identity being the comparator that says all things are equal.
What you're describing as "fluff", most people describe as "long-form writing." If you're reading purely for brrt-brrt-clank-insert-information-into-meatbot-head, you're missing out.
Emoji Equality with Google
The table in the link isn't alarmist: it's alarming. Secure distribution... at least an effort... was a requirement in INFOSEC since the Orange Book in 90's. FOSS proponents pushed Linux distro's, and still do, for the foundation of security-oriented projects. This is 2016. They still don't have trustworthy distribution under control except Fedora apparently. It's worth noting.

Anyone wanting to build on this should apply same methodology to major BSD's to see how they compare.
They should have bought FUEL, not RINs.
So how different is this from something like https://github.com/chanks/que
I think you mean "casually", not "causally" (even though it's kind the interesting Freudian slip, IMHO).
You can do some checks as non-atomic instructions too, with careful use of memory barriers.
Signed Languages of the Deaf people have many «untranslatable» expressions. Especially of forms, movement and dynamics like the way a flock of birds is flying around in the sky, or the specific way a toon is squashed in an accident and pops up again.
According to the article:

> The ship's distinctive design, which was patented in Japan, the U.S., South Korea, China and seven European countries, helps improve fuel efficiency.
I'm slightly worried with this that the news is definitely not about the person doing the shooting. Is somebody sitting in a car on a public road really justification in the US to use lethal force? Or, indeed, ANY force?

> The Sheriff's Office is using this as an opportunity to advise players to stay as safe as possible while playing the game in the real world

Not to, like, advise people not to randomly shoot at strangers?
As I understand it they only activate the fork if enough miners vote for it. If >50% of hashpower doesn't fork, then nobody forks. If >50% of hashpower forks, then that's known ahead of time since the vote was carried out in public by that same hashpower.
The author agrees with Gladwell that to become pretty "good" at anything you will need to work hard at it(10K hrs). But the theme of the book is 'outliers', and Gladwell over simplifies saying that all it takes to be an outlier is 10000 hrs of work - which is not the case apparently, some people achieved this without as much effort and it is likely some people require a lot more effort than 10K hrs to be "as" good and considering that, it is not really clear what the outlier benchmark cutoff hrs is.

The underlying message which Gladwell conveys that to be outlier at anything, all you need is 10,000 hrs of work does not seem to hold true for all individuals in all fields.
Most things work better than Maoist China... Getting away from actively sabotaging your industrial and agricultural output with ideologically, rather than reality-based five year plans is a good start. Leaves a lot less dead bodies, too.
If `to_string` was a function that was imported into the local namespace, you could. But since it's a method, you can't; you need to provide the trait name.
It's worse: they don't have the updater working properly either. I switched to Ubuntu after the security issues with Mint since I didn't want to re-learn all the grunt stuff associated with Fedora or whatever. Not yet anyway. A while in, I find it won't update the software because /boot or something is out of space. I figure whatever causes that should be automatically prevented by Ubuntu given it is in many other OS's.

Gonna have to once again Google around to fix the problem or start from scratch with new install or distro. Might just bite the bullet to learn Fedora given it consistently ranks higher in security metrics. Don't know about quality or UX experience, though.

So, distributions and updates have issues in Ubuntu. The very things you want to be painless & secure.