skysight-inc/HackerNews huggingface dataset:
[I'll try a non technical argument to convince you. It's also not a complete argument, so you must think about this for a while.]

> If you believe n is a natural number then you must also believe that n x 10 is a natural number. One more digit!

If you interpret the natural number in this way, the important property is that they have only a finite amount of "interesting" digits. Almost all their digits are zero.

You can define the set of number that have a finite amount of non zero digits. Let's call them the "Very Boring" numbers.

The set of the "Very Boring" numbers is infinite, but it's the same infinite that the Natural numbers.

You can extend this set to include the periodic numbers, for example 46.2222222222222... and 462.2222222222222... and 4622.2222222222222... ... Let's call them the "Boring" numbers. You still get the same infinity.

You can also 71.3535353535... and 713.5353535353... and 7135.3535353535... and all the periodic numbers. Now you have the "rational" numbers. You still get the same infinity.

The Cantor's diagonal argument fails with Very Boring, Boring and Rational numbers. Because the number you get after taking the diagonal digits and changing them may not be Very Boring, Boring or Rational.

--

A somewhat unrelated technical detail that may be useful:

Most of the times you don't prove that the cardinal of real numbers between 0 and 1 is a bigger infinity than the cardinal of the natural numbers.

I's much easier to consider the infinite strings of digits like "0.765653625367523765..." or "0.5265362556..." or "0.000073468763478..." and also the one with repetitions like "0.0006767000000..." or "0.0072257822222222...". This is essentially a copy of the real number, but in this copy "0.2999999999999..." is different from "0.300000000000000..."

This trick makes much easier to prove that the diagonal ´+1 in each one digit is not in the list. Then it's possible to fix the details and use the real numbers instead of the infinite strings of digits.
I'm guessing his stock has vested and he can now cash it out. Good on him, it was a nice success story selling for as much as they did to Facebook.
It's not about whether or not the implicit grant exists, it's that the implicit grant doesn't go far enough for Facebook's liking.

What you refer to as "some constraints" is an abdication of your ability to defend your company against Facebook infringements for as long as you use software that includes this horrible clause.
Neil DeGrasse Tyson – What Science Is, and How and Why It Works
Because it makes ads look more like actual reddit posts.
Like if ads are more "part of the subreddit" instead of being an additional separate entity.
React.js vs. Angular 4 Overview
How will this affect their direction and approach as far as the end user is concerned?
Not to mention:

> While we haven't done any sort of official analysis of CPM changes here, the expected

Sounds incredibly suspect. How could you make such a big change and not test it?
Regarding private git repo, have you looked into Bitbucket? They offer unlimited free private repos. I've been using them for about half a year, very happy so far.
Ho hum, 30-ish years ago AI seemed like a good idea (and it still does). Having arrived at Edinburgh Uni to start an electronics engineering degree, and having heard that they'd created a new AI+CS degree rather late and had no students IIRC, I found I was able to switch to it on the spot.

I still use elements of AI/ML all the time, indeed it's a central feature of my company's product and R&D. But I also say that as soon as it works reliably no one calls it AI any more, so I have lots of not-quite-AI-now tools in my usual toolbox!
Add this as a bookmarklet to kill the sticky menus and enjoy a full screen experience ;)

javascript:(function()%7B(function () %7Bvar i%2C elements %3D document.querySelectorAll('body *')%3Bfor (i %3D 0%3B i < elements.length%3B i%2B%2B) %7Bif (getComputedStyle(elements%5Bi%5D).position %3D%3D%3D 'fixed') %7Belements%5Bi%5D.parentNode.removeChild(elements%5Bi%5D)%3B%7D%7D%7D)()%7D)()
.. good point, I can't remember why I thought that; almost certainly to do with Kanye.
Keep up the good work, team! :)
Global English ("Globish") as a simplified subset of English already exists:
https://en.wikipedia.org/wiki/Globish_(Nerriere)
also in general: https://en.wikipedia.org/wiki/International_English
Why would I want to use this instead of using the browser?
We have a society that requires everyone to work to live. But thanks to automation we don't have anything else for them to do. So they do this.
Jam Koum already cashed out in 2016: https://en.wikipedia.org/wiki/Jan_Koum
Linux is hardly marketed by any single company with billions of dollars in cash, so I'd say the comparison is completely moot.
- Acceptance that "learning that new thing" is coming in the way of "long term growth".

