skysight-inc/HackerNews huggingface dataset:
>> I was bearish on it initially but it's starting to prove itself

Your inner trader is peeking out... :)
How a Single Phone Call Can Compromise Your Company
Unveiling GitLab's new navigation: A whole new way to navigate
I think this blog post is one turn of the crank away from a truth we're all about to learn: don't hand roll your own Kubernetes ingress.

Dealing with the traffic handling between your users and your code is not a trivial problem. Like all good ops problems, you can fix it with good tools, deep knowledge of those tools, fine-grained observability, and smart people running all that.

This has been the recipe for a couple of really successful SaaS offerings. Individual servers? Datadog. CDN? Akamai / Fastly.

Disclaimer: I work at one of those companies, Turbine Labs, and we're trying to make ingress better. Here's a presentation from our CEO on Kubernetes ingress, and why the specification creates the problems that this blog post is trying to fix. https://www.slideshare.net/mobile/MarkMcBride11/beyond-ingre...
No, but thanks so much for sharing!
Digital Understanding
That's especially funny from the same Michelson who did the Michelson-Morley experiment that basically kicked off relativity.
It was a direct response to the parent.

Also, if you loose access when you stop subscribing that is actually much harder to do compared to not paying for an upgrade if you "own" a license of the software.
Why believe they're all false just because there are many? Any atheist creation story is just one more in the list.

But, to narrow things down, the Genesis account is dislike most of those in that:

1. It's ex nihilo, so it doesn't leave loose ends out there like, "Yeah, but where did the giant turtle come from?" I'll point out that atheist philosophy has this problem at least with respect to matter and energy.

2. It's monotheistic, so complications about where the many gods come from, what rules they have to follow, and how they die are moot.

3. It doesn't make clearly-not-true claims about the nature of reality (great beasts, corpses of giants, etc.). I know people disagree on this point, but I think most people who reject the Genesis account haven't fully deliberated on this question.

Now, I didn't start at genesis and work my way through the Bible to my current beliefs. I don't find that people generally convert to Abrahamic religions that way. But I do find that people mistakenly think there's a contradiction between science (evolution, astronomy) and the Genesis story, which is why I said something.
I'm sorry but your analogy obscures your point rather than illuminating it. Are you saying that the person being female casts doubt on the initial analysis of the person as a warrior? If you are, is this assessment based on knowledge of Viking society or is it just your cultural assumption?

If that's not what you're saying, could you please just say what you mean rather than suggesting it?
A few years ago I had read about Python performance gains and some built in attributes, but couldn't find the reference when I looked. Well it was `__slots__`, thanks for posting!
Same disclaimer as v64: my background is also mathematics, but not in this field.

