skysight-inc/HackerNews huggingface dataset:
Indeed. The cardinality of the empty set is zero, right? - and would there not be all sorts of problems in the formalization of number theory if this were not the case?

Now you have me wondering if, for any given database containing nulls, there is an equivalent normalized schema that represents the same information without nulls - for example, if you have a Student table with a Date of Graduation attribute that might be null, use instead an additional table of Graduated Students. It looks to me like there might be some tricky corner cases in defining 'equivalent' (you cannot query the second database for students with null graduation dates, but you can query for those without graduation dates.)

If so, then the follow-up question is whether there is a three-valued logic that always gives the same result as a particular null-free representation (my guess is yes and no, respectively.)
There almost certainly is not a way to invisibly install add-ons, unless you are part of Mozilla, and, you know, making Firefox. If paranoia is your thing, it might be worth considering that Mozilla can do anything it wants inside Firefox core, all of it is "invisible" to you.
It's installed, but apparently doesn't do anything if you don't have "studies" enabled.
Popmotion – a functional JavaScript motion library
I did not opt-in and the extension shows as being enabled. Someone messed up.
Convert to YAML and make unidiff from there?
I was concerned for a minute. Then I remembered that this is the browser vendor that constantly spouts it's privacy bonafides yet on a monthly basis "partners" with companies like Pocket to install unwanted addons and functionality and has Google Analytics on their settings pages.
> I think the the term “non-profit” is more about how an organization spends the money, rather than how they make it.

Tax-exempt non-profit (especially charity) status is very much about both how money is made and how it is distributed/spent.
I did not knowingly opt-in to any shield studies, and I see it installed for me. I guess it's possible that I clicked on something without reading it.

Anyways, I've taken the opportunity to opt-out of Firefox.
The installation of the add-on is unquestionably a change to Firefox. Whether the add-on does anything is largely immaterial.
Coinbase Wants Wall Street to Resolve Its Bitcoin Trust Issues
Quite some typos and inaccuracies (SHA-286? confusing power (in Watt, W) and energy (in Watt-hours, Wh, or Joule, 1 J = 1 Ws), and/or hashes and hash rate).
Lightning network will help solve all these issues mentioned.
I'm not arguing that colonialism is positive for indigenous peoples, but it's also not the cause of all ills, either, so if you make a claim that xyz unrelated-seeming ill is caused by colonialism (it sounded like obesity, in this case), I was just saying that it'd be great if you could back it up with some sort of reasoning rather than leaving it hanging out there.

And with regard to those fines, it sounds like they took control of mining in 1967, almost 40 years before the supplies ran dry. Given that amount of time, and that they had the resources to a) levy no taxes on their citizens and b) provide a UBI, I think that's enough time to at least share in the responsibility for whatever situation they currently find themselves in.
You don't just need "Studies" enabled, you also need to explicitly opt-in to each specific study on an individual basis:

> Participation in an individual study is opt-in

Source: https://wiki.mozilla.org/Firefox/Shield/Shield_Studies

If that didn't happen in this case, then I suspect it's probably a bug.
> So Mozilla lets advertisers push extensions to your browser?

Of course not.

Mozilla can install extensions if you have "shield studies" enabled. They use extensions it to run UI studies and things like that. I think you have to opt-in to each study individually if you want to be part of it. Enabling the studies in your settings only means "notify me when there's a new study I can participate in".

See https://support.mozilla.org/en-US/kb/shield
and https://wiki.mozilla.org/Firefox/Shield/Shield_Studies

Now they have partnered with Mr Robot to use the same feature to offer some sort of "Alternate Reality Game".
Stop annoying your app users: 4 push notification best practices
I guess when you stop sending all of your engineers and scientists to the gulag, they actually have a chance to improve their designs (or integrate stolen ones).
And at the time about 50% of Americans opposed same sex marriage. You can't be so polarized that you can't even tolerate half of the population. If we go down this road, companies in conservative areas will start firing their liberal CEOs and employees. After all, they believe just as vehemently as you, that you want to take away their rights. Nothing good comes from this trend.

