skysight-inc/HackerNews huggingface dataset:
> before the last digit, which is '1'

No. There is no last digit. That's the whole point. If there were a last digit your argument would be correct, but there isn't, so it's not.
I agree that the downvoting is unfortunate. I guess the assumption is that the post is simply a troll, which seems to be backed up by some of the down-thread replies. Even so, the original post just seems like a list of common misunderstandings about Cantor's notion of infinity and how it corresponds to the way that we use the word in colloquial use.

In defense of the GP, I think they were simply thinking of numbers in [0,1). If you write them backwards, it almost seems like it would work:

1 -> .1
2 -> .2
...
9 -> .9
10 -> .01
11 -> .11
12 -> .21
...
3124 -> .4213
...

Done!

Unfortunately, you are either stuck with the fact that some numbers (even simple rational ones) do not have a finite decimal expansion. In most formal proofs of the diagonal theorem, we use the infinite representation without trailing 0s (using trailing 9's instead) to force uniqueness, which makes it even trickier.

Or you're stuck trying to assume that there are natural numbers with an infinite representation, so the decimal representation of the rational number 1/3 would correspond to an actual natural number.
Can't imaging going back to Sublime after switching to VS Code a few months ago.
And the owners don't robbed at gunpoint every few months.

Sorry, a high school friend's family owned a bodega in Bushwick before it was "gentrified." That's the main thing I remember about their business.
Seems to be a few as other comments have pointed out. But the female labour-force participation rate at the start of the dataset would make it difficult for individual job categories to switch from majority female to male over this particular time span.
There are a number of groups that benefited from ISIS being in the area.

Certainly Iran and Russia getting a poke in the eye probably wasn't a bad thing from the CIA's perspective but they were probably not the only (or even main?) players. More like the gun store and some advisory support. For the other suspects we need only look for the folks who benefited from a buffer between Russia and Iran and their own states and a proxy army keeping Iranian/Syrian/Russian forces tied down. The whole thing is pretty inexcusable though and the people responsible are a level of criminal IMOP. It also appears the scheme isn't going to work out long term and Iran and Russia will continue to have influence in the region. Which given the behavior of our "friends" in the area I can't say I feel terrible about. But I'm probably not looking at it through a geopolitical chess perspective but more a perspective of ruined lives and societies and the spread of extremist ideology.
Smart Device Buying Guide: Separating the Greats from the Gaffes
Don't senior officers in the US military need advanced degrees anyway ?
Here's a parable: They came for the anarchists. I am not an anarchist, so I didn't care. Then they came for the communists, neither am I. Then they came for the Muslims. Then they came for debtors and child pornographers. Then they came for me.

Or in other words, for every man there is a paragraph (in criminal law). If not, one will be invented.
I've also experienced this, especially when working from home for extended periods of time. Thankfully the compiler's application of rules aren't capricious nor does the computer get annoyed when I repeatedly ask it tiny variations on the same question.
Ah, I was thinking of the rationals. Thanks for the ELI5 link.
WhatsApp Plans to Get This Much-Awaited Feature
EMPs aside (which throw a wrench into any modernly-convenient cooking technique), grinding wheat berries into flour is easy to do at home. (I have a stand mixer attachment I do this with often.) So is growing wheat; it's just grass after all. What's painstaking at home-scale would be threshing and winnowing, but it seems [1] that you can do this by hand too.

[1] https://www.groworganic.com/organic-gardening/articles/grow-...
Three things:

First, this research didn't show that all infinities are equal, it just showed that two particular ones are equal. Indeed, in Cantor's formulation, the powerset of any set is larger than the original set, which immediately shows that there is no largest infinite set.

Second, this research wasn't about ℵ₀ and c at all, but about another pair.

Third, the issue about ℵ₀ and c isn't about whether they're equal, but whether there is or isn't a third infinity that's larger than ℵ₀ and smaller than c. It's already known that both answers (yes and no) are consistent with standard mathematical axioms. Edit: this result does have some connection with the continuum hypothesis, but I don't know exactly what that connection is. However, these researchers definitely didn't claim either to prove or disprove the continuum hypothesis.
So you don't think HN has groupthink?

Doesn't every groupthink community describe themselves as "Smarter and more insightful commentators"? I'm pretty sure Trump or Clinton voter websites consider their signal-to-noise high and everyone else's low.
Do you specifically want it to be about Python scripts or also other languages?
VSC recently put in a large file feature. Which disables many of the standard text editing features to open up these files faster.

I'm not sure if this addresses files bigger than 10mb though.
Or a straight man or gay woman. The unnecessary identifying information is very likely meant to throw people off.
US is giving weapons to PKK in Syria. PKK has been considered a terrorist organization both by US and EU for a very long time, I mean decades. They are giving weapons under the pretext of fighting ISIS. Among the weapons given there are surface to air anti-aircraft missiles. Strange thing is that ISIS does not have any aircraft to shoot down. The amount of weapon delivery as of last week is about 13,000 containers. Hard to believe, right?
Clinical Drug Trials May Be Coming to Your Doctor’s Office
The cardinality of the reals has been known to be strictly greater than the cardinality of the naturals since Cantor. What the Continuum Hypothesis considers is the cardinality of the reals and the cardinality of the power set of the naturals. The power set of another set is the set of unique subsets of the first set. If the first set has cardinality of N, then the power set has cardinality 2^N. Thus, the reals can be considered to be exponentially more dense than the naturals.

Some intuition: while there may be N unique stocks on the NYSE, there could in theory be 2^N unique mutual funds that are based on the different combinations of stocks.
> I really hope this trend stops soon.

In what way? That services stop trying to be desktop applications and live on the web and web browser? Or that Electron itself is not an adequate framework for cross-platform development?
It looks like an interesting phenomenon, but about the title the relevant paragraph is:

> However, when the remainder of the edges and the interior of the material are taken into account, the second law is restored. This "partial" violation is an effect of this type of exotic quantum system that does not fit within the framework of classical physics
Think about Zuckerburg's wealth. If he had sat in his dorm with the goal of building a multi-billion dollar empire, do you think he would have started with "thefacebook"?
Haven't read such an easy to read technical article in a while. Kudos!
Turkey is responsible for executing 20,000 Kurdish civilians and destroying several thousands villages in the same conflict. They're still destroying Kurdish cities today, Sur, Sirnak, Nusaybin, Cizre, ... Burning civilians alive by hundreds in one incident.

If that doesn't make them a terrorist organization... well, I don't know what to tell you.

It's a war.
Anti-Iran since 1979? Not yet both parties in 1980, allegedly.

http://www.nytimes.com/1991/04/15/world/new-reports-say-1980...

https://www.counterpunch.org/2014/07/11/the-october-surprise...
You should buy multiple licenses of Sublime Text 3.0

I'm in a situation where if I had $10 or $80 extra, I would use it to buy baby supplies, not software. Many others are in the same situation, or worse (thinking of those in developing countries where $80 represent a week's worth of savings).
The smart ones will start building significant large offices and headquarters outside of SV & Seattle. Amazon is already starting to location-shop for a second headquarters.

