skysight-inc/HackerNews huggingface dataset:
Seems like we’ve entered some sort of post-modern neocolonialism. How do we “fix” the broken countries of the world. The neocons under Bush tried to remake the middle east by invading Iraq.[1] Debated with someone here who felt we just needed more time in Afghanistan so a generation could understand good governance.[2] In this article, the thrust seems to be benevolent foreign powers and businesses will lead the way to prosperity. All seem like colonialism without the name and all seem to totally disregard secondary effects.

Read a great article awhile back on HN that talked about the impulse to fix other people’s problems far away from your own.[3] Seems that SV and Stanford could do a lot more to fix the issues closer at hand in the Bay Area (homelessness, unaffordable living, rising inequality) and the US in general before solving all the worlds problems. Lead by example sort of stuff. Instead my main takeaway from the article is get rich in the startup lottery then proselytize your grand vision and plans from your bubble of prosperity. Sell the dream but don’t look in the mirror.

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

[2] https://news.ycombinator.com/item?id=11412172

[3] https://news.ycombinator.com/item?id=10884840
People do verify it (that's how this guy was caught). They just can't watch every facility all the time; there are too many.
>Do not eat anything that contains sugar.

Are you including fruit in this?
Is giving up sovereignty of a city not the politic speak way to say that a foreign government will rule it with military might? Seems like a toothless leasing of brand name if not. Being able to say "a corrupt dictator won't steal your factory if you build it here" and have it believed is half the point, no? Can't do that without military presence.
Are you asserting that the posterior I described doesn't match the facts? If so, can you explain?
What do you mean by messages being untyped in Akka.NET? You can inherit from ReceiveActor and register handlers for specific types easily.
That thinking works in a perfect world with perfect information, 100% rational agents, and frictionless movement. It doesn't work for impoverished, illiterate, uneducated people with the weight of poverty, culture and a myriad of other practical considerations from food to roads to family preventing them from take the 100% rational actions that you expect them to take.

The problem with you libertarians is that everything you say works with spherical objects in a frictionless vacuum, so to speak. But the real world isn't such a place. Outside your idealistic worldview everything collapses.
> An instruction set is a language of commands given to a machine. Nobody can patent, copyright, or otherwise own a language or an instruction set.

This is wrong. Intel owns patents which protect the Itanium ISA. Non-Intel Itanium implementations would infringe on the patents, not that anyone would want to make one.
CC 063: Content Marketing for News Focused Websites with Christian Toto
Yes I wonder if taking the World Bank job indicates an end of this effort, or a platform to push it harder?
#unlessallelse
Indeed, if you remove the governing-related problems from his government recommendations they are pretty much flawless.
No, it is an indicator of fundamentalists who, I feel, hold some really regressive and oppressive views on women and Western society. Extremism is the more virulent version of fundamentalists.

The UK has decided that freedom of religion, no matter how intolerant it actually is, is to be protected. Even if it denies some human rights. France has decided that freedom of religion cannot supersede human rights, ever.
You talked exclusively about a gender deficit, I mentioned gender surplus.

You also mentioned the pros of online dating, everyone is aware although it sounds like you've had to explain this to other people in your age range and older, you neglected the cons. Females get a gender surplus of men on online dating, if you want females you should pursue situations with a gender surplus of females, and this distinctly excludes online dating.
Always be Closing
Paying with Cash Hurts. That’s Also Why It Feels So Good
Lead Developer Conference Reading List
This already went wrong. We are commenting on an older article. He actually got a chance to try this project and it failed pretty resoundingly.

I eagerly await your "no true Scotsman" response.
How to handle deployment of environment files like crontab
I'm am managing source code and project files via git and server deployment via cloud init but how should i manage the deployment of enviroment files like crontab

Crontab and other files in a repository and/or rsync?

How dou you approche this problem? Folder structure?
Needed to add how her family was BFF with prominent VCs in the first place.
Assessing the success of your policies by comparing them with Maoist China is going for a rather low bar.

And is it working fine? Socially China has huge problems. I suggest you look beyond the GDP figure to assess whether a country is doing fine or not.
Appreciate the tips. I'll look into those functions. I like their simplicity already.
A couple of suggestions:

1. It reminds me of the graphical view that is present in the IDA disassembler in which functions are broken into "boxes" wherever there is a jump in control flow. If you're disassembling a C function, for example, this generally means that a box corresponds to some block of code that is delimited by curly braces. The point here is that you don't have a box for every single assembly instruction, because that would be ridiculous. Rather, the function is broken down into several "clauses" that express complex ideas, and then each clause is described textually by several lines of code.

For example, if I want to express something like:

(lambda (x y) (/ (* 2 x) (+ x y)))

then it would be nice if I could draw a box with input terminals for x and y and then type in the expression, rather than having to create three boxes for each arithmetic operation. It would be faster to program this way, and the result would easier to read.

2. Also, drawing inspiration from IDA's visual mode (as well as electronic circuit diagrams), lines should all travel at right angles. There should also be an auto layout mode which attempts to layout the graph so that there are a minimum number of edge crossings.
I've gotten passed this with the help of two reasons, the first is because ISO images (even for minimal installs...) are huge and HTTPS'ing it all would be an expense from the mirror's end (hopefully with better tech this'll become an after-thought...) and secondly I've learned enough to generate my own checksums to copy and paste across search engines (in Google and with quotes, search strictly for your checksum and look for multiple sources sharing the same context regarding your download/image.)

