skysight-inc/HackerNews huggingface dataset:
That's not how affirmative action works. Using your example, for most of the population, there is no detraction from their score. It only comes into effect if you have +1 and they have 0 or +1, and it becomes you with +1 and them with +2.

If you had +10 and they had 0, you would stay at +10 and they would go to +2, taking the place of someone else that only had +1 and leaving you alone. For you in this case it isn't a 0-sum because you never lose.

For the people on the edge, it is 0-sum because they are on the edge of not getting the position. Any advantage given to someone else removes them from contention.
Then invest in things like top-end cycling infrastructure. Copenhagen has pretty bad subway infrastructure (at present it's missing some important destinations, like the central station, the M3 and M4 will create a lot of important connections). But the bike infrastructure is top-notch and high capacity. In some regards they can create a very car-lite-city by focusing so much on bicycles.
You seem like a nice guy to work with :)
It's nice unless your language has a limiting call stack. JVM languages are notorious for this. You can increase the size of course, if you have the right amount of machinery. Else it's time to explore tail call recursion and other "anti-unrolling" strategies.
Google’s Response to Anti-Diversity Memo Ignores Workplace Discrimination Law
Let's keep in mind that computer book publishers (like O'Reilly) have an interest in thrashing the knowledge base of programmers generally. Because it means more potential book sales.

Advertisers can be informative. But they can also be a big distraction of time & money & resources.
True b/c you don't want a significant other who creates drama.
That's really neat to actually measure event loop latency
What is the genetic basis for the one-drop rule? What is the genetic basis for Barack Obama being black and not white? What is the genetic basis for someone with three Jewish grandparents being Jewish but not someone with two Jewish grandparents? What is the genetic basis for an Irish person being white in 1900 but not in 1800?

No one denies that there are genetic differences between races, but the categorizations are completely arbitrary. Someone who is one-quarter black is more genetically similar to a typical white person than a typical black person yet they are still classified as black. That is what is meant by race being a social construct.
Fewer Britons are taking drugs, but more are dying from them
I read his memo (There is a copy on Gizmodo) and while I saw a lot of what I could educatedly guess looked like flaws in logic or even flaws in his reading of the research I've been unable to find someone who has put the effort in to debunk it thoroughly.

Rather all I've been able to find is the equivalent of how dare he say these things.

Does anyone have a link to a good debunking of the whole thesis?
It's very notable in that it's literate Clojure.

https://github.com/nakkaya/ferret/blob/0.2.8/ferret.org
This is one of the reasons I preferred Scott Adams' "How to Fail At Everything and Still Win Big." In it, he notes the absurdity of taking life advice from a career cartoonist, notes the impact of luck, and discusses the ingredients for a successful life (including cultivating 'luck'), and why they work. I find it a far better approach than 4HWW.

That's not to say 4HWW is without value, but you're right and we should be clear about what it is.
Depends on the constraints you want to prove that the program will uphold. Some constraints may be impossible to prove, especially in non-real time contexts.

For example, a program must run on a platform that doesn't have everything formally defined or have guarantees. If a program relies on that platform and that influences the program in a way that makes the constraint reliant on the platform, then you are out of luck.

Another issue is choosing the constraints that the program will operate under. You would hope that the clients would give you the requirements including the constraints the software must operate under. But this isn't often the case. Having an incremental approach which includes clarifying requirements by mapping what the clients need to do to get their work done, which includes recording the specific steps that they perform or need to perform works pretty well when clients don't provide the requirements or constraints upfront.

I am relatively ignorant on formal engineering, but I do like that you have provided a fairly clear definition, which was "Clearly define the constraints in which your project will operate under and prove that they will hold under those constraints". It is better than the people saying know more math, without saying how, or what, or why it is useful in any clear way, and saying software is math just doesn't cut it.
Living in this fantasy where biology does not matter is just a way for SJWs of denying reality.

