skysight-inc/HackerNews huggingface dataset:
> Infinity is neither a number nor a quantity. It's not a number, because you can't get there by counting.

That's an oddly narrow implied definition of "number" which, as well as infinity, would exclude everything other than the natural numbers. Maybe it extends to the integers, if you use an unusually generous definition of "counting". But it certainly excludes non-integral rationals, and, a fortiori, all irrationals from the set of "numbers".
For each product? You can't sell any product unless 30% of it was made in India?
PAQ does not use autoencoders, that's the difference. Neural network models for compression are extremely slow and can use a crapton of memory (one top benchmark result uses 32GB of RAM): https://www.quora.com/What-is-the-potential-of-neural-networ...
It should have had the ability to add friends over SMS from day one. I downloaded it on day one and my sister did too. However, since I have Android and she has iOS, the methods it launched with to add friends didn't work. If I could have added my sister as a friend, I probably would've been more interested in continuing to play miitomo.
>And in most places, far more money is spent on cooling than heating.

Hmm. I've always heard the opposite. Anyway, here's one piece of research.

http://iopscience.iop.org/article/10.1088/1748-9326/8/1/0140...

"Abstract
Energy demand for climate control was analyzed for Miami (the warmest large metropolitan
area in the US) and Minneapolis (the coldest large metropolitan area). The following relevant
parameters were included in the analysis: (1) climatological deviations from the desired indoor
temperature as expressed in heating and cooling degree days, (2) efficiencies of heating and
cooling appliances, and (3) efficiencies of power-generating plants. The results indicate that
climate control in Minneapolis is about 3.5 times as energy demanding as in Miami. This
finding suggests that, in the US, living in cold climates is more energy demanding than living
in hot climates."
Oh come on. Don't link to that. /dev/color clearly refers to:

https://en.wikipedia.org/wiki/Person_of_color
True, but they could set the threshold higher. Like for instance have it match for both name, last name, and company. There is a tradeoff between accuracy and relevance and that can be tweaked.
As Anderson mentions in the talk, these features are rolled out in regular opt-in updates. Updates are not happening behind the scenes at some random time, although the article seems to imply that might be the case.
I'm the only living person with my name, and websites still confuse me with other people. Not only deceased people, but there's also a couple of clueless middle-aged people I've never heard of that used my gmail address to sign up for various websites - my gmail is first initial + last name, and that is not only clearly not unique but also confusing to some older people.
I got a pdf link in a google search sometime back. That document mentions that. You should try searching.
The spelling is correct for American and Canadian English, but the grammar is not. Saying "people could utilize" is correct, as is "people could have utilized", but (for whatever reason, and not that it matters) "people could utilized" is never utilised (alternative British Spelling). Also, "would" is arguably better than "could" in this sentence, but it should be clear to the reader either way.
It's really ridiculous with logging. My grandfather cut wood as part of a 100 man crew, with axes and hand saws, horses, and all of the logistics involved in running a camp to house and feed that many men and animals, to cut a few hundred cord of wood a season. My father was a subcontractor who worked on a team of four, between the chopper with the chainsaw, the cable skidder driver, the guy on the landing slashing and piling, and the truck driver, and they cut a couple hundred cord a week. Now one guy with a cut-to-length system can cut a few hundred cord a day, if he's in good wood.
To marry and leave without the typical financial penalties. It's no more or less likely than her intentions being bad.
I closed my Linkedin account few days ago. I'm still baffled at how little my life has changed. Actually I just stopped receiving annoying messages!
Yup, they can also do remote CAN diagnostics which can save you a trip to the shop to debug(plus they have a log of exactly what happened).

There's downsides for sure, but they are definitely leveraging all of the advantages as well.
GE’s Predix Design System
There's definitely a middle ground, though, and regulating FOIA to prevent abuse would do well in avoiding situations like /r/floridaman. It's not what the spirit of FOIA is for, so penalties (eg, requests are handled slower, as IL does) should definitely happen.

Chicago's FOIA officers seem to be pretty good with not giving too much information out, but they slip sometimes. Some other data I have includes all of Chicago's parking tickets, including license plates, but the only reason I was able to get that was because of a slipup that resulted in the tribune getting all red light camera ticket's license plate info.

If they'd followed foia properly there, I wouldn't have been able to get license plates. That, and it would've been within reason if they rejected my request for plate info, so I'd've just moved on.