And your presentation of his belief is, again, very uncharitable. A decent percentage of conservatives were in favor of civil unions and other legal work arounds to give gay couples the same benefits as straight ones. Many didn't really care what gay people did and were just afraid of the slippery slope.
An 8th planet, with AI help is found orbiting a distant star
I'm guessing that you mean "organic" here (since e.g., the French word for organic foods is "biologique").
The ~25-foot long top to bottom shelf space dedicated to car batteries at most Walmart Stores would suggest it is a significant market.
Thank you for highlighting this. There are reasons why European countries are hesitant to adopt GMO technologies blindly in the name of progress.

Ecology is nonlinear.

Yet there are people in this discussion who are still advocating for the eradication of entire species of insects, based on the idea that they spread disease. Do they not see that gene drives are themselves essentially just powerful diseases? Who says they couldn't hop the species line? This is straight up foolishness.

Us humans can't even moderate our glorified communications platforms (social media, TV, etc). What makes people so confident that our corporations are ready to test technologies like this out on planet earth itself?
I've been seeing the YouTube logo inverted recently. I wonder if this has something to do with it. If so. I'm done with Firefox. I've used it since it was Netscape in 1996. Enough is enough.
Firefox bought Pocket. So it's a first-party feature.
A 747-400 has 6 million parts (according to Google). Good luck inspecting all of those.
wonder what ever happened to parallela? sounds like the same thing
It might solve the scalability issue but definitely not the privacy issue.
Firefox Studies aren't new, and aren't opt-out by default. They're opt-in per study, in fact. The code to run them comes with Firefox, that's it. All this HN link is is someone asking what the add-on is, not proclaiming it did anything.
This is not about beer buddies after work, this is about getting together once or twice a year to get to know each other a bit more...

I am going to answer here the person who deleted the long message yesterday saying saying he/she rather play PlayStation alone and so forth (hopefully he/she will read this)

If one of my employees is having panic attacks thinking about the yearly team building diner and drinks, then we are having a big problem...

We need to sit down talk about it and find a solution, professional help, whatever it takes to go over this, because it is juts not healthy!

Not to mention on how this person will react in a real stressful situation, let's say the part of the network is down, systems affected, the company is loosing money on SLAs, big debugging call in the middle of the night - this kind of real pressure will for sure either damage a fragile person or at least case a burn out...

Mental health is no joke and have to be taken very seriously...
If you fob off prices to consumers you do risk creating a two-tiered society where the one class consumes just as much meat as ever and the other no longer has it, which doesn't seem like an ideal/equitable solution.
This is a very common misconception about non-profits that is not true.
The details depend on local laws, but generally a non-profit only means that the owner of the non-profit can't take the all of the actual profit (money) directly out of the non-profit via dividends.
Things like non-profits must be focused public good or they can't pay high (or any) salaries are urban legends that have no basis in reality.
Why? They allowed proprietary extensions (e.g. Flash) from the start. I don't like it, but I don't see how it represents a loss of their way. Mozilla was never GNU.
Whichever it is, we have to give credit for asking the questions about what they don't understand instead of just blindly believing what they think they know.
NASA and Google Just Announced They've Found Another Solar System Like Ours
They might be proven right with Amazon shifting toward using their own delivery services if top N retailers follow and switch to delivery options other than UPS and Fedex the prediction might come true
Here in Moscow it is now used in Active Citizen program for polling. + Anyone can install a piece of software and monitor polls in real time.
1000 different people, the same words
Why do you say "hello, nice to meet you"?

I imagine that this document was written to a target audience, propbably so as to
satify some funder's requirement, e.g. as 'post-mortem' for his ERC grants. Audiences have expectations as to what can and cannot be said. Funding organisations want/need success stories. Honesty is
not always appropriate see e.g. yesterday's [1]. Honesty needs
'padding'. Meyer had numerous students,	and his	last sentence makes a
statement about their professional work	too.