- Not letting the browser or the Internet _decide_ the course of my actions.

- Zero social apps, top level mute for whatsapp.

- List of 3 things to-do today. I don't even recheck, but the act of making a list helps.

- Forcing myself to define complex problems in the written word, even if it is not to be shared with anyone.

- Visualizing my day in a lot of "10 minute chunks" over few "1 hour chunks".

- Saying no to things that don't compound in value over years. (hard)

- Waking up early and grabbing those two hours of quiet. (trying)

- Cycling to work. (podcast, music, free thinking)
Camtasia 3.0.4 Cracked Serial for Mac OS Sierra Full Download
> Apple is freaking expensive upfront, the peace of mind is worth it.

Carrying a device worth $1000 around with me all day would not give me peace of mind. Quite the opposite. I'd rather carry a battered hand me down and not feel sick in my stomach if it falls off arm of the couch
Apple, the App Store and rejecting cryptocurrency iOS Apps
>Why would they have a vested interest? If they felt it was a good way to make money they'd be all over it.

Because blockchain based currencies like Bitcoin cannot be controlled or manipulated by large entities who have ingrained themselves into the system like a traditional fiat banking system. You can't just create Bitcoin out of thin air and for financial mammoths like JP Morgan who contributed to the 2008 global financial crisis because of irresponsible lending/banking practices, it scares them.

I see BTC as being no different to trading stocks, some days you lose and some days you win.
I'm guessing you can tap on the padlock to enter your passcode.
How does it compare to Modo?

And also: Why is there "render noise?"
Having a .45 as your disaster/emergency preparedness plan only works in places like CA and a few other coastal states where the odds are very low that any random other person is packing.

I would not advise it.
> Mac provides its own POSIX compliant tools. If you prefer GNU tools, well there is GNU/Linux.

The point is that MacOS does not really give you much choice (until you start hacking around with homebrew).
Jamie Dimon is so clueless and is either lobbying for the interests of 2-nd tier accounting banks or the blockchain is accounting beyond his understanding.
Thou shalt not take PG's name in vain.
Find Quality Furniture Stores in Melbourne and Buy the Best Furniture in Budget
It is a great book I'd say.
TFA mentions case when documents are coming from potentially adversarial sources. Any tips for handling relevance when users are trying to game the system?
I see, thank you for the clarification. One more of those things we'll never know.
Watch Compare the Cloud at Channel Live – Day 2
WSL is only one option. As noted in another comment here:

The guide is split into separate sections for clang (cross-compiling), MSVC, clang-cl, and WSL. Compiled swift binaries can be native windows executables when using the non-WSL compilers.
MCQ on Inheritance, Package and Interface in Java – InfoTechSite
This is veering into the "prepper" debate, which the Economist clearly wanted to set up with their disaster-porn writing in the article.

But the key question has to be: individual or collective resilience? Yes, it's not a straight up conflict, but I do think things could be greatly improved if people kept asking questions about collective preparation for crises, improving the civic and governmental responses to them, and (in the case under discussion) not ignoring problems simply because they are uncomfortable and expensive.
That should have gone through the cracks. Do you mind sending your application to hello at count.ly again? Sorry for that!
Well, except he just mumbled it out in a comment on some blog post. Saying it in this fashion is having it both ways, I think. All the air of intellectual honesty AND all the book sales!

If he just leaves it at this, and the book is still sold the same and he doesn't broadcast this message any further than a blog comment, what has he really said?
...maybe check if it's "convergence insufficiency".
I think Navicat will do that as well
Learn the history of the FBI.

Catching cross state criminals came with it's own set of trade-offs for society.
Top-Viewed Virtual Reality Anime Videos
To their defense, I'm subscribed to various subreddits but never ever visit them. I only visit the front page to see their content, so I'd never ever see your ad if not for this change.

