skysight-inc/HackerNews huggingface dataset:
While we're at it, let's not forget about the Armenian genocide (which Turkey still denies), and the recurring genocides in Africa (in particular the Tutsi genocide in Rwanda) in more recent history.

What you seem to gloss over is that Germany's crimes still play a strong role in the politics and culture of present-day Germany (to the point of obsessive paranoia about any expression of patriotism).

Even Japan -- which compulsively avoids admitting any wrongdoing -- is regularly facing the crimes of its past.

The US is not just built on the successful genocide of Native Americans. There is also the slavery and racial segregation (which still reverberates throughout American culture and politics though everyone seems to pretend it's no longer an issue). Then there's the religious fundamentalism (resulting in the Prohibition, the Red Scare, the War on Drugs, homophobia, Creationism and all kinds of other systemic problems). The internment of Japanese Americans during WW2. The McCarthy era (which likely re-enforced the underlying causes of the social problems we still see today by persecuting left-wing activists). The various CIA assassinations and coups, especially in South America. The gaming of Middle Eastern countries (including funding Islamist extremists until 2001). Agent Orange and other crimes in Vietnam. The mass seizure of communication data of its allies (both political and civilian). The mistreatment of Muslim or Arabian-looking Americans after 9/11. The blanket Authorization for Use of Military Force that cemented the US's permanent state of quasi-war. Drone strikes, including those against its own citizens abroad. Guantanamo, Abu Ghraib and black sites. Detention of citizens and foreign nationals without any process or trial. Extraordinary rendition and enhanced interrogation (i.e. torture). Systemic police brutality (Occupy, Ferguson, etc). Interfering with Ukraine prior to the secession of the Crimean peninsula ("Fuck the EU", right?). And so on and so forth.

The US is not just morally questionable. It is morally reprehensible. And it's chock-full of itself. The only reason everybody else is tolerating this behaviour is that the US is armed to the teeth and willing to go down fighting. The US isn't on top because it's good. The US is on top because it is holding the world at gun point.

Here's hoping that when the American economy is eventually overshadowed by whatever powerhouse comes next (my bet is still on China or India) it won't do something incredibly stupid and hurt us all.
The Pacific Ocean is finite, but if I try and empty it with a bucket or even a fire truck, it might as well be infinite.

Most explanations of 'peak' hydrocarbons make two errors - the first is that they don't understand what reserves are, and the second is that they don't factor in technological innovation as a cost reducing force. People like to throw around 'moores law' as applying to solar and that it will cause it to overtake other energy - but what they forget is that moores-law changes also apply to extraction technology, mind that EROEI continues to favour hydrocarbon based technology, and will do so for a long, long time.
California and water wars go back a long time.

Water law is incredibly complicated (grants, rights, etc).

It's wikipedia, but still a good read:

http://en.wikipedia.org/wiki/California_Water_Wars
Existential types are dual to universal types.

Universal types occur in polymorphic types. Like length

val length : 'a list -> int

It works for all values 'a. Really, this is better denoted by an explicit binder

val length : forall a . a list -> int

and this is what the preceeding quote implies---this variable is "bound" by a universal binder. What it means is that the user of `length` gets to make a choice about what the actual value of `a` is.

"Existential types" is short for "existentially bound type variables". For this we might write something like

val x : exists a . a list

which indicates that we have a list containing some values of type `a`... for some, unknown type `a`! In other words, the following are both, simultaneously valid values at type `x`

let x : exists a . a list = [1; 2; 3]

let x : exists a . a list = ["foo"; "bar"; "baz]

The type system has "forgotten" what the type `a` is.

In GADT syntax we write these like

type ex = Ex : 'a -> ex

Because the type `'a` does not get exposed in the final `ex` type it must be "forgotten" and therefore existentially bound. To make it more clear we can determine the type of the following function:

let build a = Ex a

which is

val build : 'a -> ex

and should really drive home the idea of just "forgetting" a type.
Hey, I'm the Kenneth quoted. The quote was taken out of context, but what I was referring to is that in this scenario, you're trading a derivative and not the actual share. You're entering into a private contract with the buyer where, in exchange for a set amount of money, you're obligated to hold on to X shares of the stock, to liquidate the position as soon as legally possible during an IPO or acquisition, and to give him the proceeds. It's similar to an option on the public markets, but without the exercising bit. The buyer does not at any point own any actual shares, and does not end up on the company's cap table. Because no share changes hands, the right of first refusal doesn't apply.

This is good for the buyer, because he is guaranteed to be able to complete the transaction. This is good for the company because they don't have to choose between two annoying options: spending capital repurchasing the stock at a price set by an outsider, or having to deal with a new investor on their cap table with full information rights and counting towards their SEC investor limit.
Done. I comment from a too active account to be a paid comment.. Fanboy maybe a bit :) but you can be sure I'm a very critical person.
I'll agree it was a bit mean, but I have sympathy for the annoyance that prompted it. irishcoffee responded to a thoughtful comment about how culture can shape attitudes, with a one-line quip about how his DoD buddies say communities like HN are clueless, following up with specific but unsourced claims about Snowden being an attention-seeker, and ultimately plays the card "I'm a single dad working full time. Time is hard to come by" as an excuse for why he didn't source them. IMO then it's not fallacious to expose that for the lacking and possibly deliberately disingenuous argumentative tactic that it is.

If he chooses to post actual evidence, we should move on to discussing that. As long as he only presents his "hominem" (in the form of secondhand claims from his friends, what he supposedly read once, and what the other demands on his personal time are) as evidence, ad-hominem is the only response he'll get and deserve.
There is also a forum topic about this: https://forums.meteor.com/t/production-meteor-apps/193
EDIT: Apologies for the rant, it isn't too relevant to the topic. Downvote deserved.

Our food is made of non-renewable resource.

Every year, we use:

* 105m tons per year of nitrogen-based (natural gas) fertilisers[1]

* 22m tons per year of phosphate-based (mineral based) fertilisers[2]

* 3m tons per year of organic (poo and pee) fertilisers[2]

Nitrogen-based fertilisers are made from natural gas, and phosphate-based fertilisers from rock. Use of fertilisers grow by 10% every couple of years.

Even if there was no further population growth from now, there's not enough resources on Earth for everyone to have a car, not enough space in cities for every couple to have a house. There's not enough food made from renewable resources.

Are you going to give up your car?

Are you going to give up having a nuclear-family home?

Are you going to give up eating meat?

Can you convince everyone on Earth to do the same?

The goal of every politician is to boost GDP, aka spending, aka consumption. How do you convince politicians they are facing the wrong direction?

Thomas Robert Malthus has not been proven wrong yet. It's only because we've discovered a very large cache of oil and natural gas, allowing the population to continue to expand, for now.

The world is fucked.

QED.

[1] http://www.fertilizerseurope.com/fileadmin/user_upload/publi...

[2] http://www.unep.org/yearbook/2011/pdfs/phosphorus_and_food_p...
They need to grow something under those trees.
Doesn't China have a government like that?
Vocabulary based programming
Of course the very idea of it is ridiculous. Elevating humans to the scale of geological forces is vanity in the extreme.
From what I have seen the tooling is definitely great. I am not the worlds biggest fan of Ruby on Rails, but one aspect I have always liked is the scaffolding. Being able to generate the skeleton of an application from the command line without needing to glue anything together or read documentation on multiple plugins.

Don't get me wrong, I love working with React.js, but it isn't a framework and aspects like dealing with data, API's and other more functional aspects can take a lot of time to get working with React's way of thinking. React also requires a certain degree of glue-fu to get it to the same place something like Angular, Ember or Meteor seems to be. I think Meteor could be a nice down-the-line framework. For my next project, I'll give it a shot. I have a friend who has been building something with it and he seems to absolutely love it.

Having said that, if you want to use React and Meteor after reading through the documentation it seems they make it easy to integrate with other libraries and even frameworks. I even saw they mentioned you can use Meteor with AngularJS (which is crazy), but cool nonetheless.
Show HN: After Freeciv – the sequel to Freeciv
Here's a novel idea: charge market prices for water based on supply and demand. The problem will sort itself out.
I wouldn't call it "anti-JavaScript", but "sane JavaScript".

Dart's very similar to JavaScript in a lot of ways, especially most of the syntax. The main difference is that programs have a static shape, which makes tooling and reading a codebase much, much easier.
I'm very surprised by the unwise compromise remediation advice:

>Remove any files, pages, posts, comments or processes added by the attacker. If in doubt as to whether you got everything, set up a new WordPress site from scratch and then restore your last known good backup into it.

>Change all passwords used by the site. Also change your hosting provider and database passwords.

All this after showing how easy it is to hide a backdoor.

If you have reason to believe your server is compromised, not only should you always wipe the web app and restore from backup (delete all of /var/www or equivalent and repopulate with your backup), you should wipe the server and reinstall the OS (or just request a new image to be spun up if it's a VPS/VM) too, unless you can 100% prove that the attacker didn't get root access, and you know everything they did, and know file permissions are set properly everywhere so www-data (or equivalent) couldn't read or write anything sensitive outside of the web server directories.

And even then, it saves you a lot of time, effort, and anxiety to just nuke and reimage by default.

This is yet another reason why frequent backups are extremely important. Just make sure you're restoring to a known good backup (hopefully you can confirm the time of compromise).
> The effective tax rate in Norway is around 45% BTW.

But I believe your employer pays an amount equal to about 20% of your gross income as pension fund payments. I don't know if USA has similar "hidden" costs which makes direct comparison of grass salary difficult.
Dart's always had to compile to JavaScript - the VM was probably never going into other browsers even if it went into Chrome. All of the developer productivity benefits are still there.
"Getting offended" has little to do with political leanings, and a lot to do with being bored and seeking attention. Man-childness, if you will.
Unfortunately, the Linux edition only has 1GB of RAM and 16GB of storage, while the Windows version will have 2GB and 32GB respectively.
Zend Framework 1 integration with Google reCAPTCHA v2
> Ever since the Snowden leaks, cybersecurity has been hot in Silicon Valley. In part that's because the industry no longer trusts the government as much as it once did. Companies want to develop their own security, and they're willing to pay top dollar to get the same people the NSA is trying to recruit.

And that's one way to fight back. Starve or own the talent pipeline. Buy them away from the NSA's front door. Similar to how Apple controls much of the manufacturing capacity for smart phones.

Until the NSA starts drafting people.
When the options are taking the L to Whole Foods vs ordering Fresh Direct, both options suck. Fresh Direct just sucks slightly less.
>Thomas Robert Malthus has not been proven wrong yet.

Ah, yes he has, and so has Ehrlich and every other 'the world is ending' doomsayer that ever walked.

Does the human race have problems? Well, obviously. deep seated religion and superstitious unreason remains a key problem.

Has there never, ever been a better time to be alive as a human? Self evidently, yes. It's the best time to be alive right now.
PROGRAMMER IS INSUFFICIENTLY POLITE
Asus Chromebit puts Google's Chrome OS on a stick for under $100
>So for many low-income people, where having to pay $10 or so for some light data plan isn't possible, their only choice to be online is Facebook.

So what do you expect to see here? Are you expecting Facebook subsidize the cost of getting the users online to any destination, or do you wish to remove the choice to use facebook for anyone who couldn't pay $10?

This is more like "Like choosing taking the bus to city centre over walking directly to my office 300ft outside the city centre is a choice." Bus or no, at the end of the day I still can't afford a full fledged automobile.

Even if they paid me to use Facebook, that wouldn't affect my decision on whether or not I want them to have access to information. If the US government decides to subsidize community college and make it free, they aren't taking away my choice to go to a private school.
That isn't instead. It's in addition.

Anyone saying that we need to only save water at restaurants is clearly wrong. Anyone saying that we mostly need to save water at restaurants is also wrong.

But we could save water at restaurants, as a minor help to the other more major things we could be doing. It's still worth doing.
This is the same reason I have a difficult time really worrying about waste production and energy use in my household[1]. Residential energy use amounts to between 10 and 15% of US energy use[2]; from what I remember, waste is about the same or less.

1. This is not to say I don't practice waste reduction and energy conservation; just that I don't stress if something slips through the cracks.

2. http://www.eia.gov/forecasts/aeo/er/early_consumption.cfm
ISOC's DNSSEC Deployment Map Available in Global Internet Maps (Interactive)
It always amazes me that there is always, always, a harder race out there then the one I've done.

Humbling...
Webkit does not include the JS engine. And the different approaches to rendering is also incorrect. Google has Blink which is - for all intents and purposes - Webkit.

IE6 was closed source, and under control of one company. Webkit is open source with contributions from many major organizations.
I see blame given to Apple and FoundationDB, but isn't the message here choose open-source?
Additionally, it might be useful to install a rudimentary file integrity tool tool (eg. tripwire) as part of the backup process. This way you can tell if (a) new files are added; and (b) if the hashes of any files changed unexpectedly.
The problem will also sort itself out when the water is gone.
I think the mistake is the underlying assumption.

What does it mean to "retire"?

If you mean being able to live comfortably without having to work, I'm arguing (for some definitions of "comfort") that's where you should start in the first place.

If you mean having a house, money in the bank, paying for your hobbies and taking regular vacations overseas, then that's what I'm arguing is a luxury.

Sure, if you define "luxury" as something that goes beyond your goal in life (say, having a reliable amount of savings to afford your lifestyle), then retiring with a yacht at 30 may possibly not be something you'd consider a luxury. But that doesn't change what I said.

I don't view retirement (in any shape or form) as "normal", unless medically necessary. But I also don't conflate unemployment and poverty. So you may very well decide to stop working at 30 regardless of your savings and prior income -- assuming you're guaranteed access to all necessities by default.

As far as I'm concerned, the only reason you should ever end up in poverty is if you have extremely unreasonable spending habits (e.g. gambling), and even then it's most likely an indicator of an underlying psychological or social problem than "your own fault".
Censoring speech eh!
Can't believe there're only 5 pull requests :D
Are you guys going to implement it in the lookup, then?
I agree. Right now, yes. But look at the numbers. In 50 years time it's going to be a bleak time to be alive.
US carrier info is way out of date. It shows one of my numbers as Sprint, but it was ported to T-Mobile over a year ago.

That used to be the curse of Google Voice. They'd only send SMS to a mobile number, but their database for recognizing mobile numbers was terrible.

It does recognize a Twilo number properly, though.
I like the format and the content as well, but the domain name and company name seem pretty terrible, if I'm to be honest.

Imagine explaining it to a friend or prospective user.

"Yeah it's called Taaalk, just go to taaalk.co"

"What, talk.co?"

"No, you need 3 As."

user types 3 more As

"Taaaalk.co is giving me a 404."

"Sorry, you needed 2 more As, let's start over."

"Taalk.co?"

"Just google 'talk'. Actually, wait, don't do that..."

And for that matter, what is the official pronunciation? "Talk"? Or do you have to elongate the vowel? How long should you elongate it for?

Seems like they should decide on a new name before they invest too much into this one.
No, it's a way of saying to the farmers 'look, people in cities are doing their part, now stop trying to deflect responsibility.'
and is called "Ghostery"
An Overview of JavaScript in 2015 (ECMAScript 6)
Your argument here seems somewhat reinforce the "private club" theory.
I haven't used Meteor too much, and I always seem to find myself a bit mystified as to what it really is. Is it the front-end? Seems like no, if you can swap that out with React. Is it the back-end? Can that be swapped? The real-time communication functionality? The tooling? All of the above, with caveats? I'm very curious!
When building www.everydaydreamholiday.com we cached and screenshot all the external images used (never build a scale solution because we never, um, scaled).

Interestingly, we let the photographers know as well, for a variety of reasons including the possibility they had set CC unintentionally. Most were grateful - we woke up one morning to an irate barrage from one photographer who had uploaded his image to Wikipedia without appreciating what that meant. We just changed the photo we used, and sent him a link to the Public Domain Photo on Wikipedia and a dozen other sites he might want to contact who were also using it. He apologised immediately, which was neat.

Given the amazing images available under CC (even for commercial use), it frustrates me when websites try to steal protected images and get away with it. If I can find a CC Commercial Use image of marshmallows toasting over lava in Guatemala [1], you can find a fully legal image of a sunset.

[1] http://everydaydreamholiday.com/2013/01/24/pacaya-volcano-an...
Or "Yeah it's called Taaalk.co with 3 As"
Do you reckon the 1% of the people who completed are looking for something even harder?
The fastest USB 3.0 drive I have is an msata card I had left over after I upgraded, which is mounted in an msata SSD to usb converter case. I haven't tried running my normal OS environment off it yet, but overall performance is way better than a typical USB stick, or USB hard drives.
I can't find a link in this article to any reputable source. CBS probably sensationalized the information they were provided.
Sadly while browsing I read "Scrapping the Smithsonian" and got my panties all in a bunch before I realized that I can't read tonight.

Although on the plus side, it got me to click on the link which was a cool read.
The awesome power of theory: explorations in the untyped λ calculus
Have you not seen the opposition to the governor's existing water plans (for new infrastructure bonds and so on)? Inland California is conservative, and happy to blame liberal coastal elites for the problem even though most of the water is used in the Central Valley. And yet, agricultural lobbyists are really that powerful. Even though farming is only about 2-3% of the state's GDP, the farming lobby is crazy militant. Also, right-leaning politicians love to stoke conflict between rural and urban-dwellers, as it translates into more rural votes at election time.
> I realize that LC is of interest to CS folks who probably think in code fragments that look a lot like this

LC is code. It is a minimalist programming language. The notation is mature and has been around for decades. I don't think there are shortcuts for this, you need to spend time to get accustomed to the syntax, which is the easy part. But you can always use different syntax if you want to. For instance LISP or ML like, there are even graphical notations but I don't think it'll make things easier.

In any case, you usually don't need to write complex terms. Terms can be denoted by symbols and complex things are defined iteratively. For instance, after you defined church numerals, you can call them 0,1,2,3....

Besides, the meta theory doesn't require to write tons of terms anyway. For instance, things like proofs of church rosser property, strong normalization of simply typed lambda calculus and so on.

However, it's true that some students get scared away by the notation. When it looks too much like maths, they run away. But make them play with Scheme and it suddenly much easier!

Actually, in my opinion, the beauty of the LC is that it connects maths and programming. Things like semantics, type checking, compilation, interpretation, reduction strategy, all can be defined formally on this minimal yet turing complete language. And conversely, various logics can be defined using typed lambda calculus (see Curry Howard isomorphism).
The question I'm trying to raise is why we consider all the little things necessary for living to be a "waste of time."

There's a sad irony in the image of first world citizen who can't waste time cooking so they consume large amounts highly processed ready-made food from places like trader joe's and sits down to watch Game of Thrones for three hours and browse pinterest.
Even if you say that, a not insignificant number of users are still probably going to type either taalk.co or taaaalk.co to start with.
No, he hasn't been proven wrong because the basic premise still holds: the amount of non-renewable resources does not increase, we don't know how to recycle a significant amount, the energy required for extraction keeps getting higher, and the demand for those resources continues to exist.
Vesta Trek
Talk Python to Me: A Python Podcast
You can hate this all you want, but the next time your office is out of coffee, imagine having a button that makes it show up.

This doesn't have to be for the home. There are thousands of things that it won't be good for. There are more that it will be good for.
My custom packaging startup Packlane (http://packlane.com) uses Meteor. Really grateful for this update since the old Mongo version had some major issues.
> Are the agriculture lobbyists really that powerful?

Yes. This is hardly limited to California. Dairy, corn, wheat, the list goes on, and in many case pandering to those lobbies undermines the US' international interests.