[1] https://news.ycombinator.com/item?id=15924093
I might buy some cone coin :)

https://bitcoinmagazine.com/articles/how-the-lightning-netwo...
What would you do to break the ISP monopolies?
I googled up some more context:

https://mathoverflow.net/questions/226277/what-is-a-grossone

https://math.stackexchange.com/questions/2497969/what-is-a-n...

Seems increasingly likely that this is crank mathematics.
Firefox bought Pocket. And they had negotiated with Google to remove tracking on that page. https://news.ycombinator.com/item?id=14753546
I think they are feeling betrayed by Mozilla, and that they are saying language like "We all love the web" and "Internet for people" inspires feelings.
AI, NASA Data Used to Discover Eighth Planet Circling Distant Star
Right, yeah. If I jumped off a building tomorrow, thereby ending my carbon emissions forever, it would make zero difference.
ViralNova was just one dude with a couple freelance writers and sold for $$$.[1]

That was in 2014. In 2018 it is way more difficult to bootstrap an online content company (Would love to be proven wrong with an example though).

[1] http://www.businessinsider.com/zealot-media-buys-scott-delon...
This topic is very much in legal flux right now and will be going before the Supreme Court. I think election results like in Alabama can feature prominently in arguments but even more persuasive are more academic models which can compare degrees of gerrymandering. Anthony Kennedy was looking for just that kind of rigor and now it’s available.

What is unquestionable is that in a very tangible way, Garland would have provided a crucial vote here. He would have been on the court with a Clinton presidency, instead a partisan extremist is. The path to progress is by participating in the current system so that you hold power to make things better. Things would have gotten better directly on this issue with a Clinton presidency. So if you’re not participating because you think that’s the quicker path to progress, I think this issue provides a large point against that logic.
I agree.

I merely challenge the notion that a nonprofit -- which proudly tumpets its benevolence and non-profitness -- should get a free pass for covertly installing advertising arrangements, just because they need to "make money".

Their charter and marketing is all about defending the internet from the companies doing shady things to make money, so they can't have their cake and eat it.
Previously:

* https://news.ycombinator.com/item?id=15921134

This is a link to the GitHub issue:

* https://github.com/gregglind/addon-wr/issues/36

There are several scary things about this:

- Unknown Mozilla developers can distribute addons to users without their permission

- Mozilla developers can distribute addons to users without their knowledge

- Mozilla developers themselves don't realise the consequences of doing this

- Experiments are not explicitly enabled by users

- Opening the addons window reverts configuration changes which disable experiments