Definitely slippery slope territory, though.
My Facebook experience is not very involved. I just scroll through the news feed, look at some photos/comments. Works fine for me, but if you are a heavier user, the app will of course be more fluid.
Interesting article. I had not associated him with LSFRs, but did know about his eponymous ruler: https://en.wikipedia.org/wiki/Golomb_ruler
This is also a good opportunity to close your LinkedIn account and never look back. Between the password thefts and algorithmically-generated libel, I have no idea why people continue to trust LinkedIn with their data and likeness.
It's a long road ahead, but I've already managed to get a good deal working in Linux: https://twitter.com/louroboros/status/735569370886217728
Oldie Complains About the Old Old Ways
Foxconn cuts 60,000 jobs, replaces with robots
Then I misunderstood the article when it said

> When this is done, RT22 states that there will exist an infinite monochromatic subset: a set consisting of infinitely many numbers, such that all the pairs they make with all other numbers are the same color.

I read this as saying "There exists and infinite number of x's which satisfy the relation f(x, y) = blue for all values of y over some arbitrary function f()". What am I missing?
Cool, thanks for the insight! I love reading the thinking process behind design decisions.

On the subject of Azul's price: I think they would give you a high volume discount, but even half the price (1750) per server would be pretty outrageous for your use case.

For my use case I'm going with Apache Ignite right now for tiered off heap caching, but I'm not sure it would work for you guys. Might be worth a look though.

I admire Netflix OSS ecosystem. Thanks for the great work you guys do!
Education, innovativeness, willingness to absorb others' innovations, love of science.

When I read "Made in Japan" -- I saw all of these as contributors to the Japanese miracle.

It wasn't so much (to me anyway) that the Japanese economy had protection, but that the Japanese people were so darn innovative that they couldn't be stopped. The other East Asian countries share many of the Japanese traits (even if not all).
> It’s similar to the arrogance of Dropbox and Airbnb employees booting neighborhood residents off a soccer field they’ve used for years.

Seriously? People expecting to be able to use a field they reserved using the city's official reservation system is "arrogance"?

If anyone is at fault for that incident it's the city for not getting more input from community, or subsequently not communicating the changes.
Jobs like creating, progamming, maintaining those robots?
Already working on getting this to run in Linux. :)

https://twitter.com/louroboros/status/735569370886217728
New Bitcoin BIP Would Enable Better Privacy, CrossBlockchain Exchange and More
Ask HN: Is Googlebot signing up for accounts on stackoverflow?
Today I googled a random programming question, and this was the result in google:

http://i.imgur.com/5iRwd1q.png

Note the line "Please click the link in the confirmation email to activate your subscription."

Why would googlebot ever scrape this text, unless it signed up for an account on stackoverflow?

The page in question:

http://askubuntu.com/questions/562417/how-do-you-update-npm-to-the-latest-version
I totally subconsciously stared at 'stia' but ignored it as I had all the info I wanted
It's rather odd that their news algorithm exists in the first place.

I use LinkedIn for one reason and one reason only: to maximize my career options, both in scope and magnitude of opportunities. While I'm happily employed, I learned long ago that if you're not spending a few hours a month thinking about other career opportunities, you're hurting yourself in the long run. LinkedIn is a great platform to stay on top of that several-hours-per-month workflow.

For example, you see that an acquaintance has changed jobs....you send them a text...you grab coffee and talk about their career change....you gather the data point and keep your network primed. LinkedIn has made this process way easier to initiate than it used to be -- for me, at least.

So I really, really don't get why someone thought it would be a good idea to build an algorithm that assigns news stories to LinkedIn members. If I find myself in the news, and I think it's a cool story that makes me look good to potential employers, I can share it to my LinkedIn network. Hell, if I really like the article, I can embed it permanently on my profile.

Thank God I have a relatively rare first-last name combo that makes it very unlikely that something like what happened to Will Johnson could happen to me. That's straight-up nightmare material.

It's pretty boggling that LinkedIn would implement a feature that not only doesn't create value for its users, but actively poses a risk to their ongoing career development. The whole point of the site is essentially to serve as a cloud-mounted, data-rich business card. Why jeopardize that platform with crappy AI that spreads harmful falsehoods about members?
The Path to Rust
From the article: "The nature of profit is that you take more than you give, so it’s not surprising that these billion-dollar behemoths that call themselves startups take far more from us than we get in return."

Other commenters have weighed in on this remark, which displays a shockingly childish view of economics. But if the author believes this, then his decision to use LinkedIn can not be rational, unless his goal is to lose.