That having been said, this should definitely at least be an option.
> You can't just create Bitcoin out of thin air

What do you think miners are doing? And with ICOs you can literally just print however many you want.

> I see BTC as being no different to trading stocks, some days you lose and some days you win.

Sure, but with stocks there's usually a company actually doing something.
The Apple is still rotten: Why you should avoid the new iPhone
I'm curious: can you suggest a source for this statistic?
Aside from the data itself being interesting, I thought the way it was presented on this page was very well done.
I don't think this example generalises quite to that conclusion: as the tests show, the differences are huge, having bigger advantages than getting top-of-the-line bike equipment.

Assuming that we're already reaching the tail-end of the bell curve for human performance in cycling sport (which seems likely to me), suggesting minimal individual performance differences, then being at among that group despite a 7% performance disadvantage seems downright impossible.

So especially at the top there would be an incredible selection against anyone with hairy legs.

But I guess you could say that natural selection beats human belief.
To get the benefit of static typing in the browser, it seems more strategic to use something that's actually a meaningful departure from JS (Elm, Scala.js, PureScript, ...) rather than JS as viewed in a warped mirror.

You don't want to be fighting to change the fundamental nature of something while being crammed in the trench with it.
I miss the one-minute averages, API, and battery life of the Fitbit but since they have appalling build quality, terrible firmwares, and refuse to integrate with Health, I swapped to a(n?) Watch.

Now my life is dominated by closing those damned circles.
that requires paying attention (and probably looking at it, even if you know the location, a screen is too flat), unlike the home button.
I'm not sure about specialized software, but you can just make your model in blender, and export it as a .stl file.
Male Infertility Crisis in U.S. Has Experts Baffled
And like someone said, with "real" AI, players would have a lot less fun.

OpenAI created a bot for the Dota 2 tournament and it makes the professional gamers look like beginners sometimes.

https://openai.com/the-international/
Ah, so true. But, given an existing unwrapped Blender model the superb texturing capabilities are astounding. I don't have to think about specular maps, bump maps, diffuse maps etc as distinctive assets anymore. I can just paint with friggin stone, metal and dirt and scratches with data that is transferable to several rendering packages.