As he says, what was proved so far is that:
a_0 < a_1 <= p <= t <= 2^(a_0)
The first inequality is by definition (a_1 is "the smallest cardinal greater than a_0), the second one is a theorem by Hausdorff, the third one is supposedly easy, the last one is trivial. Also, if the first one is an equality, then the second one is, too.

The continuum hypothesis claims that they are all equal; that's been proved by Cohen to be independent of what you call "A" (and is generally called ZFC), by "Forcing" which is not easy, technical, and has won Cohen a Fields medal... And you're right in saying that what is proved in an axiom set is true in any larger axiom set.

However, the main point is that "we cannot have p<t, and hence p=t" is false; that is the whole point of indecidability. A statement can be "true", "false" or "not decidable". Many people apparently expected the p=t question to fall into this last group (with some enlarged axiom set "A+" permitting to prove the strict inequality).

And no, the statement "The continuum hypothesis is undecidable in ZFC" is proved within ZFC, otherwise it wouldn't have been proved at all... To give a trivial counter-example, as a corollary of Cohen's proof, the axiom choice "ZFC+CH" (ZFC + continuum hypothesis) is as valid an axiom set as ZFC is. Within it, you can certainly prove that "ZFC implies CH" since... CH is simply true.
Migrating from RethinkDB to Postgres – An Experience Report
Periscope's LHLS Media Streaming Protocol
I have thicker skin than that, but not everyone does. Thanks!
+100 to this. Why would any sane Op/Inf/SRE choose not to have at least account-level isolation - is it only a matter of cost due to under-utilization?

I prefer to have everything 100% isolated for dev / qa / stage / prod, and have process and tooling in place to explicitly cross the streams. This comes from a history of pain with random dev-to-prod (or worse, prod-to-dev) access and dealing with "real companies" with things like audit requirements.

Having them separate lets you do things like @odammit suggests, upgrade your cluster in staging without affecting your developers or customers.

If you don't want to go that far, you can set up separate AWS accounts that are all tied together via an organization, and you can set up IAM roles and whatnot to share your API keys between accounts. That gives you at least some isolation, but still lets you GSD the same way as if you have a single account.
I don't think that the technical scope of the software or the company behind it were what was being measured against the notion of a "fairytale startup" by the parent, or the grandparent. They spoke of "greenfield tech", "mind-boggling earn out", "10 000 millionaires" but the product didn't have to be an entire operating system. A game could be a fairytale startup then. Flappy Bird would have done it for me
Implementing the Ethereum Virtual Machine (Part I)
Social workers and mental health counselors are overwhelmingly female (and white.)
Would you share how you made that deb? Sounds useful.
I'm not an MBA and don't really have the intention to get one - so pardon my naive question, but what does it mean to "play the game?"
At this point it is pretty clear that, at least on the Mac side, iTunes has no future. The Mac is clearly moving towards an iOS-like setup where there are seperate Apps for Videos, Music, Podcasts, and so on. Now that Apple has discontinued all non-iOS based iPods (so everything except the iPod touch) this raison-d'être has also disappeared.

What remains to be seen is how this plays out on Windows.
I have found people typically have a certain way of paying. Some companies pay late on principal, some pay early on principal, some pay late due to dysfunction or cash problems, some pay on time on principal. Over time I think you learn to set prices accordingly, offer small discounts for timely payment, and big discounts for prepayment.
Langserver.org
Eric Schmidt demanding the firing of antitrust researchers at the New America Foundation may go down in history as one of the worst decisions ever by a corporate officer. Nobody was paying much attention to antitrust papers from there. Now both Bernie Sanders and Steve Bannon want Schmidt's head, and antitrust is coming back.

The last time there was an unregulated industry with network effects this strong was when railroads had enormous power and used it to force high rates and favor companies they owned. This generated strong political opposition from businesses that needed to ship goods by rail, which was most businesses. Railroads were forced to become common carriers. Something like that might happen in network infrastructure.
There have traditionally been two types of monopoly, exemplified by Standard Oil and AT&T. Standard Oil came about through mergers. This is the one where antitrust fits -- you break them up, problem solved. AT&T is a natural monopoly. Breaking them up doesn't fix it; the last mile has to be treated as a public utility because a local monopoly is still a monopoly and it's not practical to build fifteen independent last mile networks everywhere.

But Facebook, despite being a monopoly or nearly so, isn't either of these. It makes no sense to speak of breaking Facebook up -- what does that even look like? Each if the Baby Books gets 1/20th of the users?

But it's also not a natural monopoly because what makes Facebook a monopoly is a lack of interoperability. If "Facebook" was a federated system where anyone can set up their own social networking server and still communicate with anyone else on any provider, there would be no monopoly. Some people would use Google and some people would use Microsoft and some people would have their own server in their basement and they could all still talk to each other. Social networking is not a natural monopoly any more than email is -- unless you allow the largest player to refuse interoperability with competitors.
Yes why only Python?
it wasn’t until Cloudflare, a website security and performance service, dropped the site as a client that The Daily Stormer truly lost its ability to stay online

Daily Stormer lost its ability to stay online on the clearnet because its registrars kept dropping it. First GoDaddy and Google for .com (or .net) and then national registries when they tried ccTLDs (.al and others).

They did manage to find a replacement for Cloudflare -- BitMitigate.

https://bitmitigate.com/a-commitment-to-liberty.html
> "a woman's place is in the home, preferably barefoot and pregnant"

Is this your own quote or something that was used before the women's lib era you reference ?
> Except for each describes salvation differently and each describes its method to salvation to be mutually exclusive from the others.

Christianity entirely builds upon Judaism, and Judaism doesn't provide a path to salvation that Christianity doesn't (not the opposite though). Islam is more distantly related, but they still believe in the same God.

It's more like I believe the US is free, democratic, and on the whole a good place to live, while someone in North Korea believes the US is a hellhole. (I live in Europe and haven't spent any significant time in the US, so my perspective isn't inherently superior to the North Korean's.) We have very different conceptions of the US, but we're still talking about the same US.
Peer to peer commerce could take over???
Nazi's? Nazi's what? Do you mean Nazis.
There's a study that indicates an interesting trend: you can have articles that have hard data, have soft anecdotes, or have both. Of those, the ones that try to do both are significantly less convincing than the ones that solely focus on one approach.