This blatant attempt at distorting reality to fit one's self is due to cause more trauma than to alleviate it.

Time will tell. It is just a sign of immaturity.
If you don't trust Nielsen ratings, why are you reading things that only show you a sliver of that data and use it to make attacks?

Reading multiple sources doesn't matter if they're all trash, you'll read multiple biased accounts and then agree with the one conforming to your own bias. I don't read "rubber stamped information," I read things that can source their data and check the sources to make sure they aren't lying to me.

Your link's only source is another article that links to themselves multiple times before providing any source, a bad sign, then the source is provided without context. It basically says "lower on this list is worse therefore CNN sucks."
I never knew it was Knolling that is in almost every stock photo of a desk for a startup's landing page
It's been quite mainstream in certain contexts and geographies for a number of years now. As an example - most handsets on modern LTE (and newer) networks have been strong-majority v6 for quite a while. The fact that this hasn't been obvious is an argument in favor of v6's success.
Its worse than you think. I can't find the source right now but IIRC the NYC subway signals still run on the vacuum tube system designed in the early 1900s. At the time it was a massive technical accomplishment. Every small arrangement of vacuum tubes is like a purpose built computer for signaling a specific section of track with speeds and spacing pre-calculated. It successfully put an end to high profile accidents caused by human error. Today you could do the same thing with a micro-controller for almost no money.
Inside the Secret World of Global Food Spies
is this a /s post? I get a server overloaded message when I click the link
Well,

Think of the traveling salesman problem for example.

The only way to verify someone's answer is to do all of it yourself too.
$15/night sounds really cheap! $55 for a private room seems reasonable compared to what's on Airbnb: https://www.airbnb.com/s/Wilmington-de/homes?guests=1&adults...
"Which means it can work on every device"

From OTOY.com's page: "For optimal performance and smooth interactive use, Windows 7 64bit, 8GB system RAM, a modern Quad core CPU, and a GTX brand NVidia graphics card (like GTX 560 / 570 / 580 / 590) with 1536MB VRAM or more is recommended."

Sounds like a minimum hardware spec using fairly recent hardware to me.
Link to the original memo:

https://assets.documentcloud.org/documents/3914586/Googles-I...
I find claims that something is simple are often just misleading. It's really common to see these kind of claims with articles talking about learning a foreign language. Often the grammatical rules and concepts ARE quite simple. But you often find sentences where several simple rules are piled on top of each other and you end up with something that takes some time to understand.

For example, in German there are straightforward ways you modify the definite article associated with a noun based on whether it is the subject or object in a sentence. A fairly simple, and useful concept! But first you have to remember what gender that noun is, which is fairly challenging in german because there are several word endings for each gender. Next you might need to pay attention to how the sentence has been constructed: in a relative clause, the definite article after the comma is associated with the noun BEFORE the comma - and that definite article is different because it is in a relative clause!
Don't forget, animals (dinosaurs, but also insects) of this size needed the higher concentrations of oxygen in the atmosphere that was present, pre impact. Even a temporary disturbance in oxygen output of the huge forests and robust plant life (including algaes) would have killed animals of this size much quicker than starvation or temperature change.
Well not in terms of pH, but there are several acids that can exist as a pure liquid, undiluted by water. Pure vinegar, undiluted by water, is called glacial acetic acid. It is something that can be bought from a chemical company. Because there is no water, there isn't really a pH. That doesn't mean it isn't incredibly hazardous, though.
Fortunately for those who are generally considered unattractive you are correct for most people most of the time but 'the race is not always won by the swift'. As I try to impress on particularly lonely young people - the best way to win over a stranger is to make them feel your fire, and that fire - that one of the things you are deeply passionate about - might be music it might be dancing it might be poetry it might be mountain climbing it mostly doesn't matter. Because in romance and sex enthusiasm trumps appearances and with time a person you like more and more starts to appear more and more attractive. If you are introverted it will take more time and more luck but it you can eventually share your excitement with someone there is a good chance they will find you exciting. And if you have imagination and persistence it can last a lifetime.
My point was that I have a big sympathy for people who do see it as a moral issue, because of the very real consequences.

