skysight-inc/HackerNews huggingface dataset:
I personally don't see automation as a bad thing in principle. But without universal basic income (and a real chance for it in the current political climate), it poses the danger of fucking the world over big time. Think multiple simultaneous French Revolutions, or maybe even a world war. This is not something I want to see, and I shy away from even thinking about it.

Moreover, a lot of those people we're automating away are our friends and family members. Who do you think will they turn to for support? I'm already preparing myself for the possibility of supporting some tech-illiterates in my family in the future.
I'm reminded of the book 'Wasted Lives' by Zygmunt Baumann. In it he describes how the ever changing nature of capitalism constantly creates a population that is surplus to requirements. Think of what happens to dockside communities when the harbours are automated and the dock work dries up. Or coal mining towns when the mines are closed. This pattern is repeated all over the world throughout history as capitalism renews itself through creative destruction or flees to low wage countries in response to labour militancy.
If your definition of "theft" is "taking something by (threat of) force", then (1) private property at least of land clearly is theft, (2) one could even go further and argue that some forms of taxation aren't theft, and (3) police are regularly involved in theft even while doing the right thing.

The key is in "taking something": there is a baseline state of the world against we're comparing the current status quo.

For point (1), there is clearly a historical baseline in which no land was owned by anybody, and all land was equally accessible to all. Then people started to make claims that some part of land was theirs, and that they had the right to exclude others from it - if necessary by force. They took something from others by (threat of) force - hence committing theft according to your definition, and this theft is enshrined by modern property law.

For point (2), consider the way income taxes work in many (most?) countries. Instead of money being paid by / taken from the employee, the money is instead withheld. The money that is "paid as income tax" is in reality never the employee's to begin with, so it is not taken away from the employee - hence no force is involved.

You might argue that the money is taken from the employer, but nobody forced the employer to employ someone.

For point (3), consider what happens when person A owns some widget, but person B enters their house at night and takes it from them - without force, because person A was asleep. Note first that, that is not theft according to your definition! Later on, person B is tracked down by police, who arrest him or her by force to return the widget to person A. The police have just engaged in theft - which is totally absurd use of language, but a necessary consequence of how you want to define theft.

Points (2) and (3) highlight something important: what belongs to whom is always a social construction. Social convention (encoded into law) says that land ownership is possible, and therefore land ownership is not actually theft. Social convention says that police are allowed to take stolen goods back to their original owner, and therefore those actions aren't theft. And whether you like it or not, social convention also includes taxes, and that is why taxes aren't theft. Because at the end of the day, the useful definition of theft has nothing to do with force - the useful definition of theft is "taking something against the established rules of society".
Anyone knows whether there's similar thing for Mesos ?
>Germany (the Nazis)

IIRC this actually happened, albeit on an individual basis: When prosecuting communists in the 50s and 60s in Western Germany, some judges considered the defendant to be a repeat-offender if they had been convicted of being a communist in the Third Reich.

Yes, the judges were former Nazis.

Edit: Source (German, I'm afraid): http://www.heise.de/tp/artikel/14/14361/1.html
A car covered in these panels will exist. Probably self driving :)
From later in the article:

> Almost all of the thousands of theorems studied by Simpson and his followers over the past four decades have turned out (somewhat mysteriously) to be reducible to one of five systems of logic spanning both sides of the finite-infinite divide. For instance, Ramsey’s theorem for triples (and all ordered sets with more than three elements) was shown in 1972 to belong at the third level up in the hierarchy, which is infinitistic.

> A breakthrough came in 1995, when the British logician David Seetapun, working with Slaman at Berkeley, proved that RT^2_2 is logically weaker than RT^3_2 and thus below the third level in the hierarchy.

> “Since then, many seminal papers regarding RT^2_2 have been published,” said Weiermann — most importantly, a 2012 result by Jiayi Liu (paired with a result by Carl Jockusch from the 1960s) showed that RT^2_2 cannot prove, nor be proved by, the logical system located at the second level in the hierarchy, one rung below RT^3_2.

So: there are five nested axiomatic systems that have been in common use to classify how much a theorem relies on infinite concepts. RT^2_2 is weaker than the third of those, and hard-to-compare with the second of them. (The second system can't prove it, but it also can't prove the second system.)