They'll need to get more senators on their side than just the 4 from CA and WA.
I agree that finding an open source, well established and powerful editor is an investment worth making. That basically means vim or emacs. Once over the learning curve, you're setup for long term productivity gains and stability. Since neither editor is going anywhere and they run on pretty much anything.

But for many people, the initial learning curve just isn't worth it. Sublime, Atom and VS Code are all very popular because you just install them and start coding.

I'd love to see someone shake up the space with a "modern" take on emacs and vim: native, fast, powerful, very configurable, terminal based, but also with a conscious view on the initial learning curve and out of the box usefulness.
"A popular local outpouring of resentment against his regime was coopted and inflamed by hardline Sunni extremists"

I seem to remember the Assad regime continuously arresting, torturing, and even outright shooting peaceful protestors for a number of months, which directly lead to the armed rebellion. Obviously, Sunni extremists would later hijack the opposition, but I feel that far too many gloss over Assad's role in starting the entire conflict.
Diagnosing Heart Disease with Deep Learning
right. It has less convention than gold and less valuation. Bitcoin market cap is what 50-70 billion?. What is the non-industrial fraction of gold's market cap? 1 trillion? so, if bitcoin permanently stays at 10% of gold's hedging value, it justifies a valuation of 100 billion. that's not counting at all usefulness of bitcoin for money transfers.
Recently I've read about a similar tactic - a guy wrote an ebook, and just shared it on forums and torrents. Because it was niche, valuable, and free, it "went viral", people kept sharing it with each other and downloading it. The book was(non-obnoxiously) sending people to his site, and he had a lot of success with it.

