skysight-inc/HackerNews huggingface dataset:
> Think about non-constructive proofs.

To me it does not seem that the author of the paper uses weird "coffeinated" non-constructive proof arguments in it.
I can't find it now, but I once read a blog post from a developer of some paid product who would give a free copy to anyone who asked, as long as they used the word "please" somewhere in their email. It was amazing how many timewasters this simple heuristic weeded out.
I understand what you're saying but I think this perspective may be mis-framing the issue. One immutable requirement to a solution to the company diversity problem is to form an effective company. Another requirement is to ensure applicants don't suffer discrimination either during the hiring process or the employment period. Ensuring the entire pool of humanity has an equal opportunity to work anywhere / do anything is incontrovertibly not a requirement.
> The captain has a day cabin just behind the bridge for use at sea but as is usual on a carrier, his spacious main cabin is down aft with the other officer accommodation. There is a small lift that allows him to quickly get up or down from the bridge to the operations room which is situated seven decks below.

> The Commander Air, “Wings” gets a day cabin in the aft island but does not have his own lift, like the Captain up forward.

I know there's a perfectly good practical reason for the Commander Air not having a lift, but i do love the idea that we British are still playing silly little status games even at sea!
"Yet here’s the bloodied patient, and here we are in the emergency room." "The lemma encrusted shoulders of giants."

Aaronson on writes very well.
Basically it was 18 year old kids who legally had the right to sign our contracts, but still lived with mom & dad. Mom & dad would find out & call us with threats/bribes and "we" would just hang up the phone & laugh about it.
Google cancels Neo-Nazi site registration soon after it was dumped by GoDaddy
>> What a society does when that monster rears its ugly head is what matters.

In that last decade, apparently not much - which is why you have the problem you have now. This idea of doing something has not been done at all, but now all the SJW's have their hammers out and now everything looks like a nail.

It doesn't work like that. In a society that values the ability to speak freely, you can't pick and choose your winners based on who's OX is being gored this week, or which party is currently in power.
Discord Voice+text app bans altright.com server
DDoSing is illegal, so I'm not sure what your point is. Saying "you don't have free speech because someone could do something illegal" isn't really an argument. You may as well say that someone could murder you, the only real difference is DDoSing is a lot more likely and a lot harder to catch the perpetrators.
The letter appears to be authored by Kris Fredrickson, presumably the same Kris Fredrickson listed as an Investor/Principal at Benchmark.
Recurse Center 2.0 ...
^This. It is a very common usecase for applications I work with to create a very large in memory read-only pd dataframe and then put a flask interface to operations on that dataframe using gunicorn and expose as an API. If I use async workers, the dataframe operations are bound by GIL restraints. If I use sync workers, each process needs a copy of the pd dataframe which the server cannot handle (I have never seen pre-fork shared memory work for this problem). I don't want to introduce another technology to solve this problem.
>Frictionless sharing of your life with the people who matter to you.

We have the opposite problem. How to add friction to that sharing...
Knowing P?NP does not imply much in practice unless the answer precisely bounds complexity. N^(N*1e-100) is exponential yet very practical while N^1e100 is polynomial yet is useless in this Universe.
Or even more so, the vast majority of people who don't bother to vote at all. Its less like a representative democracy, and more like a "democracy" that represents our collective failure.
That is not my point.

I do not see a problem with Google refusing service to the Daily Stormer. However, the story started with GoDaddy kicking them out then Google refusing their services.

Two occurrences are too few to infer a trend, but enough for me to start wondering: DNS providers are all private companies.

So what would happen if provider after provider the site goes after denies them their services? Does the union of the these refusals amount to censorship?

In principle, it's only the union of individual private refusal. But in effect the Daily Stormer is barred from DNS service access.

Also, I did not think that I would need to clarify, but this is a legitimate, non-partisan question. The arguments are still valid regardless of the object of the topic.
Pretty baffling that a few lines of code for a default setting could be worth the GDP of a country...
I agree. This is what society has come to.