I do understand what you're saying. I think I disagree with some what you're saying, but I think I significantly agree with you in spirit. Anyway. I have to head out and stop reading internet forums. :)
My wife and I bought an old RV last year and that's exactly what we've done. We plan a general route and make sure we have stops lined up...and just explore. Do whatever looks interesting along the way.
Nuthin but protons?
Using the same tools I can with 100% accuracy detect someone with red hair from someone with brown hair. What is your basis for separating people with different skin colors into different races but not people with different hair colors?
Why Tesla Motors Is Fueling Up on Debt
> But this groupthink terrifies me when it’s used to bully people for exercising their right to free speech. How will we know what people are truly thinking if we rush to silence them?

I think "right to free speech" is a weak and kind of scary argument to be making here. Inside a corporation, you don't have the same right to free speech you would have on the outside. HR can fire employees for things that wouldn't get you arrested for saying in public.

To quote the alt-text for https://xkcd.com/1357/

> I can't remember where I heard this, but someone once said that defending a position by citing free speech is sort of the ultimate concession; you're saying that the most compelling thing you can say for your position is that it's not literally illegal to express.

I think a better argument would be that the "manifesto" wasn't actually saying anything particularly controversial, it was just a statement of opinion that many reasonable people would agree with. Perhaps it contains some assumptions that aren't backed up by recent research, but unknowingly saying something that's not true shouldn't ordinarily be a fireable offense.

I would rather work at an employer where employees feel free to discuss hard problems that are relevant to the work environment for which there aren't any easy answers than one where minority opinions (or even majority opinions that contradict the leadership) are silenced. On the other hand, I wouldn't want to work at an employer where people felt free to say deliberately offensive things without repercussion.
Reading the manifesto felt like going through a less eloquent regurgitation of Jordan Peterson's content. So far I have been unable to disprove Peterson's points and his thoughts process is a very robust way to vet ideas. I a very curious to see if anyone can seriously debunk him.

Edit: Clarified that I meant peterson's points and not the manifesto.
> the Windows equivalent of /etc/hosts

Which is, bizarrely, etc\hosts (somewhere in C:\Windows\). I've always wondered why they felt the need to make an 'etc' folder just to have the hosts file in it.
>I think the part about alienating women comes from a fundamental misunderstanding of the manifesto and probability in general

And yet empirically, women have been alienated.
Location: SF Bay Area

Remote: Yes

Willing to relocate: No

Technologies: Javascript, Java, React, Pug, Express, Node

Résumé/CV: http://bit.ly/2qX5IrK

Email: monicaestellaw@gmail.com
What was strange to me is that it didn't seem to actually cite any sources. When I scrolled down to the bottom to read the footnotes, I expected links to purported studies, but instead, they were just more rambling. I'd think the burden of proof should be on the author for the dubious claims within.

EDIT: I looked at a link to the document on a separate comment on this thread, which appears to have links on some of the text that was missing from the Gizmodo article. Unfortunately, they aren't clickable, so I guess the most I can actually say about the citations is that they are rather informal.
> But we can prove that ZF+Con(ZF) is consistent

Perhaps I'm naive, but doesn't that violate the incompleteness theorem? Surely you could only prove such a statement in ZF + Con(ZF) + Con(ZF + Con(ZF)) or something equivalent?

In regards to what you quoted, the incompleteness theorem says that because ZF is provable in AD+ZF then AD is not provable in ZF otherwise ZF would prove its own consistency.
TFHE is not even in the same galaxy as CryptDB. Comparing the two is like comparing an apple and a 2007 Honda Civic. They're polar opposite approaches to executing queries on encrypted databases.
ORBX framework should be like Lua or luaJIT -i.e. MIT license. What is built or done on top of that and how it's licensed to others is up to the creator or implementer to decide, assuming they have such rights already.
There are a few, and I'd suggest you look further, for starters scroll up here: https://twitter.com/GlennF. Arguments about gender differences in CS should address the large decline in women's participation around 1984, the relatively better gender balance in other engineering/science majors, or the better gender balance for CS degrees granted in other countries.