It all comes down to the same fundamental principle - exchanging something of value for attention. Most of the people do it with content marketing(articles and videos), but there's an unlimited number of applications. As long as there's something of value you can provide at a relatively low effort - you can use it as a marketing channel.

If you are in a technical niche, open source projects do extremely well. It doesn't even have to be a polished startup-like SaaS, it can just be a useful python script, or a boilerplate project for some tech stack, or a guide on how to install or deploy something.

Authors give away their books to bloggers before publishing, or share them with influential people in the industry - same idea.
Here you're entering a different discussion. Ther are many who would like the Internet to be a permanent record of information, but there are also many who would want it to be ephemeral.
Notifications are always the killer feature for me on desktop and it's one of the main reasons i don't use gmail/hangouts/google calendar in the browser. Sure you can keep them open all day in a browser window, but i don't want permanent browser windows open all day.
We understand that bureaucrats and their institutions are quite inept when tasked with delivering the mail, for example. But they often get a pass with international relations.

Might be the bikeshed effect in action.
Much of my research on number theory and primality relies on a deep understanding in axiomatic set theory. Based on other news sites I've read that attempt to cover naive set theory, I was pleasantly surprised at the article's fairly decent coverage on the topic.
I thought as you do. That's why I invested in Haliburton when Trump was elected. I figured the Military/Industrial complex was about to do VERY well.

I'm down 20% since Trump was elected. Not saying we are wrong, necessarily.

But its good to check these theories against reality whenever possible.

http://www.marketwatch.com/investing/stock/hal
If you want a Git repo hosted on Amazon, I think you can get 50 Gigs of storage using their CodeCommit service for free. It obviously isn't the same as learning how to set things up on the server for yourself, but it might be useful depending on what you are trying to do.

https://aws.amazon.com/codecommit/
> Since the government has given up on all responsibility to police political campaigns

I believe that's known as freedom of assembly.

I'm not going to address some of your bizarre points involving your dislike of Steve Bannon.
I love the irony of having the marketing lines "Experience Trello without distractions" and "Native notifications" follow directly each other in the trailer.
[E-Mail] LiteBit supplier victim of cyberattack
Damn, I liked the iOS feature to sync applications, back in the day when Apple was blocking Bitcoin applications it was the only way to get Coinbase back onto your phone.
Show HN: Botletter, Send Newsletters on Facebook Messenger
You should read this: https://caremad.io/posts/2013/07/setup-vs-requirement/, it specifically references this "feature" of pbr.
Get Free VPS and SHARED HOSTING AT JUST $0.1/M
As I see it, the Yelp comment in the video is not wrong, Google needs to find ways to increase the monetization to compensate for falling CPCs. They do that by putting more and more sponsored content on the first page and pushing people to their own sites as much as they can.

One of the things I find interesting are the 'one boxes'. These are insets in the search page which has extracted what Google thinks is the answer you are looking for, from some other web page. If they guess right, they get a non-obvious benefit, you don't click over to a non-google page that has ads on it. If those ads are from some other supplier, its a big win for Google, if they are from Google they now have to share revenue with the site owner. We know that 'facts' are not copyrightable and "fair use" doctrine allows for some limited copying to identify context, which means it is unclear if you can even stop them from doing this to your pages.