Muslim employee in a supermarket refuses to handle bacon = okay

Christian employee in a supermarket refuses bake a cake for a homosexual = not okay

Free speech and anti-discrimination when it suits you, and the opposite when it suits you. The doublethink is strong.
F# was supported on the MDIL compiler for Windows 8.x, then Microsoft did not consider the language relevant enough to support on the new .NET Native compiler when Windows 10 came out, almost two years ago.

How much time do they need to catch up?
I don't know much about Google's diversity programs, how do they advertise? I'm mainly asking because it seems like if someone is pursuing an internship then they're already indicating an above average interest in the subject than their peers.
> Does putting something in writing automatically force you to do it, legally, if that writing is not a contract?

It's unclear from the letter if this agreement was a contract or e.g. an email. If a contract, the answer is clear.

If something less formal, note that American courts tend to treat written communications between sophisticated parties as legally binding, particularly if it occurs around negotiating a contract [1].

There's the further distinction that these are written communications between a CEO and his Board. At the very least, Kalanick made untrue statements to his investors. If he did it intentionally, it could constitute fraud.

[1] https://www.law360.com/articles/950866/bank-bound-by-unsigne...

Disclaimer: I am not a lawyer. This is not legal nor investment advice.
Sorry, but i need to know... prine tree?
Agreed on the voice thing. I've found some really odd sound alikes in my comments when I've used it (trust me it sucks to type a long response on a phone keyboard :-) A common one is substituting 'by' and 'buy' at different times.
There are many free community servers, but you can't host your own domain with them. If this is a requirement, you can have a paid hosting for 1€/address/mo at https://account.conversations.im/domain/
If that's a step function, then people would be happy earning $49,999 than $60k (and may even try to negotiate with the employer to reduce the salary)
Both are American entities.
Funny that you mention "an ad in the app," They're running a Spectacles story right now in the app.

Also, sometimes when watching other people's stories, I see Spectacles ads. Though, the Spectacles story might be tucked away by like, the Daily Mail and the other sponsored stories.
That is the point that these assholes want to reach. Cut off their ability to communicate with anyone and do business with anyone.

They are fine with it because it is "for a good cause". But if the pendulum ever starts swinging the other way they will be the loudest to squeal.
Prunes are dried plums... you don't pick them from a tree.
A disaster that has already and continues to happen, you mean.
Discrimination based on sexual orientation is different from discrimination based on nazi affiliation.
> They need to get liquid

Benchmark or Uber's employees who hold illiquid common stock?
> We already set the precedent that a business cannot refuse service for customers it finds objectionable.

Incorrect; we've already established in law a small set of narrow protected bases of discrimination in public accommodation. Outside of those categories (or in business relationship that are not within the scope of public accommodation, regardless of basid) a business absolutely can refuse service to customers it finds objectionable.

Discrimination based on advocacy of race-based violence does not, it should be noted, fall into any of those protected categories.
Right. The amount a producer can pass on to consumers via a higher price depends on the price elasticity of demand.
Here is one of the relevant portions of Kay's documentary, which was recorded years later:
https://youtu.be/p2LZLYcu_JY?t=35m21s
> she hired at least a few women over men which she thought were better candidates simply because "we have to". That's a problem.

I don't have any problem with people having arbitrary standards which guide their hiring process. They could be hiring the worst candidates, and I don't care, it's their business, may be they want to do charity or whatever.

The problem I have is with the "have to" hire such and such, and when they start painting all of that bs as being some sort of scientific thing where if you don't follow suit not only doing what they say, but also agreeing with them, you are the scum of the earth.

The statistics probably are sound, but the conclusions drawn from them are another matter. Anyone that have been exposed to statistics to some degree know that statistics fallacies abound, people that inject their own prejudices to explain out the numbers also exist, and that analysing things with lots of variables is not easy.