The new result says that RT^2_2 is reducible to primitive recursive arithmetic, which should mean that PRA is capable of proving anything RT^2_2 can prove. The article mentions that Mysterious Classification Level 2 is also reducible to primitive recursive arithmetic, so, as far as I understand things, PRA was already a system that fell "between the lines" of the five Mysterious Classification Levels (since Mysterious Level 3 is infinitistic and PRA is not).
Clojure.spec Guide
Do you use getattrlistbulk() or do you only use cross platform APIs?
Apple Working on Amazon Echo Competitor, Opening Siri Up to Developers
Pro Tip: Just use the mobile web version of Facebook.
Google now handles at least 2 trillion searches per year
Schlüsseldienst Stuttgart – Türöffnung – Tag Und Nacht
But how does this compare to in other countries? I suspect the percentage is significantly higher in Europe (especially smaller countries like the UK), and higher still in parts of Asia like Japan. If this is so common in the US (where cheap housing is apparently the norm), it makes you wonder how it compares in other places where space is more limited...
Thank you! I will opensource for sure and post about it here on HN, stay tuned :)
American history is one of large migrations of people to where the jobs are. The quantity and kinds of jobs available in any location never were static.
Distro supplied packages are a handy way of receiving timely security fixes without keeping too close an eye on recent CVEs + application changelogs.
Indeed. Adroll seems to be one of those few places not totally blinded by JVM. Strong presence of D and Python on their stack seems hard to resist. Sadly, they are not in India (yet?).
Natkhat Chotu – Kisna
Although he said "at the end of the day" every other sentence, and not all of his plans were feasible, it was interesting to hear him on the Joe Rogan podcast.
I don't even understand the naming. Wasn't WinRT supposed to be the ARM version of Windows 8? Thus the Surface RT product? Which is now pretty much dead?
> For unvested shares, you buy the shares and pay for them immediately, but the company has the right to buy them back at cost if you leave before a certain duration of employment (which is when you "vest").

I guess what we have at Google is different. I don't give them any money, and the shares vest over time. (Might be just a misuse of terminology to use `vest' here?)
This new search engine could be way smarter than Google
Saltwater Brewery “Edible Six Pack Rings” [video]
You're missing the point. It doesn't matter at all if there's any evidence that a given claim about a particular version of an app is being tapped; you have to assume that they all are, all the time, and act accordingly. You're never going to know, and certainly not ahead of time; best to assume they're all tapped. Which, as we all know post-Snowden, is the only reasonable assumption.
The self-retracting charger on the first one is very cool, and a very good solution to a common problem.
> Also in continental law sentences are shorter and more reasonable; 8 years for murder etc.

This may be the most European thing I've ever read.
CNN and the Washington Post both reported that WhatsApp and Telegram were found on several of the Paris attackers' phones, but that the content wasn't able to be recovered.

http://www.cnn.com/2015/12/17/politics/paris-attacks-terrori...

https://www.washingtonpost.com/world/europe/paris-attack-pla...
We do have theories. But all of them include some form of heavily progressive taxes (even on property) and redistribution.

But anyway - here is my theory (without touching taxes) - every year kill the 10 richest people in the country. It will create very good incentive to give away parts of your fortune.
If you don't have good alternate options for earning your income, they can always shaft you one way or another.

If you have good alternate options (eg another startup trying to hire you etc), you can demand better conditions.
Presentation Tips Hurdle 5 – ‘The Curse of Knowledge’
They're tied together because then the premiums are paid for with before-tax dollars rather than after-tax dollars.

The original reason employers offered it was because in WW2 there was a government-imposed wage freeze, and companies got around that by offering benefits like health insurance.
But don't forget about http://slatestarcodex.com/2014/07/30/meditations-on-moloch/. Capitalism, while great initially, is getting very problematic now - its incentive gradients pull us more and more in directions we don't want to go. We need to alter those gradients, it's not a question anymore.

I don't think there's a coherent "ideology" that would be better (nor do I generally think accepting ideologies wholesale is a good idea), but UBI feels like a part of the right solution.
He takes out a little 8-bit computer mounted on a breadboard with a few LEDs and pushbuttons, and enters a few dozen machine instructions bit-by-bit.

Mainframe computers and minicomputers once had lots of blinking lights and buttons, so you could do that sort of thing. It was the only way to debug low-level code. It was not fun.
Because needing to do something regardless of success or failure is incredibly common (e.g. stop a progress bar, re-enable form inputs & buttons).

The (promises) spec is lacking w.r.t. this use-case, and most ajax libraries (and a lot or promise libraries) recognise this by implementing a 'finally' equivalent.
Most folks don't even have passports, let alone money to support themselves while looking for a job. Many countries will require that you know the local language or take classes (and you might have to pay for those classes). There are usually requirements for money in the bank to supoprt yourself and your family. Here (Norway), you need to apply for immigration for each family member. Your family member may or may not have the right to work in the new country. Many have restrictions that you need to be a skilled worker and/or have a pre-existing job offer. Shipping your belongings overseas is expensive - I gave most of my stuff away, though my situation was marriage instead of job-based so I had a household waiting. Others don't have this. You still might need to pay for health insurance even though most have universal insurance. Tax returns are more of a nightmare. It takes a fair amount of planning and money to do such things, and if it all fails, or you lose your job - you just wind up back in the states.

