skysight-inc/HackerNews huggingface dataset:
I also see the need for a company to be able to close an account for truly fraudulent activity and not disclose how they caught the misconduct.

I'm in no way implying that such activity happened in this case, just that the policy makes sense.

An appeal process should be in place though.
I wonder how many of them knew and were accessories to whatever crime took place, be that legal or (merely) ethical.
I experience an increasing renaissance of undemandingness.
i can't tell if this is a joke or not
If there is a rational decision based on publicly available information, it has almost certainly been priced in already. Honest advice: always be aware that it's gambling (and it seems you are). Look to index funds or similar for relatively stable growth.
I would be very interested hearing @coffeemug's views on the tension between building a business and building an open source product. (Those I know who have done this range from "never again" to "lost a fortune in sales")
The Case for Voter Abstention in the 2016 US Presidential Election
There might still be copyrights, trademarks, domains (and even patents).
Something is fundamentally wrong with capitalism. The median standard of living in the US has leveled off, despite increasing productivity. Nobody really knows what to do about this. It has a name now: "secular stagnation".

The US economy is limited by individual buying power. Most Americans are maxed out. It's not like people are saving too much. There's plenty of capital available; too much, in fact, which is why interest rates are so low. But there are few good ways to use it.

There's a broad feeling that something has gone wrong. Some of this drives a desire for new Utopian movements. (Some of this drives Trump supporters, but ignore that for now.) The article doesn't list any successful new ones, though. If anything, growth is in deliberately dystopian communities - the "prepper" movement.

Small Utopian communities don't get economies of scale. Local, artisanal stuff just takes too much labor to make. So, in practice, that's a dead end.

[1] http://www.thenews.coop/49090/news/general/view-top-300-co-o...
certainly. centralising is bad, but this article seemed more like a google shill, rather than debate about keeping/making the internet decentralised. i mean, for the majority of it she was talking about google being a white knight.
I've only looked at Rust in passing, but looking at the documentation, that example is pretty trivial.

'.map' maps over the option. '.and_then' is the monadic bind operation, that you find in pretty much every modern programming language (frequently named 'flatMap'; even Java has this nowadays).
Mobile phones are getting more and more commoditised every coming year. The consumer sentiment too has gone from "I have an HTC" to "I am on Android". I am an iPhone user, but when i search Siri for "What day is the 23rd?" it redirects me to a web search. Google Now says "Sunday".

Not qualified enough to comment on how good this bet is, but AI/deep-learning _is Google's play_ for the coming decade. Here is a recent article that elaborates on the specifics: http://fortune.com/ai-artificial-intelligence-deep-machine-l...

Google isn't alone in this, AI is Nvidia's biggest bet too: http://fortune.com/2016/03/22/artificial-intelligence-nvidia...
I love http://hackaday.com/ and http://makezine.com/ and visit them often to learn about DIY projects and making things.
Manufacturing jobs and service sector jobs are not mutually exclusive. Historical trends do not represent an evolving sophisticated economical stragety, but document economical needs met. The author suggests manufacturing jobs are irrelevant, but all jobs are relevant and necessary.
Yes, developers have multiple opportunities, but often they don't choose what actually works. I did many things over my career, the only one that was truly successful financially was in a closed, proprietary environment. My open-source projects are all semi-failures. So where I spend my time is not my choice, it's my customers'.
"'We have a new theorem--that mathematicians can only prove trivial theorems, because every theorem that's proved is trivial.'" - Richard Feynman

https://books.google.com/books?id=7papZR4oVssC&pg=PA84&lpg=P...
For one, "owning" means that there is no one, except you, who can singlehandedly delete or censor content that you published on the social media platform. This happens regularly e.g. in Turkey to silence opposition. Most recent notable case https://twitter.com/MahirZeynalov/status/780420919470751744