For example, they claim "it's just fair" if they hired as much women as women graduate in IT related areas, and otherwise it means people hiring are biased against women. Well, that's just non-sense. What if women perform actually worse? If not so, what if most women don't want to work at Google, I've heard lot of "interesting" stories that don't make me that amused if that was the case. What if women want to work in other areas that aren't as prominent in Google and go to other places instead?

As I said, saying it's just bias is just a premisse disguissed as conclusion. Just shows the bias of the people coming to those conclusions.
Their LinkedIn profile doesn't inspire much confidence except for everyone is Turkish and they keep recommending each other there.
Anyone can start and distribute a newspaper. Not everyone can broadcast on a spectrum (there are technical reasons to now allow that). If you think of a website as a newspaper, and there are similarities, then this in effect is a private entity preventing someone from publishing and distributing a newspaper.
I was surprised to see the "breakthrough" in this article. The idea to use correlated mutations to identify contacting residues has been around since the 90's [1](if not earlier), but it seems like it's just now getting implemented/benchmarked in reliable prediction workflows. As someone finishing a PhD in this field, my perspective is that there's a big lack of software engineering talent here.

There are ongoing efforts in the computational drug design field to make these problems more accessible to AI/ML specialists. While some biochem knowledge is required, packages like OpenMM, PyRosetta, and MDTraj automate out a lot of the details of working with protein structures. Further, there are a number of public contests to identify the best-performing approaches, with no degree/publication requirements for entry. These challenges include CASP (run every other year for 3D structure prediction -- Jinbo in the article did very well in this), CAMEO (run weekly for structure prediction), D3R Grand Challenges/CELPP (run at different frequencies for drug design), and probably many others I'm not remembering.

New folks to the field might start with FoldIt[2], a sort of protein-folding video game that has a LUA interface, to get familiar with protein folding. I'd be interested to know what sorts of resources we could make available to make the field more accessible to AI/ML talent.

[1] http://csbg.cnb.csic.es/rev_coevol_nrg/
[2] https://fold.it/portal/
Like I said, I don't fault their methods for what they're optimizing for: sales. I -do- fault them for implying that it will improve coding skills when they never tested for that.
If you sink it anywhere which isn't directly in front of the canal then the scuttling is a failure, right? A typical anti-ship missile has some 150 km range, seems pretty easy to sink that ship long before it reaches the canal.
A lot of people (including myself) live in locations and have activities (including commuting) that pretty much make not owning a car a non-starter.

But it's certainly true that for people who don't need to drive on a regular basis, a lot of reason to own a car may come down to things like not wanting to deal with Zipcar or a regular rental car every time you want to do a big shopping trip or get out of town on a Saturday or for the weekend.
So how much traffic would Google.com lose if they switched from DNS to just an IP? None?
Price/performance, yes. Specifically cost of entry/performance.

For perspective, a radeon 470/570 earlier this year would pay for itself in under 3 months even in countries with fairly high electricity costs.
There are indeed only a few such firms - but those firms are probably some of the most bulletproof in the entire industry.

BlackLotus hosted stormfront for years, CloudFlare hosts reams of controversial content - wikileaks, the pirate bay, 8chan, etc. They're practically known for it.

Currently at least, it's still quite possible to find a provider who will look out for their customers. In the registrar category there are a few providers who shine, DynaDot and EasyDNS have really gone to bat before.
LTV faking only works sometimes:

Worked:
SocialCam

Failed:
Uber
HomeJoy
Sprig
Etc...
You're referring to cost, not value. The price charged here is for the value of the effect, not for the cost of changing the few lines of code.
As much as you and many on the HN like it. Ship is not sinking at least not any time soon. If all they wanted was a way out why tarnish their own image by filing this law suit and make benchmark look less founder-friendly and supposedly create leaks which make Uber look even worse. Making Uber look like a bad investment is possibly something they don't want to do if they want $$$ for their existing shares.
IMO, the cost of living is the core problem with CS education programs like this. It's always been possible to teach yourself to code for free if you have a computer, Internet, and 40 hours a week to spend on practice. But who can afford to do that?