I'm not on LinkedIn, but I get emails from them all the time. I assume it's just another cesspool and con job. This guy, at some point, decided to trust them with data about him. I'm finding it hard to feel very sympathetic.
Feels to me like you handled it extremely well on both occasions. Thanks (really) for sharing.
The networked transportation sensor suite is insanely valuable and it seems to completely be overlooked by both competitors and investors. Between this, the energy storage business, and obviously the vehicles, I am excited to see what they can do.
The quote re: David Sacks is incorrect:
UPDATE: Sacks tweeted to correct our sources' recollection of the invitation they'd seen: "It's 'let him eat cake' not them. It's a birthday party. Get it?" We get it, David. Apologies for the error.
(http://www.businessinsider.com/yammer-david-sacks-party-let-...)
I ended up deleting my LinkedIn and now days I send traffic meant to go to LinkedIn towards localhost in my /etc/hosts file.
Dirvish: A Simple and Flexible Directory Viewer for Vim
Well there's one benefit of having an uncommon name (I've never even met anyone outside of my family with the last name Matyi).
Google AI expert explains the challenge of debugging machine-learning systems
> I'm so tired of people using "it doesn't work without JavaScript!" as an argument. To me it sounds as relevant as saying "it doesn't work without HDMI!"

I don't understand your reasoning; I don't have any HDMI equipment (except my RaspberryPis, which are headless servers anyway), so I certainly would avoid anything that's HDMI-only.

Just because you, at the moment, only use the Web for a few pre-approved purposes (e.g. viewing rendered pages) via the handful of user agents which support Javascript, on operating systems supported by those user agents, on hardware supported by those operating systems, which is powerful enough to run it all, that doesn't mean everyone else is. Some are less fortunate, as they have older, or less-powerful equipment. Some are more fortunate, as they are using the Web in more imaginative and novel ways than you are.
All this assumes that people who invested in DAO are random blokes off the street which they are demonstrably not. Have a little faith.
I did this too until there was a glibc vulnerability. and it took ages for a 'patch' to come out that had to be installed in an obscure way.

For a toy project this is not a problem of course. But before I'd use nixos in production, it needs a better story for security patches. If you try to look up the word 'security' you get viagra spam on their wiki. and there is no security mailinglist whatsoever iirc.

I'm sure this will improve over time though. And for development, nix is still a saviour.
This (excluding errors of judgment on the part of one of the parties).

One party values money (or data, etc) more than the time/materials/end products and the other party values those end products more than the cash (or privacy, etc): the trade happens. Both parties are ahead of where they started.

This doesn't mean you're always happy with the terms, but it does mean that you're coming out ahead on the deal. If you are willing to do a deal where you know you the other party is coming out ahead and you're not: you're just an idiot.
Am I the only person that doesn't like "warm" light? I wish I could have all the lights in my apartment be D65 like my monitor. It makes everything look like a calm, cloudy day. At least with my monitor calibrated to that temperature, anyway.
It means you can run your OCaml programs on a computer without also running an operating system on that computer. This is currently fashionable for two reasons:

1. Embedded hardware is hot, hot, hot. But you don't need an operating system to do things on an embedded system, and in fact the operating systems we commonly use, like Linux and the Win32 kernel, are actively counterproductive to many of the things we'd like to do on that hardware.

2. Xen, etc., thus "unikernels", which are not kernels at all but rather programs that include their own TCP/IP stack instead of depending on one in the OS. This repo comes from the Mirage project, which is a toolkit for building "unikernels".
My local McDonalds already has touch screen self-service. A human still cooks it and brings it to your table, but ordering and payment is automated.

It's currently optional, but I could see it becoming standard fairly soon.
Just like Apple in China, I'm betting all Micromax does in India is assemble phones from high-tech subparts that were made in Korea, Taiwan, and the United States.

Not sure whether this is relevant because I'm not sure exactly what counts towards the "30%" figure.
I think this all the time. I have to refresh my clojure repl because I forget what I've eval'd or not and the cognitive load of mentally tracking that state is not something I want to bother with.
I sort of agree, but I also think there's no reason to view Docker commits any differently to Git commits.

Are you screwed if you lose a working .git project, or its maintainer? Well, yeah. But we don't actively worry about that happening all that much because we routinely take precautions like distributing it across developer's machines and servers.

Maybe a commit does break, but that's why we didn't just overwrite the previous image.

But also:

> I only know of a single time when it's valuable to
> "commit" a new image (recovering logs from a stopped
> container)

Not everything's open source.
So we instead rely on the equally bad, minimally trained person behind the counter to input the order instead?

My success rate for getting my order correctly at fast food restaurants is somewhere south of 50%.
I had come here to say this. Look at all the products left dead in Google's wake. Wave is probably one of the biggest "before its time" products that got destroyed, amongst others.
Do you not believe this type of mistake could cause monetary and permanent damages to his career?
Nowadays even Wikipedia has a section on JavaScript sandbox implementation errors. Even without taking JS into account, browsers, colossal beasts they are, have had a history of security vulnerabilities in HTML, CSS and image decoding routines. With JS added... again, Wikipedia says it best: "JavaScript provides an interface to a wide range of browser capabilities, some of which may have flaws such as buffer overflows." Ergo, no amount of "sandboxing" will ever save you from trouble.
Sure, there are always other places to discuss something, but that doesn't mean this isn't a good place. Some of the best discussions I've seen or been part of here have been tangential to the original post, as discussions drift. I think the bar here is heavily weighted towards useful, instead of relevant, and relevance is almost always debatable.