I know a guy who loves articles that do both though, so YMMV.
I wish people would learn to appreciate that UX is subjective. I find most GUI-based editors to be RSI inducing. The level of effort required to change that is not worth it for me. Others may disagree. And that's fine.
It takes some serious cojones to declare your support of the principles of free speech upon which western democracy is built, and then when someone points out your hypocrisy in censoring declare "Im not violating the law!!!!"

No. You're not. You're just (legally) attacking the principles upon which your society is built.
The PKK is a far more complex issue. Their mission is self-determination for Kurdish people. After WWI, the Allied powers split the region where the Kurds reside, their hoped-for Kurdistan, between Turkey, Iraq, and Syria. They have faced oppression and worse (e.g., Iraq murdered Kurdish civilians with chemical weapons in the 1980s) from these governments for generations.

In Iraq: In the contest with Saddam Hussein, at least beginning in the 1990s, the U.S. built a strong relationship with the Kurds there. The Kurds used U.S. support to create de facto autonomy from the Iraqi government (something they are voting on in a couple of weeks - potentially a major event in Kurdish history). They became a skilled combat force and strong allies of the U.S., fighting alongside the Americans through the Iraq War and now in the fight against ISIL.

In Syria: My impression is that the relationship between the U.S. and the Iraqi Kurds extends now, with the Syrian civil war, to the Kurds in Syria. Like those in Iraq, the Syrian Kurds also have used their government's weakness to establish some autonomy.

In Turkey: There is no government weakness and no autonomy, but an ongoing contest with crackdowns, terrorist attacks, and more. The Turkish government calls the PKK 'terrorists', but the government's hands are hardly clean. The Turkish government does not want autonomous Kurdish regions in Syria and Iraq, both of which would border the Kurdish region in Turkey and would encourage and support Turkish Kurds.

Are the PKK terrorists? Freedom fighters? Some of each? I can't tell you. But certainly they have some argument for seeking self-determination in the face of oppression, and unlike groups such as ISIL their goal is self-determination for their own people, not to bring down governments and to take land and liberty from others.
OK... So exactly why is it useful to me, as someone writing programs in the real world rather than theorising about how computation works, that a list type under concatenation and a money type under summation are monoids? Can I actually write useful code with this knowledge?
> an apparent magnitude of nearly 27

Wow. Just for reference, an 8.2 meter ground telescope (the Subaru in Hawaii) was able to capture objects at a magnitude of 27.7 after staring in the same spot for 10 hours. [1]

1. http://www.skyandtelescope.com/astronomy-resources/astronomy...
Oh, thank you. So the article just threw in Continuum Hypothesis because different infinities 'n stuff.

But what is confusing to me is that the article suggested p and t are defined as collections of subsets of the natural numbers. The power set of the natural numbers has the same cardinality as the reals, right? Since p and t are both subsets of this power set, they must have cardinalities below the cardinality of the reals.
The size of the reward doesn't actually change the difficulty though.
I'm not sure how fs.copyFile is implemented, but file copying is not the same as reading the contents of file and then writing it into another file, which is easy to implement. There are also permissions, extended attributes, access control lists, etc. And then there are CoW file systems such as APFL that can optimize copying referencing the original data instead of physically copying it.