What these programs need most of all are cheap dormitories that offer room and board. (Close proximity to students can also help provide one another with a support network.)
Worrisome for Apple that its AI efforts weren't interesting enough to keep Lattner, or win him back.
The AKS algorithm has been reduced to an exponent of 6. That really strikes me as large for polynomial time algorithms though.
> But comparing cloud flare to nginx cache is apples to oranges.

I disagree. I don't know what Amazon is using but it could be nginx.

> Linode nginx cache cannot sink a modern DDOS attack

Which are we talking about here? linode or nginx? Linode has 40 Gbps network in, with an API to spin up more servers (implement your own auto scaling). With AWS they absorb the attack & bill me thousands of dollars. That DDOS attack will shut you down financially, but yes you will stay online. With Linode I can not only stay online, but I can afford the hosting bill after the fact.
What if there are none?
Have you run across any prior business that trade education for a percentage of future income?

Ask since I've looked at this model before and while I'm not able to find it, I recall court cases that ruled against this type of finical agreement.
Google doesn't have a monopoly as a registrar, either.
Last time I checked, most of the stormfront members and most of the alt-right aren't committing any crimes against people who are coloured, just like how homosexuals don't commit crimes against heterosexual people.
Possibly due to far fewer ad blockers on iOS devices compared to desktop and Android. Also, the demographic of iOS users might be more likely to buy things. Just speculating.
> Except when your use case requires a massive shared data cache that needs to be atomically updated

You can delete the last 6 words. Anything where multiple processes would have to read in/acquire a massive dataset to do some independent work qualifies. For instance, running some number (e.g., hundreds to hundreds of thousands) of analytical or statistical tests over a set to pick parameters, etc.
Yes. It is one thing to acknowledge that biological differences between men and women exist. It's an entirely different thing to claim that these biological differences are the reason why there are so few women in the tech and leadership, and then to call for the elimination of programs designed to encourage more women in tech.
Except for all the tooling that people like to use that isn't covered under Unix certification, of course. It's not like the Open Group is the ultimate arbiter of useful software on Unix-like systems.
a Faustian deal

Faustian deal indeed. The only way to read Faust is as the story of someone who is in over his head and screws up at every turn. Every thing that Faust touches turns to shit. There's nothing Faustian about Faust.
... too often that addiction began by following the advice of a doctor who, in turn, was following the drug manufacturers instructions.

ok. it's the doctors and big pharma. so, let's get doctors to prescribe fewer painkillers? is that the policy proposal?

the next thing you see is a news story about the huge amount of unnecessary suffering because our evil, immature government has unjustly demonized painkillers, which are, after all, just good medicine and common sense.

these stories go around and around.
A little too flowery. He's also needlessly political.
Was expecting them to announce a $5 monthly subscription to use the new version too. Lol. "SOFTWARE SHOULD BE SUBSCRIPTION"
CC: Treehouse
Seems equivalent to their "tech degree" which costs $199/mo
Does it lock the GIL so numpy can release it again immediately afterwards?
Well, if he was trying 1M combinations every 40 seconds, for $7 per hour, and he didn't need to use hundreds of dollars per hour of commute time, let's say 10 hours = $70. That's 900M combinations per hour, so 9B combinations in 10 hours.

If he was trying combinations using upper-case characters, lower-case characters, numbers, and let's say 20 symbols, that's 82 possible combinations for each one. We'd expect him to find the password after exhausting half of the search set, so we want log base 82 of 18B. That suggests 5 characters.

If he let's say just used lower-case characters and numbers, that's log base 36 of 18B, which suggests 7 characters.
>it bears a resemblance to involuntary servitude