And that's the tip of the iceberg.
TensorFlow Alpha Windows Support
Building roads/bridges is probably the better analogy. Infrastructure type public goods never seems to come from donations, only taxes.
Not joking. It's not crucial at all. Lots of communication is not preserved (eg, phone calls, face to face).
That is really awesome to hear.
The question is: how many people are already doing something like this? The stock has already started to move down so unless there is more news on the way it may not move much in the near term.
> Most people actually want to legalize it because it's fun. It's disingenuous and harmful to pretend this isn't the reason.

I'm really not sure anyone has enough data to know if that's true. Most people actually want to legalize it (in the US), we have data for that. We don't actually know what their aggregate motivations are.

We do know that people care about personal substance use sovereignty (i.e. getting high is fun, and who are you to tell me not to?), criminal justice reform, medical benefits, tax revenue, and yes even spiritual and psychological benefits. All of those are cited by advocates. How those break down in terms of priorities is another question.

Full disclosure: I live in a recreational state (WA), and I work for a cannabis company. Anecdotally I meet people (advocates, in the industry) across the spectrum, from regular users to non-users looking to make money. I know that anecdotes aren't data, but I'm pretty close to the issue in a place where there's little reason to obfuscate; it simply doesn't seem as clear cut to me as you make it out.
Not coincidentally, Hyperledger just started a working group for healthcare. [0] Coincidentally, a healthcare application won this week's Hackathon in Amsterdam [1] https://www.finextra.com/pressarticle/66385/medical-data-app...

[0] https://lists.hyperledger.org/pipermail/healthcare-wg/2016-O...

[1] https://www.finextra.com/pressarticle/66385/medical-data-app...
Designing the next Steve Jobs
https://medium.com/self-driving-cars/term-1-in-depth-on-udac...
has some details.
I wonder if this is part of a move by Samsung to move off of Android? In some ways that would be a shame - the only phones I have owned are Samsung Android phones, love them.

Still, Samsung is large enough to build and maintain their own stack.
Loving a product is somewhat orthogonal. To be successful an open source DB company needs some large customers paying to make that model work.

I dislike cassandra immensely, but I still use it every day.
How do we fix this?

Here's an idea - direct democracy where one can only vote on a topic that he/she has proven a minimal set of competence in. This could be in the form of an exam on a topic (eg. economics) and/or logic test. The goal is that one should not be allowed to vote on something like climate change without knowing the science and data behind climate change.

We need to acknowledge that the world is too complex for one person to know what's best for everyone on every single topic. Our system of representatives is totally outdated now that we have the internet.

The beauty of direct democracy is that it removes the politicians. As long as there are politicians, there will always be corruption (eg. bribery).

Ideally of course we'd have AI deciding our best course of action because humans are inherently biased, but that's further down the road.
That talent will leave twitter.
Entropy Broker: bringing controlled uncertainty where required
I bet they'd lose those users in a day if not hours. That is a really really bad idea for reasons that you already mentioned and so many more.
If this were an unsolved problem, planes would crash much more frequently and this particular problem would arise more often. It's an extremely rare cause of an extremely rare event.

To solve the problem, airlines just use conservative estimates for weight[1].

1. https://www.quora.com/How-do-pilots-determine-the-weight-of-...
Nice tool. Like it. Especially like the fact that it does syntax coloring for different languages. There is nothing like this as far as I know. Usually Markdown editors are not WYSIWYG.
In addition to keeping the food clean, massive amounts of dust derived from any substance can be irritating, even vegetables. Have you ever cut an onion or a really hot pepper?
Again, what's your point? That it's bad that Google tries to make a business out of organizing the world's information? It's the only way to keep doing it. You say:

> One thing that drives me mad about Google is how they say "the world's information", then ignore 99.9% of the worlds information

One wonders what's that 99.9% that you miss. You mention:

> I don't see things like "species extinction", "oceanic water temperature history", or say "dolphin linguistic data", equally represented

What equal representation do you want? A notification when you arrive at home telling you "this is some new discovery on dolphin linguistics"? For what it's worth, even that I'd bet you can get, by letting Google Now know of your interest in the topic, or subscribing to a science news channel in YouTube.