Folks from the EU can live and work in other EU countries without these sorts of restrictions and without so much formal paperwork from the employer.
The nasm/yasm macro packages in x264 source can do all this for you and more, across i386/x86-64 sysv/win64.

The Win64 versions are a little less optimal IIRC, but to be fair Win64 is dumb.
Hi antirez, I think we just have two opposing views about what constitutes simplicity.

I agree that Redis has the rare advantage that one can understand a command at a time, and the cheat sheet is essentially all that is needed to work with it efficiently. Many systems have a documentation that is much more involved, and in this sense Redis is simple.

Still, the reason I find it non simple is that it seems like you (or other contributors) added a random selection of data structures and operations in it. It is difficult to imagine which operations or data structures will be available without consulting the instructions. For instance, there is hyperloglog, but there are no trees or graphs, or sorted maps. And lists have LPUSHX, but no LSETX, nor there is a LLAST operation (I guess it may be for efficiency reasons, but then LINDEX has the same complexity). Sets have SUNION and SUNIONSTORE, but there is no LCONCAT or LCONCATSTORE.

Let me add an example, since I think it highlights the difference in approach we may have. I find the Scala collections very well designed and easy to work with. Each collection has essentially the same (large) set of operations, from `map` and `filter` to more sophisticated ones such as `combinations(n)` or `sliding(len, step)`. Not only that, but usually this operations will preserve the types, whenever possible. This means that, say, `map`ping over a list will produce a list, while `map`ping over a string will produce a string (if the function is char -> char) or a sequence otherwise. Similarly mapping over a bitset will produce a bitset if the function is int -> int, or a set otherwise, since bitsets only represent sets of integers. This allows me to write even very complex algorithms succintly, without needing to consult the API. I find this very simple from the point of view of the user, although the design for writers themselves is pretty complex.

On the other hand, comments such as http://stackoverflow.com/questions/1722726/is-the-scala-2-8-... prove that some other people find it complex and daunting.

In short: I find Redis easy to use (and this is one of the reasons I do use it often!), but not simple in the sense that it is easy to grasp the design.
Serverless Framework: The Best AWS Lambda and API Gateway Automation
Or is this a good thing? I mean, I know it's de rigeur in journalistic circles to assume that any new trend must be a terrible one, but... if people are happy, and able to find jobs, without needing to move, this is a pretty good thing, right?
Evey now and again I see a picture or article being shared around saying Facebook are spying on you and how their apps have all these permissions to use your camera and phone audio.

If they are on android, I tell them to open their system settings and show them how Google Search has just about every privilege on your phone and has had it since they turned it on.

Even if people are concerned they still don't stop using Facebook or android. :/
I do not think 8 years is even close to being reasonable for premeditated murder.
having to look for it using google is somewhat of a paradox, imho
> Would it have made you reconsider the offer?

On the margin, definitely. Basically as always, it depends on what other options you have available.

(But if the job is only worth taking because of the equity position, then don't take it: without this information, you have literally no way to tell your stock from worthless junk.)
Not quite, I think, although I haven't read the original paper.

There are some mathematicians who doubt that there is an infinite object (we call such mathematicians "finitist"). For such mathematicians, there is a large chunk of the mathematical literature they just can't use, because it relies inherently on the existence of an infinite set. Ramsey's theorem for pairs looks like it relies on the existence of an infinite set; the surprising result described in this article is that while RT_2^2 talks about infinite objects, its proof doesn't actually rely on them. So finitists are free to use it.

Even more, according to that article, the introduction of R_2^2 into a proof apparently doesn't break the property that "there is an algorithm to compute the construction the proof is doing". Previously it was thought that introducing R_2^2 to an otherwise "computable" proof (that is, one which carries out some computable operation) might stop it from being computable (that is, would make it so that no computer program corresponded to what the proof was doing: basically making it less constructive). It is now known that that is not the case.
In Faint Praise of Voice Assistance
https://mbasic.facebook.com has been amazing for me. I don't have Messenger nor Facebook on my phone, it's a faster and data plan friendly alternative. Not to mention no notifications.
"believe" is the operative word here. It seems to me that a lot of exploitation of the low and middle class in the US comes from maintaining the belief in the "American Dream". "The poor see themselves not as an exploited proletariat but as temporarily embarrassed millionaires", and all that.
The flashing bit looks annoying, but I think that electronic picture frames that don't suck are finally here! A poster that changes during the night(so you don't see the flicker) and you wake up to see something new every day. I am really excited for this tech!
My course started with learning structured programming logic by drawing structograms. From 'what is a variable?' to several sorting algorithms and their time complexity. No keyboard was touched, everything was computed by hand to tables. I found it hugely satisfying and think just doing the thinking-like-a-machine bit is a great addition to any curriculum. It doesn't need to make programmers out of every one, it just needs to show young students that programming isn't this black art only math geniuses can aspire to, because it's too often portrayed that way.
If they don't want to change this provision, insist on getting all (or most) of your compensation in cash, not stock.