To be clear, I don't think anyone minds a civil discussion on the LGPL vs BSD licenses, as long as it's also factual. I wouldn't.
I'm surprised that a "$125 million birthday party" passed the author's BS meter when he wrote it.
It turned out Columbus was wrong and everyone else was right. The Earth was simply too large to sail around the other way.

The only thing that kept Columbus' expedition from certain doom was bumping into a continent that was unknown to most of Europe, despite some Norse having settled there in earlier centuries.

Imagine if the Americas hadn't existed. He would likely have died in the middle of a huge ocean.
Yeah well, the GP post mentions "small to midsize telco" companies, so Android was definitely small.

(on the other hand it implies the behemoth of Nokia was "midsize", uh)
I commute regularly on the US101 from San Francisco to Mountain View. I second brianpan that the car doesn't need to move over, and predictable stable behavior is more valuable.

However, I do notice that Teslas drive more in the middle of the lane. I have no idea if that's automatic driving, or just a coincidence.

Motorcyclists generally try to lane-split between the two lanes furthest to the left - because cars on the leftmost lane tend to stay closer to the left side of the lane (because there are no cars there), which creates a larger space.

So if anything, it'd be nice if Tesla automatically stayed a little on the outside of the lane when it has either of the end lanes and there is a good shoulder.
Time will tell. While he makes some interesting points, I think he misses a core distinction on this point "BitShares had all of the tools, the talent, and the money... [and failed]."

I had never heard of "BitShares" before, and I'm an active researcher in this area. The DAO made it to the front page of the New York Times, and not because of its amazing coding. Sometimes life is just a popularity contest, or nepotism (landing Buterin surely helped, since he is proving to be a masterful marketer). If the DAO succeeds where BitShares failed, it is probably due to completely _social_ reasons.
Melanopsin retinal ganglion, hmm.
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2831986/
Instant start is not what the comment you're replying refers to. Instant start is about how an arc is struck to get the gas to glow initially. The comment above is referring to how the light gets brighter as it runs longer, well after the gas begins to fluoresce.

https://en.wikipedia.org/wiki/Fluorescent_lamp#Instant_start
Could someone post (or link to) the history of Nix, the package manager? Who developed it, key project milestones, etc.? I understand it comes from, or led to, NixOS Linux distribution which uses Nix of course.

The nixos.org website is a bit sparse on the Nix project's history, and same with wikipedia (though separately mentions that NixOS was a research project started by Eelco Dolstra in 2003).
Looking at South Korea as a specific example, it seems to concentrate corporate power much, much more, since there is no collusion - state sponsorship for chosen corporations is out in the open.

Look at how powerful/influential Samsung is. We don't have an equivalent in the US. You can argue that the banking sector is as powerful (or more-so), but that's more than 1 corporation.
Sure, that's why I said "I wish". I'm well aware of the $50-300+/month commercial development license. Qt is a high quality product and often worth the price tag. I'm not sure that the original intent of releasing it under LGPL was to use it as a means to push people to go commercial for certain platforms.

In the original announcement for LGPL as a license option:

"Adding LGPL version 2.1 will greatly increase adoption of Qt across Windows, Linux, embedded Linux, Mac, S60, Windows CE, maemo, and Ovi web services. Having a larger number of users, including Nokia developers, providing feedback and contributions will help Qt remain a cutting edge, robust UI and application framework."

To me it seems like the intent was to increase adoption (including in embedded and mobile), but after the recent Digia/Qt Company corporate changes you can tell there's been a shift in the way the LGPL is interpreted. For example, before they had guidelines on their wiki (back when qt-project was still around) on LGPL compliance for mobile platforms that basically said 'Android was okay'... but now if you look at their new guidelines on qt.io after they changed everything, they are pushing for commercial license adoption. I'm pretty sure that was the motivation behind the LPGLv2 -> v3 change as well.
What about git-notes? https://git-scm.com/docs/git-notes
Maybe "count" is too restrictive depending on how you think of counting. Substitute "reached" or "located" if you like. As another comment here says (paraphrasing) if a real can't be named, is it even a thing? I'd say any real that can be named can be "counted to" from another real that's arbitrarily close to it. If that's still too restrictive, then for any real that can be named, I can point to a segment of the number line and say "It's roughly, round about... there." Can't do that for infinity, again, because it's not a number.
There's nothing state-of-the-art with 15-30% efficiency LEDs, maybe a few years ago but not 2016, blue LEDs are almost at 59% and even the whites are at about 50%.
Asians are considered white because they value education