> How many people chew pieces of gum until 100% of the flavor is gone? I'll never know, and Google isn't going to help me, because it isn't a profitable data set.

Is it even known? Google's certainly not going to do the research; research isn't organizing. Would such an investigation even get funding from anyone, to pay the researcher? But supposing it's done, and it's published in some paper or some book, what's your best chance at finding it? Google Search, Scholar, or Books.

> I was (clearly) comparing the relative resources Google invests in some data sets vs others. Are you arguing that Google invests comparable resources in this type of data compared to the resources it invests in understanding Google's users' data sets?

> Before Google Assistant there indeed were those other products, which, I honestly don't get why you chose these ones, they aren't exactly great counter arguments.

Because before Google was investing a dollar in any of:

> "my browsing history", "my location history", "my search history", "an archive of my voice searches", "when I leave or return home via Nest", "who I associate with via Google's communication suite"

it was already investing plenty of resources in those products I mentioned.
Any extraneous cognitive load just takes focus away from what I'm actually meant to be doing.

And Vim is the tool to do just that. It saves your cognitive load spent to edit text so you have more for thinking.
Having driven a school bus during rush hour on the connector and down ponce, I can confirm what you're saying.

We had done a 9 day trip across the US and Canada, through mud, ice, through a nasty storm, down mountains with hot brakes and transmission, but no part of that more stressful than the merges in Atlanta.

I also happen to live here, and what you say about aggression (I wouldn't call it hateful) is pretty accurate. Not only do people typically ignore signals, some will close gaps _because_ of your signal. As a result, way too many people (police included) never signal. It's lord of the flies.
Back to academia with you!
Ask HN: What are the best websites to learn programming languages?
The <article> tag has an opacity: 0.3 rule that you can remove.
and access to Twitter considerable UX/frontend talent

I don't want to insult anyone or anything, but is Twitter frontend that impressive really?
Nuclear program != nuclear weapons. See Iran
Windows 7 Home Premium Product Key 64Bit/32Bit Free for You
Yes, but at least on Android you can change your defaults.

On iOS, you cannot.
Will respond to just one of your points. Don't think we will be going anywhere with the rest of them..

>Going to another planet, and learning how to survive there, including how to properly manage and keep an environment pristine and survivable in a sustainable fashion...

We are not able to keep ourselves from completely ruining the environment here on earth. That we would be able to "learn to keep the environment on mars or what ever world pristine and survivable in a sustainable fashion" is just wishful thinking.

What I think is that the short sightedness we have, as a species will be our doom. And worse, our core system of existence, require people to be more and more short sighted.

So, as much as we might not like it, unless we, as a species, learn to cultivate sustainable habits, we are going to be selected against in this race to become a space faring species. We just might end up going to Mars or a couple of other worlds. But that would buy us some time, but that is about it be it.
So you would press anyone who has worked for Google and Facebook as well right?
The end-user can still install them.
Ask HN: Is it possible to learn web dev/coding from videos?
Can you learn enough from mainly videos to be employable as a web developer/software engineer?
Sorry, don't understand.

If the yellow ink cartridge is empty and I print with black ink only, not dry firing the yellow print head, how will the yellow print head suffer damage?
Feel bad for some of them, not the ones who delusionally chanted "F--- you, Carreyrou!" at the all hands meeting after the big scam started coming to light: http://www.vanityfair.com/news/2016/09/elizabeth-holmes-ther...
In general, if you have to put science in the name, it isn't.
A lot of the Siri IP belonged to Stanford SRI and Siri was basically licensing it. So when Adam left Siri and started Viv, Apple couldn't do anything. Also note that, Viv rarely talked about any details of their technology. Probably they were slightly afraid. At the same time Apple didn't want to pick a fight with a small startup and damage it's reputation. It might change now that Samsung is the owner.
Can you link to your company's website? This sounds interesting.
4.85% of its float or 2.2 days of its average daily volume [1]. That compares with the S&P 500 SPDR's 2 days [2].

[1] http://shortsqueeze.com/shortinterest/stock/TWTR.htm

[2] http://online.wsj.com/mdc/public/page/2_3062-nyseshort-highl...
Actually, you know what people are pissed about? Poor investments like this create a business environment where it's harder to get really useful things done.

It becomes impossible to bootstrap, and then get funded because VCs a) are looking at all the wrong metrics b) make development more expensive because the money they've thrown into the sector has pushed up costs.