Surely this is a typo, you mean voluntary servitude? But even so, if 17% can be considered servitude, then income tax would be involuntary servitude.
I don't think they are somehow attempting to hide their motivations or mislead employees.

As you say, it is obvious.

They are only arguing that both employees and investors have a shared interest in the long-term success of the company. Which sounds pretty reasonable.
French Prune and Italian Prune are the names of some European plum cultivars typically grown for the purpose of being dried, however they are also quite good eaten fresh.
duplicate, please check before submitting: https://news.ycombinator.com/item?id=15010981
Because he's not just a 'someone', he's a hero for stopping the disgusting attack on the NHS and letting doctors and nurses get on with their job of saving lives.
I grew up stealing mangoes in India as a kid. There is something about raw mangoes that makes you want to pluck them immediately.
Where do I find that? I'm using the latest f.lux but I can't find all the new features...
Real-Time and Collaborative Game of Thrones Online Quiz App
The only judgement which should occur at this point is in the courtroom. I am making no argument beyond a reply to this part of the comment:

> This headline is editorialised.
To everyone agreeing with this post, I will ask you a question: Will YOU join a company with 40% females or 10% females with everything same. If the answer is former, there is a real value in hiring more females.
Let them steal your business idea
I think buying artwork (or prints) from local artists is one idea. You can find them in gift shops or art shops, and can be fun things like magnets, small knick-knacks or large posters.
Well, I don't use bash (zsh nowadays) for literally everything. I also use the browser, etc. My VIM isn't in the console, I use the GUI, so I can have more colours and better fonts. But in general, when I can, I control things via the least complicated interface possible - plain text commands.

My gripe isn't that there's anything inherent in GUIs that makes them a less reliable interface than the terminal, it's that getting them to the same level of dependability appears to take more time. And, for all its warts, the fashion du jour of making a GUI by just dumping HTML+JS in a browser instance is something I whole-heartedly support, because it gives application developers probably the simplest (today) wide-spread technology to build GUIs with. It almost always results in applications that consume too much RAM, too much CPU, aren't native-looking, and there are probably other easy GUI-building solutions (QML?), but at the same time they're trivial to edit, quick to write, and there is a ton of documentation and a large community around them. I really hope that electron becomes a standard installable application platform in the near future.
It's because Microsoft's main client application platform's .NET runtime is not .NET compliant, resulting in their own language, F#, not be supported. See here https://news.ycombinator.com/item?id=15007166

They act as if C# is the only .NET language and nothing will change if we don't speak up about it.
This is self-fulfilling. As long as Python is useless for a set of tasks that are intrinsic and important to some domains, they won't use it.
Religion, race, gender, etc. are protected classes. Political ideology is not.
I don't remember ever hearing of an Apple data breach. Certainly some of the celebrity photo hacks were initially attributed to a general iCloud security problem, but were later found to be typical password problems.
If we cheer this, we cheer that DNS is a flawed system. Which I think we already know from Comcast injecting ads and datacap banners in pages.
A noble attempt, but without supporting Monero you're not supporting fungibility and privacy.

I hope this is an oversight that you'll correct.
"Uber is the most important and promising company of our generation."

That is a totally delusional statement. The current status of Uber's decline is a direct contradiction to this very line. Uber isn't anything special. A case could be made to say that Travis is special, an exceptional force that bulled his way through red tape and created a lot of value for shareholders and users of Uber, but Uber, as a company is nothing more than a very nice brand, which has now turned bad.

You can see this in every market they try to capture, fail and end up partnering with others in.

These kind of statements are why people take the piss out of the Silicon Valley thought bubble. Uber augments the middle class by providing convenience functions on their phone. That is not going to change the world. Not one bit.
I don't think your the target audience. Snapchat UX is amazing and an entire generation uses for all communication purposes. Facebook of OUR time.
Makes me wonder what adding Guix build support to dpkg (and vice-versa?) would look like, or whether it would even be possible in a coherent way.