I've had the luck finding and verifying the majority of what I'd concern myself with. But what really frustrates me is downloading something (verified and all...) and then record its traffic downloading its updates via HTTP. I don't know if it's verifying its own downloads but I simply wish applications were more transparent or that applications had no shame in throwing up a screen providing the checksums of its downloads (well maybe for the users like me who have the time to put towards verifying every thing coming in.)

So I love Notepad++, but I hate how its plugin manager (last time I checked...) downloads the majority of, if not all, its plugins from sourceforge and over HTTP. Windows UAC will pop up saying the newly selected plugins want to make changes to my computer - no, I stop there. If I can, then I'll download the plugin from its developer's GitHub and prepare it to use for Notepad++ myself. The plugin manager could be verifying packages, the packages could be hosted on something other than sourceforge, or whatever else. This is a rant over things I've already built habits and routines around.
I'd say that's not the case with Hong Kong. It didn't rely much on capital or workers from the UK if that's what you mean by the mother country. It flourished mostly as a sensible governed base for Chinese entrepreneurs at a time then China was governed terribly. China has been turning into Hong Kong in many ways.

For example Guangzhou old http://www.angellam.com/ghostwife/
and recent http://skyrisecities.com/news/2016/01/viewfinder-guangzhou-s...
> In the most likely scenario, it's an opportunity for rent-seeking politicians to dole out the credits

That's not how the credits work.
Ah, they should really have put that in the description because otherwise this doesn't seem like that great of an achievement.
I'm not defending the system. It is quite evidently flawed. I'm objecting to the implication that the oil companies are complicit rather than victims of fraud.

>Even a legitimate biofuel producer will see better margins on the RINs than on the fuel...

It certainly seems to create an incentive to cut costs at the expense of quality. I don't understand why Green Diesel didn't just continue to produce poor quality fuel and thereby sell legitimate RINs.
Blackbody radiators and millions of years of evolution are hard to beat. I like the energy efficiency of CFL and LED but I do not like the spectral power distribution or the decay rate and ensuing hue shift of these light sources.

And it's not something only experts notice. If you have multiple bulbs in the same proximity, one fails, whether replaced under warranty or you just buy a new one with identical color temperature specs, it'll look different from the others.

Recapturing heat loss from incandescent to make them more efficient, maybe even on the order of today's LEDs seems more promising to me than arresting decay rates and/or the hue shift problems.
Lower cost of living makes possible economic modes that the already relatively high economic floor in St. Louis makes prohibitive. Plus, the relative benefit of pouring X dollars into an area with lower per capita gdp is much higher: going from 20 cents to $2.20 a day is a much bigger life change than from $10 to $12.