Poor investments as an employee, that when you're looking for an interesting, innovative hard science company to work for, you're comforted by a stream of companies that have been evaluated, not on their scientific merit but on their ability to sell an image of themselves. As an employee who doesn't just want to take a pay check, but would like to actually do something useful this is frustrating.

You might say "it's their money, they can spend it how they want". As far as I'm aware that's not really true. The majority of the money invested in these kinds of companies ultimately comes from Banks. It's either money created out of thin-air (and doubly diluting every dollar you own) or it's a debt owned to the banks customers.
Eh, there's been work done on this, e.g. order dependencies. Not sure how much of it has made it into commercial SQL engines, though.
Mike has been one of the most genuine and helpful people I've met - always offering to lend an ear or offer suggestions and feedback. It must be really difficult to stop doing something that's been such a core part of your effort and thoughts for so long. I hope you and the team find interesting and engaging things to work on.
Cool Nobel prizes visualization
This breaks the HN civility rule so badly that we will ban you if you do it again.

Please (re-)read the site guidelines and follow them from now on:

https://news.ycombinator.com/newsguidelines.html

https://news.ycombinator.com/newswelcome.html
Play notes, chords and arbitrary waveforms from Python
تور تایلند ویژه ۳۱ اکتبر ۲۰۱۶
With faster multi-core CPUs, much more RAM and SSD, smartphones are probably powerful enough to run a privacy respecting AI assistant locally: watch your web access, phone access, location, and do all processing locally with no data leakage. Ideally it would be open source, or at least from a trusted company that made money only from selling the app, and not off of our personal data.
Outsourced Ad ops
I'm really glad we're finally starting to win the dynamic library battle; it was a kludgey fix for a transient storage bottleneck that has been plaguing us with unnecessary complication for at least a decade now. Predictability is a good thing.
You may not impugn a fellow user's integrity like this when commenting on HN. Please don't do it again.
Here you go, AU gov notice:

https://www.productsafety.gov.au/recall/samsung-samsung-top-...
We're going to add a site guideline asking not to post claims like this unless you have data. Otherwise it's just distracting rhetoric.

Everyone always thinks HN is biased against their view. Since all these positions contradict one another, they must stem from cognitive bias rather than reality. That explains why discussions based on them are never any good.

We detached this subthread from https://news.ycombinator.com/item?id=12646627 and marked it off-topic.
Lessons learned from a lean experiment (a travel app/game case study)
Meh. I had to look up what version of iPhone I had earlier today. All I know is I bought it within the last 3 years.
The best part is that any fool can see that impact factors are a terrible proxy for real impact, and in fact the editors of several glam journals have pointed this out (disclosure: I have plenty of glam papers on my CV*).

But since it props up a myth that senior faculty like to believe (i.e. their shitty old Cell paper is great because Cell is/was great) that's the yardstick. As the director of a CCC once told me, it takes too long to see the impact of papers (citations piling up) so the JIF is used as a proxy.

Sort of like how it takes too long to do good science, so some people just publish whatever garbage they can sneak past the editors (ha fucking ha only serious). There is a LOT of crap in the literature as a result.
From Always Sunny in Philadelphia:

Mac: Unemployment runs out, what are you gonna do then?
Dennis: Well then we'll just go on welfare.
Mac: Welfare is for people who need it, like drug addicts
and single mothers. It's not for over-privileged pieces of
shit who want to waste millions in taxpayer dollars...