In macOS libc there's a copyfile(3) function: https://developer.apple.com/legacy/library/documentation/Dar...
TUI still has advantages. Editing files over SSH is simpler, the app is easier to build cross platform, and for me personally the lack of a context switch when I'm in my terminal is nice. Even tiny little differences that keep you in your flow add up.
I see a huge moral difference between advocating for destructive resource extraction on public land where you'll be profiting from selling those resources to others, and advocating for non-destructive access to public land where you make no monetary gain, and your only benefit is the personal benefit all visitors experience.
If you take the power set of an infinite set, you /always/ get a cardinality bigger than the original set. So there are an infinite number of infinities.
Gonna take advantage of having an emacs wizard around -

I love vscode, but agreed, it's bog-slow sometimes, especially when I run in ubuntu. I'm looking around at emacs and I like what I'm seeing, but something that perhaps seems silly is still a bit of a turn off for me - it's pretty effing ugly. I don't mean in the theme sense, I mean in all the stuff cluttering the codepanes.

In VScode I usually ctrl+k z for "zen mode," where the only thing you see is the tabs of your open files, and the code. ctrl+shift+e opens my file explorer when I need it, ctrl+b puts it away (or ctrl+p to go straight to a filename). Same for terminal, ctrl+`, do a git thing, ctrl+` buh bye. Anything similar for emacs? That level of quick control over the UI?
The problems are much more pronounced on my Windows machine but I assure you the iTunes experience is far worse than that of Spotify. I have no reason to lie about it.
> I'm surprised the author thinks that Flow is more popular amongst the React community than Typescript. I hardly ever hear about Flow, and I work with React and follow it's development.

Agreed. Perhaps the thought that Flow is more popular in the React community comes from people who are not using either Flow or TypeScript? In my experience, I rarely ever see Flow being used in the wild.

Another metric we can look at to estimate popularity is the number of questions on StackOverflow.

Flow has 1K https://stackoverflow.com/questions/tagged/flowtype

TypeScript has 37K https://stackoverflow.com/questions/tagged/typescript

Also looking at NPM downloads this month:

Flow has 1M https://www.npmjs.com/package/flow-bin

TypeScript has 7M https://www.npmjs.com/package/typescript
This is precisely my point. Why would you take this part metaphorically, but insist that God have literally created the world in 7 days?

EDIT: I think you misunderstood slightly. I consider Christianity to be defined by the Nicene creed. You're a Christian if you profess the creed, and you're not if you don't. Ergo a literal reading of the bible is incompatible with Christianity.
3 techniques for writing modular code
I find it as superficial as enjoying your editor font. It definitely matters to many of us I think. Sublime has a lot to be desired on the font rendering front from my perspective. I will definitely revisit Sublime once they tackle that presumably in 3.1 or 4.
Oh wow.

The refugee crisis unfolded years before Russia even entered the conflict. Accusing them of creating it now is silly. Nor did Russia have a large air base in Syria until last year. Nor did the Russians supply or use chemical weapons. In fact, they earnestly tried to do the opposite - take Assad's chem weapons away (though they obviously failed).

The thing about Russia targeting civilians is curious to me. Is Russia killing civilians in Syria? Sure. Are Russians doing it on purpose, as part of their strategy? That I am not so sure about. I suspect it has more to do with urban nature of the conflict, low-precision bombs, bad intel, and yes - I have to admit - the traditionally lower value Russians place on human life (including their own). But as a part of some grand genocidal strategy that Western press attributes to the Russians? Probably not.

Case in point, when US aviators were bombing Mosul, they were also killing hundreds of civilians in the process (see links below). Despite the fact, no one has accused the US of specifically targeting civilians. All civilian deaths were chalked up to mistakes, rather than evil intent.

But in Russia's case, it's a strategy. Beats me why.