Annie Lowrey and others argued institutional effects far outweigh biological or IQ effects; basically, there's a much larger environment of harassment and bias, and Google has so many other levers in its control that the arguments advanced in the paper aren't really salient or important to the situation at Google.

Other folks have argued the vast majority of engineers at Google are doing the equivalent of string concatenation; it's not exactly a difficult or demanding job.

I think one reason people have been so angry about this is that women in the tech industry generally deal with much more harassment and bias than men do, see for example elephantinthevalley.com. To argue these are the biggest issues requires looking past everything in that survey, and implicitly declaring it not that important or salient. Imagine going to Flint, Michigan and arguing that a lack of charter schools are the community's biggest problem; you're going to get some bad reactions.

People also tend not to like it when you suggest they're dumb or inferior.
You original post suggests that, because there is not retaliation against people speaking in favor of diversity efforts, we should thus create one to balance it out.

I have shown you that there is retaliation against people who speak out about diversity efforts. Thus you should retract your suggestion that we form a mob, because it is no longer necessary (among other reasons).

When it comes to professionally, personally, or economically harmed, if you don't believe that this happens to women in tech on a regular basis, then you clearly have NOT been reading Hacker News, or ANY of the accounts from your fellow colleagues like Susan Fowler!

I don't like rage mob tactics either, but you want to create a reactionary rage mob to fight the rage mob of the left created to fight the rage mob of the right. No more rage mobs, please.
Only if you've rooted your phone, and $EMPLOYER doesn't let rooted phones access certain resources.
I think clojure has very well designed concurrency and data structures. If this compiles to c++ presumably one could leverage the c++ universe.
> Rather all I've been able to find is the equivalent of how dare he say these things.

I completely agree. The original memo may be wrong, but it was a cogently and constructively stated position (if a bit thin on references) and it deserves to be at worst ignored, more likely respectfully rebutted, and (dare I even say this?) perhaps taken seriously. Because I think one of the reasons people are so up in arms about it is that they are afraid that if they start to try to rebut the argument they will find that it is not so easy to do, and possibly even that parts of the argument might even be correct.
Or you can be unfaithful like me: run FreeBSD bare-metal and OpenBSD under bhyve! And in a few years I'll switch it around and try runing OpenBSD bare-metal and FreeBSD under vmm. :-)
No, Tom Sachs is super serious about that and it's strictly enforced in his studio.

Source: friend worked in his studio.
Rich, poor, farmers, ranchers, middle class; all kinds have property in forests. And firefighters work to protect them all pretty much equally.

As for your last sentence, that could apply evenly to any natural disaster. The [ocean|tectonic plates|flood plains|super cells] were there first. Let's stop protecting [hurricane|tornado|tsunami|earthquake] victims from loss due to their poor decisions.
Can you explain how you would use FHE instead of garbled circuits in the Arx range query data structure? I don't see how that would work - wouldn't you have to (re-)introduce interaction to let the server learn intermediate results?
He didn't say that - he said "Being emotionally unengaged helps us better reason about the facts".

That might be wrong. I think using emotions as a guide reason can work, sometimes very well. It doesn't link anything to women - women can be disengaged and men can be emotional in the ordinary course of their day.
You need to enable the linked options which in turn disable some visual effects.
> a bit thin on references