Basically,
1) unemployment runs out;
2) it's difficult to get welfare unless you have children or have a disability, and being classified as disabled is more difficult than commonly believed, especially for younger people, even though it sometimes seems like every idle soul is drawing a disability check; and
3) since the Clinton-era reforms many welfare programs have a lifetime cap.

FWIW, unemployment can pay better than minimum wage because unemployment is usually paid as a percentage of your earnings. But you'd need to have been making substantially more than minimum wage.

Also, a lot of social programs are pretty good about proportionally cutting back on benefits as income grows. It's still a real problem with some programs (there are many, and they're byzantine), but I think it's exaggerated somewhat. It's like "write-offs" for taxes--most people have no understanding of them, and believe they function far differently than they do in reality. To quote another one of my favorite shows:

Kramer: "It's a write-off for them."
Jerry: "How is it a write-off?"
Kramer: "They just write it off."
Jerry: "Write it off what?"
Kramer: "Jerry, all these big companies, they write off everything."
Jerry: "You don't even know what a write-off is, do you?"
Kramer: "No, I don't. But they do. And they're the ones writing it off."
That's what literally everyone does for changes on mongo, from Meteor to Firebase. There isn't another way
U.K. Plan to Make Companies List Foreign Workers Faces Backlash
iPhones have not had a history of exploding in large numbers, as opposed to Samsung devices.
As I said, planting data is harder that it looks, and groups that have tried have often been caught. Also, the subjects of the leaks have not come with accusations of planted data. I'm comparing wikileaks' track record to that of independent (or probably state-sponsored) hackers like the ones who released the Britam data, and it's not based on nothing you can say that the former has a better track record.
The only draw of markdown is that it's just plain text. If the overhead of learning it doesn't appeal to you then I think a standard WYSIWYG word processor would be a better choice.
Google shift focus towards hardware market shifts
Google’s hardware product line can be considered as a bold step by the company towards interconnected hardware ecosystem. Google is working towards an “Individual Google” which will be personalized for each user.
As a former employee at Rethink, I'm super sad to hear about this, but know that they are all great people capable of even more than what they have accomplished with this amazing database! Will continue to recommend RethinkDB ferociously to everyone I know and will always fondly look back at my time there!
This is how FFXV was optimized [CEDEC]
Even if you restrict yourself to the weakest programming model possible -- finite state machines -- proving program correctness is still infeasible in general (PSPACE-complete for very simple FSM languages; EXPTIME or even 2-EXP for richer FSM languages, I think). It is a mistake to ignore all the results about FSM verification.

In your post, you write:

> However, almost all correct programs of interest are going to be essentially provably correct. Moreover, the proof of their correctness will be relatively straightforward.

This has been shown to be false in practice. The difficulty of proving real-world program correctness shows that real-world cases can get arbitrarily close to the worst-case predicted by the theory. Proving small programs like seL4 took required experts, and even then demanded an extreme simplification of all involved algorithms so that proof would be feasible. Even then, the cost was far beyond what any "ordinary" software could afford, and even after a great streamlining of the process and the use of "easily verifiable" languages, it is expected to be suitable only for resource-rich high-assurance software.

Note that I'm not saying that formal methods are useless. I regularly use formal methods myself. But making them affordable is an art.

I've written at length about the relevant theory here: http://blog.paralleluniverse.co/2016/07/23/correctness-and-c...
An acquisition of Twitter could destroy 25% of Salesforce.com’s value
This is sad - Was planning on moving from Postgres to Rethink as our plan once we start to hit scalability limits / needing to shard. I guess we will see how the open source efforts go.
I find it hard to trust HN users as I was about to adopt and migrate from MongoDB to rethinkDB based on consensus by HN user comments about it being undeniably superior, yet it was actually close to shutting down apparently.
How did that work out?
There's also a little downward-pointing arrow at the bottom, but I agree the design is unintuitive.