Still could be helpful, and I think we do see it often in some form or another, but is also subject to regulatory arbitrage: two cities pitted against each other to provide the best situation for companies, or Walmart flexing their power to get more favorable deals.
This is like saying banks should ship gold bars to each other, or maybe we should give up on money and use barter. (Money is an abstraction, after all.)

Abstraction is just how finance works. Yes, there is a risk of fraud, particularly in newer abstractions, but that's why we need auditing and enforcement.
enClose 1.4 Released
Proper configuration management system, even if it is for one initial execution only. CFEngine is a good example.
Netflix: You can share your password, as long as you don't sell it
Since he was found after three days and he's not named Jesus...
Looking at the passports that provide visa-free access to 158, 157, and 156 countries, I wonder why Viet Nam and Rwanda grant visas on arrival to specifically some European countries, but not others.

So for Viet Nam; Denmark, Germany, Sweden and Spain are okay, but not Austria, Belgium and The Netherlands.

Interesting visualisation; the map is missing South Sudan though.
> I often have thoughts that can't be phrased in language

Is it that they can't be phrased or that you can't phrase them? I often have thoughts that I can't express through drawing, but that doesn't mean it is an impossibility. I think that we often ignore that the act of putting ideas or thoughts to words is a skill that can be made easier through training.
Is flannel used in Kubernetes for networking by default? Or is it something that needs to enabled and configured separately?
To save a google search, here's an emacs customization to leave cursor at the start of the match.

From http://endlessparentheses.com/leave-the-cursor-at-start-of-m...