Ie only accept the job, if the cash alone is enough, treat the stock as worthless until proven otherwise.
They mention that this helps cure some issues with regards to resource sharing / memory usage, etc. But does each VM still have a static allocation of memory?

One of the main benefits I have now is that if I run a number of containers that all take various amounts of memory, I can just throw them on and they share memory amongst each other quite efficiently. If I have to make a static allocation of memory for a VM, I'll typically choose a conservative memory number, and usually under-utilize the machine, wasting a lot of memory per-instance. Not so bad since I chose per-pod, but still an issue.

As it happens, this same issue is why I'm leaning towards lightweight native applications these days instead of an aggressive greedy virtual machine that grabs a bunch of heap. Golang/Rust in particular.
Yeah, I feel the same. At least give us a simple checkbox, "Don't show this to me again". Every time I open the web application, having to get rid of that pop up is very annoying.
> Twenty-four hours is not typical. [...] four hours is more common.

I'm in the industry, and [citation needed]. Four hours is not remotely typical for a final render frame, especially now that path tracers are the de facto standard.
Thanks :). What's absurd is that they released (redacted) numbers for phones outside of government, but claimed that even redacted government phones were exempt from release. Because of privacy reasons, and because they'd be interrupted at home. So, they essentially gave themselves FOIA privacy while giving strangers information on strangers.

The judge eventually just told them to just Google the phone numbers as a check if they're public numbers. They followed with other checks, and a longish list of numbers was the result. There was one government phone redacted, but we got the name of the person a bit later, with just a name, no number.
I don't think 8 years for murder is reasonable. Within a lifespan of 80 years, someone could kill about 10 people. That doesn't seem reasonable to me.
I agree that the nature of the article is bad but still I would not be surprised to hear that Facebook is listening to phone conversations. That's why I don't use it. :P
Maybe now the iOS spellchecker might do the same thing.
That is also for the sake of optimzations though. It reuses swimming physics and animations because it makes code shorter
Hey! Yes I'm interested, the PR was not handled for the usual reasons but making the commands variadic is a good idea. However I'm surprised there is not just the need to change the command table since I remembered, incorrectly, all the variants were handled by a single function.
Very interesting, but http://neanderthal.uncomplicate.org/articles/news/articles/t... link leads to 404, I believe right link is http://neanderthal.uncomplicate.org/articles/tutorial_opencl...
There's plenty of room before we get to the quality of reality. ;)
Actually it's runc that is the linux container version of OCI. Docker is a higher-level abstraction which calls runc by default but can call any OCI-compliant runtime, including runv.

See https://blog.docker.com/2016/04/docker-engine-1-11-runc/
Less than half of americans make more than $30k / year these days.

http://dailycaller.com/2015/10/25/1-in-2-working-americans-m...
It sounds like a creepier version of google now which listens for many keywords instead of just one, is it not?

Question for the experts: How much battery would it actually drain if the mic was constantly activated and the app was scanning for keywords. I mean, you could limit the scanning to times were someone actually speaks and otherwise remain in a sleep mode. The keywords are then synced only when the user opens the app.

Did anyone ever check if something similar was mentioned in the google now TOS?
Speak of the devil:

http://www.globaltimes.cn/content/984988.shtml

It is like they come up every year and say: "we are really going to do this now."
Yes, that or Face Slim.

https://f-droid.org/repository/browse/?fdid=org.indywidualni...
Me. I'm about to travel around the world and I'd like my friends and family to still be able to contact me at my current number while I'm away. I'll be getting prepaid SIMs and presumably a new number wherever I go. Twilio should allow me to forward just calls from a whitelist (telemarketers/scammers be damned) and only at certain times, since my timezone will be changing frequently.
You would have to have a direct link to your counterparty. Otherwise you'd have to account for why your upstream ISP had record of traffic that you cannot produce any records for.
Before laughing too much at the European idea of justice, think of the absurd sentencing that regularly happens in the US: A "60 Minutes" story some years ago reported that a California man was sentenced to life in prison for shoplifting two double-A batteries. Yes, life for a pack of AA batteries.

He was a twice convicted felon who had already served his time but got mandatory life for a third crime, even a misdemeanor like shoplifting, under California's three strikes law.
Can you imagine? If you had your wall papered in e-ink panels you could have localised control too, cast something to one in particular or put up all your holiday photos, one after the other.

Would not be pleasant when your whole room is flashing though.
I was unaware of the 48 days delay. Thanks for the link.

So, there is some risk in terms of temporarily lost liquidity, but I would still stay that comparing this to a traditional crowdfunding where investors actually lose control over their funds is nonsensical.