Other packages do offer this but the affordable price of 3DCoat make it an exceptional option for hobbyists (IMO).
From heavily edited photos where the original surface has to be decomposed into rough estimates of base color, metallicity, roughness, anisotropy, subsurface scattering, transparency, normal maps, etc etc.
In Scotland a similar thing happened with Ginger Beer, and for a while (it's probably mostly died out now) all fizzy drinks could be referred to as "ginger" regardless of flavouring.
For really low bandwidth stuff (<1GB month) it won't hit you with AWS. But as soon as you're over that, it gets real expensive real quick. E.g. 1TB on AWS (traffic out of AWS) costs you $90 most regions, I believe, while you often get at least that much included elsewhere.

For Hetzner as mentioned, once you exceed the included bandwidth (which for most VPSs and servers is 2-3TB at least per month), it costs less than 2 euro/month extra.

This isn't likely to affect you for a personal git repo, but mentioning it as it's one of the things that often burn people with AWS, as the AWS bandwidth rates are crazily high to the point where for high-bandwidth applications even if you want/need to use AWS it's sometimes cheaper to run your own CDN in front of it to reduce bandwidth charges.

My order of preference if I don't need AWS specific services tends to be Hetzner, OVH and Digital Ocean, depending on what additional geographical regions I need (Hetzner is only in Germany) or other service requirements.

AWS is great for specific use-cases as long as you keep a close eye on costs.
For those who are new to Blender, the absolutely coolest part of Blender is that it's fully programmable. Anything you can do through the UI, you can do with Python method calls.

You can create, modify and render scenes from the command line only, no GUI needed.
How I snatched 153k Ether after a bad Tinder date
I've had the pain of trying to do this once before when my parents got a new email address. The Apple account was never consistent thereafter, with different devices showing either the new or old email address.

We solved it once and for all by creating a new Apple ID under the new email address.
I don't believe it would, it would slow the economy a lot in many different ways.

The post you replied to asked about the returns on a tracker fund as compared to inflation, as that's generally the way to make relatively safe, modest interest on money at the moment. Investing, rather than saving.
Not if people share their phones.
Especially high probability for me is that it's not the fluid inside but the rubber covering it, which degrades in heat and UV to a point that it easily oozes out the liquid inside.
Well yes, and you list a bunch of things as pros that are true for both tools but for one which makes it appear like Flow would have these features and not Typescript.
I do. I feel like Mozilla is the only organization that I can trust to provide neutral, unbiased documentation about all the standardized web APIs out there.

Plus with GitHub single sign-on it's actually very easy to contribute to or edit an article (assuming most web developers have a GitHub account). I was surprised when I found that out.
Is the notation used here standard in type systems research? I'm pretty much lost before halfway in at the _with_ concept.
Why Cassini Is Ending Its Life with a Kamikaze Plunge
> In my opinion, we learn much more by taking someone's existing result, thinking through the consequences and then designing well-powered experiments that probe the assumptions, mechanisms and applicability of the result.

I think that, too, is considered replication by many.
CyberGhost 6.0.8.2959 Stable Crack Full Version [HERE]
Can you please elaborate how doing a project in Python (I have less experience with Java and am not familiar with Go) is less 'painful' than doing it in Clojure?

Every time when I am trying to switch back from Clojure to Python, I expect to find a (maybe slightly more verbose) language with mature infrastructure, extensive documentation and tons of accumulated knowledge on StackOverflow and elsewhere. Every time, I find out that the dependency system is strange at best, there are still a lot of poorly documented libraries where the features I need have not yet made it into the release for several years.
They don't know that they can ask.

But people —average people— do that for their food, their cars, their homes, their personal appearance. This includes clothes, hairstyles, after market pigmentations, permanent and temporary, as well as extra holes and plugs in their epidermis in all sorts of novel and creative ways.

They ask for customisation on their vacations, hotel stays, upgrades on airplane tickets and car rentals. People ask for concessions on their employment contracts, seek special arrangements for schooling, loans and mortgages.

Some even customise their computer hardware, slapping stickers on custom cases, adding fancy illumination, aftermarket cooling, fancier peripherals, upgrades, et cetera, ad nausea.

And companies jump at the chance to chance to service these requests.

But not commercial software and operating systems. They are special snowflakes apparently.

I and my peers are an incredibly small fraction of a percent? 2% anyway. But sure, ok, a small group.

But we're loud, and we're having it our way. We make sure people see us having it our way, so they will start asking to have it their way too. Whatever that way might be.

And it's working. Which is why that "incredibly small fraction of a percent" somehow motivated Microsoft to add bash to Windows. They weren't catering to average people. Or why there is growing interest in customising Mac OS. https://www.reddit.com/r/unixporn/comments/61gdup/ricing_mac...
Insights into atomic structure of next-generation superconductors
You can already find a package wrapping the ocaml-language-server. I tried it and it works well with reason: https://atom.io/packages/ide-reason.

You should also install language-reason and reason-refmt alongside it.
I'm not going to use a site where the CEO edits people's comments.

https://www.cnet.com/news/reddit-ceo-admits-to-editing-user-...
Google is in its own right to limit speech in its services. More work should be invested in making distributed networks (i.e. Bittorrent) easy to use to any user.
I've started playing Destiny 2 and wondered the same thing. There are enemies seen by me and other players at the same time.

So the enemies have to be controlled server side not locally. Also there can be (and will be) a lot of enemies around the "Destiny world" at the same time.
What kind of servers do you need for that? That's not just processing HTTP requests and fetching data.
Only because of the hurricane that used them as a shield.
Key Performance Indicators to determine the effectiveness of your team
I think theres a valid argument to made for spending effort to maintain some degree of decentralisation. That is, enough individual resilience adds up to a degree of collective resilience.

I suppose I have been fortunate enough to have never seen people respond to a crisis in the ways outlined in the article though. My experience has been people pulling together and working collectively to help each other.

Centralised organisation is powerful but easily overwhelmed. Decentralised response can solve a lot of smaller problems at at once.
The status quo of cryptocurrency investing
More resilient electronics.
Let's say 51% of the country was against abortion, but you live in a state where 100% of the people approve of abortion.

Now, why would people need different healthcare based on different states?

Not everyone agrees with your definition of what constitutes "need" as it relates to healthcare, education or food. And while populations are rarely if ever completely homogenous, it would be absurd to say there aren't significant cultural values that are largely shared based on geography.
For GitLab we have a somewhat special approach to allow us to perform zero downtime migrations. Basically we have two types of migrations:

1. Regular migrations (located in db/migrate)

2. Post-deployment migrations (located in db/post_migrate)

Post-deployment migrations are mostly used for removing things (e.g. columns) and correcting data (e.g. bad data caused by a bug for which we first need to deploy the code fix). The code for this is also super simple:

# Just dump this in config/initializers
unless ENV['SKIP_POST_DEPLOYMENT_MIGRATIONS']
path = Rails.root.join('db', 'post_migrate').to_s

Rails.application.config.paths['db/migrate'] << path
ActiveRecord::Migrator.migrations_paths << path
end

By default Rails will include both directories so running `rake db:migrate` will result in all migrations being executed as usual. By setting an environment flag you can opt-out of the post-deployment migrations. This allows us to deploy GitLab.com essentially as follows:

1. Deploy code to a deployment host (not used for requests and such)

2. Run migrations excluding the post-deployment ones

3. Deploy code everywhere

4. Re-run migrations, this time including the post-deployment migrations

We don't use anything like strong migrations, instead we just documented what requires downtime or not, how to work around that (and what methods to use), etc. Some more info on this can be found here:

* https://docs.gitlab.com/ee/development/what_requires_downtim...

* https://docs.gitlab.com/ee/update/README.html#upgrading-with...

* https://docs.gitlab.com/ee/development/post_deployment_migra...
I'm finding that Autosleep does a pretty good job of that - gets my sleep patterns right about 95% of the time without any help. Pretty much matches what I get from SleepCycle on the phone.

http://autosleep.tantsissa.com/
If we exclude all the silly buzzword-driven ICOs that have sprung up recently to take advantage of the hype, there are plenty of companies that are years old (started after the 2014 surge) and have decent working products. These companies have been waiting for a surge in cryptocurrency adoption and deserve the funding they are getting.
Exercitar apenas aos sábados e/ou aos domingos
For me, general and surprising things are coming in the form of "X doesn't seem to work".

The reasoning goes like this: X is described like a good thing and a lot of resources poured in it. But there are documented failures of X - are they spurious or causes by X not actually doing what is advertised?

More often than not the working answer "it probably doesn't work" which is often "a thing you can not say" due to general consensus, good feelings and above mentioned amount of resources poured in X.
Haha... research right?

That's funny. I'm curious what's the catch besides someone else hosting your data of course that's ridiculous/how do you explain using everything else...

Good point and thanks. Would trust their setup more than mine, speed up the learning process too but it wasn't bad setting it up.
We can't even agree on a very weak version: if you store personally identifiable information about me, you MUST share it with me. It does not matter if you're a local corner store or the CIA. You may not store personally identifiable information about me without telling me all about what you're storing.

I bring it up and conversation shuts down. Nobody likes it. Therefore, I submit that what you're saying won't happen either.
Calling the Servlet interface "a completely pointless layer of abstraction" only because in practical use nobody ever cared for anything but HttpServlet is unfair.
It's a reasonable, natural and correct abstraction that, at the very least, helps distinguishing HTTP specific features from general purpose ones.
The problem isn't that the video was deleted. The problem is that they decided to delete the entire account which contains data that is unrelated to the video.
Pesticide Spraying in Harvey's Wake a Toxic Boon to Agrochemical Giants
I was in a bad mood before I read this. Great read! Thanks.
Why religion is not going away and science will not destroy it
In South Florida, the 3 days since Irma have been hell. Without power, homes have become saunas.
Somaliland is becoming of the world's first cashless societies
Luxury Spa in UAE – Best Spa in UAE