- The only way to properly disable this requires fairly arcane knowledge Firefox preferences (lockpref(), which I'd never heard of until today)
Ask HN: EU Developers how do you plan to handle users from GDPR countries?
The EU's General Data Protection Regulation is going to be implemented in May next year.

With that in mind we're testing a new flag at Ipdata, `is_eu`, to help our users identify users from the EU and inform how they handle their data.

How would this inform your site's functioning? eg. Would you not cookie these users? Require explicit consent before proceeding? Refuse engagement? etc What would you do?

Also since IPs may be considered personal data under GDPR, we do not store the IPs that call our service longer than 24 hours, and only so as to mitigate abuse.
I don't get what you mean. It doesn't seem like you actually disagree with the snippet you're quoting, yet it seems like you're trying to refute it.
>Firefox and Mr Robot have collaborated on a shared experience to further your immersion into the Mr Robot universe

I guess that sounds slightly better than "Firefox and Universal Cable Productions".. oh wait..

At least it's an authentic immersion into the world of dubious computer ethics.
Sounds cool, I will check it out on a laptop.

Just in case the author is here, I tried on an iPad Pro, and got "WebGL is not supported by your browser". WebGL is in fact supported by mobile Safari, so I'm guessing this site is using a user agent whitelist or some other fallible method of detecting WebGL. The best way to detect WebGL support is to attempt to create the 3d context and wait until after it actually fails. That, or simply do not check for WebGL failure; the browsers all handle it anyway.
I can confirm this most certainly did not happen in my case and, from other comments, there seem to be a number of us who did not opt in to this "study."
You summed up my feelings perfectly. So many notable moments in my life played out over AIM conversations, especially discussions with my girlfriend (now wife) when we were geographically separated during our college years.
Guide: Behavioral Analytics for Products
Non-profit orgs are such due to legal designations that give them favorable tax treatment. In return they promise to organize and operate only to fulfill a charitable mission. The mission of Mr. Robot (content sniffing) has nothing to do with the charitable mission of Mozilla, "Our mission is to ensure the Internet is a global public resource, open and accessible to all."
One step ahead (Quantum), two steps back.
Religion. It's extremely powerful, especially if indoctrinated from young age. And it gets compartmentalized, when faced with opposing facts. That's why we have PhDs who believe the Earth is 6000 years old.
C# Scripting is a thing now. I've used it on projects. C# makes an excellent scripting language, and in the MSFT space there's probably more of an established practice in that language. I can't imagine why they would use any other language - except perhaps F# or PowerShell.
Thankfully, the alien race that sent it isn't yet good enough at orbital mechanics.
As any fule kno, this is how Molesworth writes, ect ect ect.
> Roy Jones won 6/7 districts and lost the popular vote. Pretty much the definition of gerrymandering

No, it's a common consequence of the fact that partisan leanings aren't uniformly distributed that will be able to occur in almost any situation where districts aren't artificially drawn to compensate form that fact, which even most proposals to use blind algorithms for districting wouldn't do.

Now, in the case of Alabama, it's absolutely the case that the Congressional districts are the result of a partisan gerrymander, but simply the fact that a party can lose a statewide vote while winning in the vast majority of districts doesn't prove that; the way democratic voters are often hyperconcentrated in urban centers makes that quite plausible, especially for a Republican statewide loss, without gerrymandering.

Which is why we need to eliminate FPTP for House elections, not just limit the ability to.deliberately distort districts.
For reference, the previous commenter was talking about AL's 7 congressional districts. US congressional districts are defined based on population (they're suppose to be equally sized intra-state).
Drugs are another good example. When we hear stores about people like Steve Jobs and other success stories having used drugs, and even sometimes crediting their success to drug use, we get a similar feelings toward those who told us the wrong stories. I suppose there is something satisfying about showing them that they were wrong.
I mean, to be completely honest with you, at this point I do not want to eat a sandwich at all.
Scientists mobilize for a fight over gene-editing tech. that can erase a species
Out of curiosity, are you "trying to address it" with an Electron app?
I use Firefox 58 beta developer edition in the USA and this extension didn't install automatically...

Maybe the government need to start sponsoring Mozilla so that they stop doing things like this.
All because IE6 wasn't supporting trailing commas at the time when JSON was written. Shortly after that we discovered that it was a bad idea to eval() JSON so the whole reason for browser compatibility became moot.

But who knows, maybe that is what was needed at the time to make JSON popular.
Or worse, replacing it with a substitute meat that "tastes just like meat!" (N.B.: it tastes and has a mouthfeel nothing like meat)
It is, perhaps, useful to take into account the context here.

These are people who have risked their life to escape from areas in which they are being persecuted, and are taking every step they can to avoid being forcibly returned to those areas.
Initial Coin Offerings Surge Past $4B–and Regulators Are Worried
> Are you claiming this is about racism? If this was a race issue, the black man would've lost (instead he won both times) and the white woman would've won. Or am I missing something?

I don't claim either side of that question, but I just have to say that your statement is patently false.