I've seen mentions of the fact that the Gizmodo version removed most of the links/references/graphs that were included in the original.
That sounds like "Hitler made trains run on time, therefore anyone who thinks trains should run on time agrees with Hitler". While it is very legitimate to disagree with the author of the manifesto, linking him to some antisemitic conspiracy theory on the base that they both don't like Marxists is insane. A lot of people don't like Marxists (in fact, many Marxists don't like other Marxists, and had murdered fellow Marxists by millions), that doesn't make them all the same.
[H+] is shorthand for [H3O+]. H3O+ (hydronium ion) requires water plus a hydrogen ion from the acid. There aren't actually free H+ ions floating around. They are all attached to water molecules.
I've only seen it in comments thus far, but here's a good example:

https://news.ycombinator.com/item?id=14951042

A quick Google, have not read the below:
https://www.fastcompany.com/40449844/5-debunked-gender-myths...

Of course, internet comments will be reactionary. Pretending that is proving the point of the author is a self-fulfilling prophecy. I'm not saying you are inherently saying that, but I am sure many others will see it that way, as they already have commented in many of the threads about this.
可备案域名后缀查询(Node.js)
Sure, but that's $2m of today's compute on today's chips. The constraints on chips and cost are moving, and Google is pushing them.
They said that farmers "could go" not that all did.
All that's needed is for Google to make it factor in search ranking and you can bet that we'll all be finally reading up on ipv6 and how to make it work well on our servers, and testing the hell out of it :-)
Simple: the debt is cheaper than not using debt
From Gizmodo's summary[1]:

> Two charts and several hyperlinks are also omitted.

It's unclear whether Gizmodo removed the links or whether the leaker did. Either way, I bet some of those links were to research or summaries of research.

1. https://gizmodo.com/exclusive-heres-the-full-10-page-anti-di...
Or, indeed, to assume (as I did for many years) that only 127.0.0.1 itself is a valid loopback address. I was rather surprised when I looked it up and found that it was the entire 127 block.
Because "life begins at the end of your comfort zone." -- Neale Walsch

Some people travel for sightseeing, others for personal growth.
For rendering an ORBX in Octane then yes (480 should be minimum), for playback 9( an ORBX package exported from Octane render job/target, HTML5 with webgl is enough for basic 360 viewing even without vr or ar
Not sure anyone has written a "debunking" piece but that could simply be because so much of what he wrote is standard trope for people with his views...if you read it naively it sounds like he has a point but if you're familiar with such attitudes then you'll quickly see through the pseudo-intellectual veneer of his argument.

I supposed one could take the time to rebut everything he wrote but there will probably be someone new with similar arguments next week.

What's important is that Google or any other organization striving for fairness (that is what diversity is partly about) isn't derailed by such sentiment.
She was definitely a mean one.I always felt she was picking on me.
I agree with the substance of your comment, but these types of comments would be much more effective if you dropped the superior air that you treat the people you're conversing with.
Amen and amen.
Do licensees get their money back? What if they were pressured by the lawsuit?
You're not proving it formally, you're proving that if ZF is consistent, then that system is consistent as well.

> AD is not provable in ZF

That's not what it said. It said you can't prove the consistency of AD (presumably AD+ZF). But under the same conditions (assuming Con(ZF) that doesn't rule it out and definitely not for the reason it states.

Edit: a meta proof that ZF+Con(ZF) is consistent if ZF is consistent:

Suppose it wasn't consistent. Then ZF+Con(ZF) proves anything. But then we can prove not(Con(ZF) from ZF as well:

1. Assume Con(ZF)
2. Prove contradiction using ZF.
3. Therefore, not(Con(ZF)), proof by contradiction.

But if ZF proves that it isn't consistent, clearly it can't be consistent. But by assumption ZF is consistent.

Therefore, if ZF is consistent, so is ZF+Con(ZF).

I think this proof works but again, mind blowing material so I can never be 100%.
Always look at the memory management story when you stumble upon something like this.
I think it is telling that the only actual reference you provided was to a live Twitter feed. Twitter is not the right venue for any kind of substantive debate about anything, let alone one where the opening salvo is a ten-page document.