(add-hook 'isearch-mode-end-hook
#'endless/goto-match-beginning)
(defun endless/goto-match-beginning ()
"Go to the start of current isearch match.
Use in `isearch-mode-end-hook'."
(when (and isearch-forward
(number-or-marker-p isearch-other-end)
(not mark-active)
(not isearch-mode-end-hook-quit))
(goto-char isearch-other-end)))
"Arch has HTTP downloads but the download page provides the MD5SUM, SHA1SUM, and PGP signature for verification that the files are correct. I just don't really see this as that big of an issue right now."

One of the points in that and article jacquesm linked is that checksum verification still requires trusting the transport. Otherwise, you get fake binary plus fake checksum that then look safe but were for malicious app. There's just an extra thing to change for attacker. No work at all given what was already put in to get to that point.

So, trustworthy transport of binary and/or checksum is necessary. The checksum should still be there even if binary is sent safely, though, to verify no corruption of binary happened due to transmission or storage faults.
First-ever Nintendo 64 Vulkan async compute emulator paraLLel pre-alpha release
This is an SJW site now. Can't say anything race related. I got banned for this comment: https://news.ycombinator.com/item?id=11377867

Can't say anything about Muslims anywhere online or you get censored. Facebook, Reddit, now HN.
Sorry for the stupid association, but you mean changing like Marissa Mayer, sinking their companies even further?
Unfortunately yes. Currently it just checks whether the Pokemon Go login servers are accessible. I would like to add support for multiple regions, but as far as I can see doing so is non-trivial.
> Anyone have any thoughts on an idea I've been pondering for a while: Prolog as a type system [...] traditional formal logic syntax, with resulting usability issues

You haven't really explained what your idea is or how Prolog differs from "traditional formal logic syntax". If anything, Prolog's predicate syntax is closer to formal logic than the many ML-based dependently typed programming languages; except that quantifiers are implicit in Prolog.

Anyway, you might want to look around http://homepages.inf.ed.ac.uk/jcheney/programs/aprolog/ and espectially http://www.lix.polytechnique.fr/~dale/lProlog/

> requently a mismatch with the programming language

I find Coq's syntax fairly regular in this regard. (The syntax for expressing computations and predicates, not the tactic and tactical syntaxes.)

> So, why not use a programming language for type-level programming?

Because of the "mismatch with the programming language" that you yourself have identified as a problem.
Go a step further, make the ship autonomous, run them in flotillas and have an engineer or two between the whole lot for any mechanical issues. they could have luxurious staterooms, given that you'd need only a few crew for a dozen ships.
Why Land and Homes Actually Tend to Be Disappointing Investments
Whether actual fuel is exchanged - or numbers - audits are the only way to catch a cheater. A fraudulent biofuels producer could resell ordinary diesel with just a bit more effort than selling fake credits. A site visit to verify the production of actual biofuels is the method to detect either scheme, so the resolution would be no different.

> The interesting bit here is that is actually quite hard to figure out why what they did was illegal

This was outright fraud (creating and registering identifiers for fuel that never existed).
Sales of Electric Bicycles Expected to Reach to $24B in Annual Revenue
Yes, it is a real distinction. In lock-free algorithms, progress is guaranteed. If they are not wait-free, then they tend to update some values, then try to commit those values with CAS. If the CAS fails, they try again. Wait-free algorithms do the first part, but on the failure, they don't try again, they go off and do something different. All threads can make progress, even if some thread is suspended or dies; no thread has exclusive access to modify the state.

In lock-based algorithms, that is not the case; the thread with the lock can be suspended, killed, or go off on a wild goose chase, and the progress of the algorithm cannot continue. Only that thread may modify the state, and the rest must wait.
This isn't a "crypto flaw" at all. It's a flaw in common name validation that circumvents the normal CA trust chain.

So I'd say it's worse than a crypto flaw since it's much easier to exploit. And there was code explicitly written to circumvent the normal path.

So extra work had to be done in order to make things less secure. That's the reverse of what you'd normally expect, which is that security flaws arise from organizational or individual "laziness."
The first self-driving car fatality proves nothing
On the topic of "why do we need a distributed KV store for an overlay network?" from the blog: there's a good blog post about why Kubernetes doesn't use Docker's libnetwork.

http://blog.kubernetes.io/2016/01/why-Kubernetes-doesnt-use-...
> [Mercury] feels like lego where prolog is duplo.

Except for things like the system described in the featured article, where the unique strength of Prolog is the ability to pass around partially instantiated data structures and use full unification. Last time I checked, Mercury still insisted that terms be ground (or completely free variables), which means that for this kind of problem you don't gain much from its flavor of logic programming :-(
It's just a matter of reciprocity. Look for instance at Gambia: it's visa-free to go there for citizens of countries where Gambian citizen can go visa-free too.

this is just how countries managed/refused treaties with each others, based on mutual interests, history, etc
Anyone else reminded of Passport Please? Imagine having to recognize a fake passport by a slight difference in symbol/text format :)
Which games are useful for testing artificial general intelligence?
I thought MS Nancy was firstname based, but I'm starting to wonder if they're revisiting "USofA oldest ally".
>> Is there a native macOS text editor that supports emacs-like...

Nothing more "emacs-like" than emacs. Turn on CUA mode if common key binds is what you're after.
The parent comment by yxhuvud mentioned Kekkonen in Finland. He was the president for about 25 years in the '60s and '70s.

That concentration of power was so traumatic to the political system that, for the next 20 years, a long sequence of steps were taken to prevent it from happening again. Presidential terms were limited to a maximum of two, and the constitution was eventually rewritten in a direction that removed the presidential powers that Kekkonen used (and abused) to override parliament.
A crime is a crime, whether the "victim" says or not. If an ambitious prosecutor found evidence of password sharing, and it was actually a crime, it's at their discretion whether to prosecute. This could easily be the gateway crime to a larger prosecution.
> "tax" which is unpalatable to the public.

They're right to be concerned: A tax goes to the government and the price is set wrong. What's the correct amount? $5 per barrel[1]? $25? $250? $3000? $3000 would be insane, right? The People would rise up against those who decide that price. Plus, if it's a government tax, it goes to the pocket of the government. If it's traded on the stock exchange, at least it's not the government who's to blame if the pricing is too high, and it's not the government who gets the money - it's redistribution at its most noble name[2].

There are two axes: How high it should be to reduce demand of petrol to a sustainable level, and how high to account for the cost of the global warming. CO2 emissions were stable in 1990, meaning they were consumed by plants which would emit the equivalent O2. All those policies do is attempt to come back to the levels of 1990. So we just have to let companies purchase their emission rights and see where the price goes. If we don't succeed, it will cost trillions, so again we need to factor those trillions into the cost of barrels. If we just get the cost high enough, we'll either use alternative sources or avoid spending[3]. So, yes, basically, the right cost of a barrel of petrol is the cost of switching to an alternate source, plus the cost of the damage of the global warming: It could very well be $3000.

And fact is, a government isn't going to raise a $3000 tax per barrel. So, when replacing a stock-exchange-traded price with a tax, I wonder why "most economists we read seem to agree".

[1] Meaning: 5% of the price of a publicly-traded barrel of petrol that have the same effect on global warming.

[2] The only thing against trading emissions on the stock exchange is that a lot of people don't trust stock trading anymore. They point out speculation, HFT, subprimes. Sometimes it's a misunderstanding of the usefulness of capitalism, sometimes the public is correct (The financial industry reaps the benefits instead of the end user does). Whether or not it's right, it's extremely sad for the Earth if we replace a $3000 emission cost with a $5 carbon tax.

[3] "Avoid spending" is not a light term here. It basically means a group is going to be really, really poor because we can't build enough goods for them given the CO2 limit.
On the map (https://www.passportindex.org/byRank.php) Greenland should probably have a "more powerful" colour since they get a Danish passport.
*papers, please
If I can save 10 tons of co2 at a cost of 2 dollars and you can save it only at 4 dollars, then if we have to lower the amount by 10 tons with a tax that is evenly distributed the total cost is going to be 3 dollars - 50% more than under a cap and trade system, where I sell you 10 tons worth of co2 credits and implement all the changes.

Since ultimately a carbon limitation is going to mean more expensive products, it is important to limit it as much as possible.

Also I don't see how a cap-and-trade system is going to be more difficult to enforce than a tax, you are still going to have to check if all the companies have paid their taxes.
Papers Please ^_^ and I loved that game, though this is massively hard mode.
Swi Prolog has an interface to python, pyswip:

https://code.google.com/archive/p/pyswip/

It's a bit unstable but if you really, really want to embed Swi Prolog it's available as a .dll - which is how pyswip and all other foreign language interfaces work.
Immediately Team Joins New Relic
I think I understand it just fine, thank you.

> The only reason these scams are allowed to happen is the EPA doesn't have enough manpower to constantly watch over every facility to make sure fuel is actually being produced.

So, if you don't have that manpower don't set up a scheme like that.

Trust but verify, remember?
I think this is a result of "visa agreements on EU/Schengen level" vs. "bilateral visa agreements". Why some EU-countries have bilateral agreements and some not could have different reasons, two I can think of (warning: speculating):

1. No need for a bilateral agreement meaning too few people would be affected by this (think of: number of expats/tourists).

2. Historical reasons, e.g. due to colonialism. This could be true for your vietnam example since The Netherlands got colonies on now-Vietnames territory.
Maybe it's thresholds that are not adding up. Or maybe not.
I believe that is referring to share of total income, which means the rich are getting a bigger piece of the pie while the middle and lower classes are getting poorer or stagnating. In other words, inequality is increasing.

The article doesn't mention anything about How the classes are defined however.
Rolls-Royce is really pushing the fully automated ships http://www.rolls-royce.com/media/press-releases/yr-2016/pr-2...
I can't say for human languages, but in other 'linguistic' notations, I can't deny how the builtin vocabulary and concepts changes everything. Just having lambda for instance.
Great eponymous documentary about this and planned obsolescence http://youtu.be/-1j0XDGIsUg