Hypothetically all racists could vote one way, and still lose an election (or turn the tides), depending on the size of that group.
Yeah and if you want light you should have to slaughter a whale and extract the oil yourself.
>It also helps that the republicans are horrific towards anyone who isn't a straight white male

There are women in all rungs of the Republican Party, from local to federal levels. The GOP has also followed the general trend of growing diversity (1) and I believe in 2013 were MORE diverse than the Democrats (although this isn't true today).

The Democrats are more diverse, but the idea that the GOP is just some old boys club is outdated.

Also, what do you mean by horrific? Certainly many are not as progressive on the issue as Coastal-Elite-White Democrats (and I'm being very specific there), but homophobia is extremely prevalent among the democratic base, especially among African-Americans (2) and Latino Americans (3).

>Roy Moore overwhelmingly won the white vote despite....

I agree with you, Roy Moore was an absolute disaster.

(1) http://www.people-press.org/2016/09/13/1-the-changing-compos...

(2) https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2974805/

(3) http://journals.sagepub.com/doi/abs/10.1177/0739986390012400...
ARM survived from the BBC micro days to its current resurgence thanks to supplying microcontrollers in billions of devices. Those cores aren't sexy but they are important and they result in the sort of economies of scale that let you invade application processor land from below, as ARM did.

You can be assured that when ARM marketing material brags about how many cores they licence they mention all the processors in microwaves, etc, too.
To answer your question, the quote about the internet supposedly lowering FedEx’s market value in the 1980’s is total nonsense.

The financial markets had zero awareness of the internet in the 1980’s (with good reason, as the Internet didn’t become commercially significant until Marc Andreesen wrote the first web browser called Mosaic in 1993 putting the internet in the hands of normal people for the first time). If we read the quote charitably and conclude they had a typo and meant to write the 1990’s it’s still nonsense as FedEx’s stock price was completely unaffected by the crash at the end of the internet boom in 2002, demonstrating the market saw no significance of the internet to FedEx’s market value, positive or negative. The market didn’t begin to think seriously about connecting the dots between FedEx and the Internet until well into the 2000’s, at which point it was clear online buying would be good for FedEx.
The key word is "just".

That's not a misconception I share. I understand Mozilla can and should make money to further its mission.

But unlike a for-profit, making money isn't the mission of Mozilla. So needing to make money can't be used as a justification for doing naughty things against the public good.
Not the same kind, though the difference was subtle, and maybe not an important distinction to most people. In ICQ, you sent discrete messages back and forth. You could (I believe) look at the last message while replying, but you didn't have a chat history integrated into the same window where you replied. I used both ICQ and AIM in the '90s and early 2000s, even talking to the same people, and the interactions felt very different. ICQ felt like it was between email and AIM in the communication spectrum: obviously interactive and real-time, but each person tended to say more in each message. AIM's style encouraged more call-response conversations.

I point this out because I think it's an interesting case of user-interface design influencing use, even though on the surface they're both "chat apps."
NectarJS: Compiling JavaScript into Native Binaries for Every Platform
Turning Coal into Bitcoin? The Dirty Secret of 2017's Hottest Market
so shitty, they didn't give a SINGLE REASON
Installing extensions is not "No changes will be made to Firefox".
First it became live.com
> I think that a pretty big chunk of Trump's votes came from people who would otherwise not have voted for him...but did so because they sensed, correctly, that their thoughts, ideas and voices were being marginalized (and demonized) by progressives.

I'm not sure this observation has much value. Voting for a candidate that shares your values in a time when those values aren't popular is equivalent to doing so when those values are popular. Either way you're voting for a candidate that shares your values. I'm never going to place a spite-vote for someone who doesn't support my views just because my views are unpopular.

And in any case, I think certain views should be demonized. Expressing disparaging things about gay people (the example from the article) should be viewed with the same revulsion as we would today view the historical opinion that people of color were in some way "better suited" for slavery. The view that some people are somehow "less than" shouldn't be tolerated. The paradox of tolerance is very real.