[1] http://www.independent.co.uk/news/world/middle-east/isis-syr...

[2] https://www.pri.org/stories/2017-07-13/were-high-civilian-ca...
Racket: N-Queen Problem and Parallelization
I'd like to know what makes Physics so different from Math and Chemistry. Why are the latter almost equal but Physics is just so overwhelmingly male?
Mulberry portable harbour
There is a line to be drawn distinguishing between a toxic ideology, and an active conspiracy to commit a definite crime. They are at least notionally distinct.
This sounds very exploitable.

* Fake account via throw away mail service
* Block camera lens to blind computer vision with gum
* Steal all the things
Ask HN: Which Python IDE do you use and what do you like and dislike about it?
Please explain your wizardry.
Should have gone with Raytheon, up ~35% since the election. Why HAL anyway, it's more of an oil company than a MIC company?
Quite honestly, I don't mind paying a subscription for updates. But I detest having to pay a subscription when all I want is a single copy and don't require rolling updates and support.

Charging a one time fee works just fine for lots of folks out there making software. It's especially good for anyone who's doing it in their spare time as they don't have to provide updates for every little niggle someone may find. Some offer a subscription alongside the one-off model, which is the best of both worlds if the developer(s) are continuously working on it. Others ask you to purchase the major upgrades but give minor upgrades for free.

There are lots of payment models out there, and the developers should pick what works for both them and their customers. There's no way most of my colleagues who have a license would have purchased sublime if it was a rolling cost, so that model seems to be working in their favor right now, at least for single developer purchases.
In particular, inductive reasoning starts reaching its limits when observability, reproducibility, and complexity are issues. Sometimes we invent things to push those boundaries (calculus, computers, drug trials on animals), but some complexity can be proven to be incalculable. And some results (The Milgram Experiment) are too terrible to reproduce to be worth the scientific knowledge they could offer.

I think there's plenty we should be eager to learn, but I think it's realistic to think there are areas where "less incomplete understanding" is the best we can hope for.
I love Sublime because it's rare example of quality linux app.
IJLTH https://swinsian.com/
I used to know how applets worked really well. That knowledge isn't so useful anymore.

Real estate agents have the same problem.

Of course they know more than I do about the process of buying a house. But knowing whether a house is worth more than asking and roughly how much over -- I can learn that specific piece of info for the houses I care about and my knowledge will be roughly equivalent.
It's interesting, but I personally could not find any "surprises". Common job circles are pretty much obvious. Technological progress is probably one of the main reasons of the male->female shift.
Are you asking what we think the chances are the literal supporters of the long-dead German party are going to "take over" the US? Because if so that's a strawman and you know it.

If you really want to set it up as a dichotomy I'd characterize the first category as "people who believe in racial superiority, authoritarianism, bellicose and arbitrary foreign policy, and in general favor short-sighted, poorly-executed and simple solutions - most of which involve completely neutering government as we know it - over sober and data-backed policy"... Then I'd say we're already teetering on the edge, and yeah, I'd consider that a lot more likely than the US government using its power and influence to label and suppress opposition.

You might notice, by the way, that the first begets the other. So turns out enabling (1) also hastens (2). So it's not really a dichotomy at all, is it?
ACLU and EFF Sue Over Warrantless Phone and Laptop Searches at U.S. Border
Should we encourage or require companies like google and cloudflare to cater to fringe groups? Ordinarily, a business, especially in the United States, has the freedom to not conduct business with all but a few protected classes. Is being a neo-nazi, or a member of antifa, or of the old Animal Liberation Front now supposed to be a protected class?

If yes, does that mean we also require the bakery down the road to post advertisements for local hate group gatherings? Do we want to commit to taking away a business's freedom of association?

If a Nazi walks into the coffee shop I'm at and starts trying to rally people around the their ideology, I'm going to do one of two things, either leave or attempt to talk the nazis down, and when that (typically) doesn't work, also leave. If the Nazi comes back every day and does the same, it can reasonably affect that coffee shop's business. Does the coffee shop not have the freedom to kick the Nazis out?