Some subtle, some not so subtle, but when the choice is to start using your monopoly power to shore up the bottom line, or not. I have never seen a company that hasn't started taking "just a few" shots from that trough. The challenge, and I don't know if it will damage Google or not, is that path can lead to some really egregious behaviors. And big companies, IBM, Microsoft, Intel, Proctor and Gamble, who have gone before have always paid a higher price for taking that road than the benefit they received.
“Medicare for All” Plan Introduced in the Senate
Yes. I'd like to see AEB broken out of the accident number. Looks like this NTSB investigation did not release such a number.
Well, offering a repo is yet another step further than just putting a .deb on the website.
Balsamic mockups desktop is still a single 99 USD purchase. Maybe you thinking of the other versions?
> The right to be published or served through a gateway is not an universal human right

This is demonstrably not true; it just requires the victim to be a member of a protected class. Private businesses can not legally deny service to ethnic minorities, women, people with disabilities, or gay people.

The law determined many decades ago that some people are more equal than others.
> I think there is a strawman in claiming atheists answer that "there is not a why".

Again, "why" as in purpose, not "why" as in mechanisms. People don't ask "Why did my kid drown?" to get an answer about the respiratory system or the importance of proper fencing around pools.

I think science is a great way to explore the physical mechanisms of things. I think it has limits when complexity, observability, or reproducibility are concerned.

> The theology doesn't even add any more meaning to the discussion, yet it orders us to stop looking.

So I think the disconnect here is about what counts as rational reasoning. There's a different kind of logic not taught very often called abductive reasoning (1). It's not any kind of scientific method, but it's hardly irrational. In fact, it's more or less what juries do when they deliberate on charges. So there's more to explore outside the realm of testing hypotheses in laboratories. It's unverifiable in a scientific sense, but it's not a dead end or even the end of a discussion.

For example, Isaiah 53 (2) was written by a Jew hundreds of years before Jesus was crucified, but it sounds a lot like a psalm about Christ written after his death. It's not scientifically verifiable whether it's a prophecy, coincidence, or misinterpretation, but it raises a lot of interesting questions that can be explored rationally.

(1) https://en.wikipedia.org/wiki/Abductive_reasoning

(2) https://www.biblegateway.com/passage/?search=Isaiah+53&versi...
On the other hand, erotic literature about children (which has no victim) is at best in a legal grey area, and has been successfully prosecuted before. Such a thing is also "all talk".
All you have to do is to take the stance of protecting individual human rights. So much for the Supremacists, KKK members, and Nazis, for all of those ideologies crap on individual human rights. So much for eugenics, which does the same.

Make no mistake: The ideological basis of WWII was the protection of individual human rights. In WWII and all through the 20th century forces on the extreme right and the extreme left crapped on individual human rights. Some bad actors acting on behalf of all of the major countries did the same. The cast changes, but the story is the same. Non-violent vs. violent. Good vs. evil. Freedom vs. authoritarianism. Rational intellectualism vs. silencing and baseless accusation.

If you would speak truth to power, look at who is exercising power. Look at who resorts to fear and intimidation. Look at who is silencing instead of engaging. Look at who resorts to violence. Look at who revels in the power of the mob. Look at who resorts to appeals to emotion in spite of logic and facts. If you would speak truth to power, speak to those actors.
> Finally, a big upside of setup.py, is that I can programatically generate information, whereas pbr's cfg file doesn't seem to allow that.

The problem with package manifests that are arbitrary scripts (Python, Ruby and probably others) is that you lose even basic introspectability into rudimentary parameters like name, version, dependencies unless your threat model allows for executing random code that people put into the setup.py. This can be mitigated by using complex static analysis carefully crafted for the specific task, but this isn't easy to implement and there is a non-insignificant amount of cases where the data cannot be legitimately decided. I'm just wondering how this is conceptually different from Pipfiles:

https://github.com/pypa/pipfile
(Previous discussion https://news.ycombinator.com/item?id=13011932)
More elegant, discrete, well-thought-out, carefully crafted, developed with design rigor?
New skin but pretty similar to the old one. I've always liked the preview which shows the useful shortcuts.
TouchID is not stored in the cloud.
I hope FaceID isn't either.
To compile without the `Caddy-Sponsors` header, include this line before the plugin comment:

sed -ie '/Header().Set("Caddy-Sponsors/d' ../caddyhttp/httpserver/server.go
I think github already has…
Lower apartment prices would cause a downward pressure on overall real estate prices, including for houses. As an extreme (and absurd) example, consider the scenario where apartment prices are zero or even negative. Demand for houses would drop dramatically, causing their prices to also drop.
"Can" means that he can do it. "May" would be a better word.
Senate Panel Likely to Ask Facebook to Publicly Detail Russian Activity On
It's easier to switch to another text editor than it is a search engine.
Same solution as you, I use different editors in different contexts. You use Emacs and Vim, I use Sublime and Vim. I also edit locally and push my git branch to the remote server to test/run the code. I do that for most bigger changes and use vim to do smaller debugging changes.

Some people use plugins to edit code over a tunnel using sftp. One of my coworkers edits locally and has aliases to rsync and run his code on the remote machine.
Same is happening in India. The government will shut down an entire area's mobile Internet just to prevent people from mobilizing.
There is no scarcity of weapons, rocks are plentiful and very hard to control access to.
We censor spam without a second thought and that's only advertisement. Some may be outright illegal scams, but some is surely offering a legitimate service, just in an annoying way. Free speech doesn't grant you a right to use privately owned infrastructure for anything you want.
That seems to me an unnecessary, artificial restriction. Then it's incomplete: it doesn't solve the Halting Problem. That's the point: either the system is incomplete or inconsistent.
There's value in being first to market but what those example really show is that first isn't all it's cracked up to be, and marketing and sales are crucial for success.
Nah, Bannon's just a mixture of economic leftist and authoritarian nationalist that got pretty popular at the beginning of the last century, too. (It, uh, fell out of favor.) He wants to regulate tech companies because it would be good for the people, and he also wants to make sure that "the people" doesn't include too many non-whites. Don't dismiss his economic views just because his overall worldview is awful.
Speed and stability, search, command palette, file navigation, Goto.

And the excellent Python plugin API, which has made the plugin ecosystem so vibrant. Here's one I wrote, https://github.com/kylebebak/Requester, an HTTP client that goes toe to toe with Paw and Postman on features and outdoes them on usability.

I couldn't have have written something like this for any other editor, or any other platform.
There is a book on the topic called "One Second After". I'm not a fan of it; I think his scenario is excessively dark, but its worth reading. On a similar note, living in Tampa, being prepared is on people's minds right now. No, you can't borrow my chain saw!

https://en.m.wikipedia.org/wiki/One_Second_After
This trend isn't going anywhere. It's efficient from a human resources perspective. It is very expensive to build and maintain products across native desktop (Mac and Windows), mobile (iOS and Android) and web. That's 5 platforms. Web on its own is hard enough with probably 6 or 7 different browser platforms and various screen sizes to accommodate. Electron is a godsend, sub-native performance or not.
Font rendering on MacOS is native in Sublime instead of the fake blurry stuff you get with Electron.

Wheee, I'm not the only one bothered by this! It's bad on Windows too, though Linux is fine. It affects all Electron based programs, including Chrome itself.
There's a good blog post as a kind of follow-up to this one that talks about how thinking in terms of monoids helps enable flat architectures and composability in Haskell:
http://www.haskellforall.com/2014/04/scalable-program-archit...
This is a distinction without a difference. Neo Nazis are people who are working to revive Nazi ideology. They're Nazis.
I contributed to blender for a few years and rarely interacted with Ton, never found him to be grumpy either.
Close editor by mistake, battery dies, go to lunch and forget what I was doing.

What is the upside? One less keystroke..?
Long-time ST2 and ST3 user. I think I've more or less moved to VS Code but wanted to chime in: Great website! And loads super fast.
> "There are NO good Open Source video editing software made for Linux"

What about PiTiVi? Is it one of the video editors you've tried?

http://www.pitivi.org/

http://www.pitivi.org/?go=tour