skysight-inc/HackerNews huggingface dataset:
Given that mcphage understands what Peano arithmetic is, I find it entirely unbelievable that he/she did not understand my point especially with phrases of mine like "Unless you're making use of limits, completeness, or something equivalent". So yes in this case I honestly find the pedantry entirely unhelpful.

Regardless, the point has been clarified, but discussing it further is kind of pointless.

edit: It just occurred to me that the original pedantic comment essentially breaks the following Hacker News guideline:

Please respond to the strongest plausible interpretation of what someone says, not a weaker one that's easier to criticize. Assume good faith.

I just found it a bit interesting considering it is my response complaining about the pedantry and not the pedantry that is receiving downvotes.
Wow this is great. Thanks a lot. Super super useful. I am definitely going to steal some of these
Sounds sensible. Google seems to agree with you. https://google.github.io/styleguide/cppguide.html#Implicit_C...

LLVM's coding standard though doesn't seem to have anything to say about implicit conversions: https://llvm.org/docs/CodingStandards.html
Fedora 32 is officially here
I find using Python libraries where the documentation doesn't tell me anything about the return type a hugely frustrating experience.
So D-- then?
How about the expression:

0.9999... < 1

And consider that if a < b then a != b.
I did read your comment in it's entirety. It was unclear what specifically you were referring to because it was poorly written.

You remarked "You’re a bit out of date here" without any clarification. Given that I spoke historically and in generalities, it's unclear what you were referring to.

As far as I could tell you were dismissing everything I said AND then you went on to state technical facts surrounding recent events that in no way conflicted or invalidated anything I said.

Now you're asserting that it was a failure on my part to read your comment in full and comprehend what you said, allowing you to dismiss anything I say in response.

Basically you're trying to say I'm either misinformed or stupid, when in reality you're just not taking the time to write a coherent argument.
1 + 2 + 3 + ... does not equal -1/12, except if you redefine what you mean by +. https://www.youtube.com/watch?v=YuIIjLr6vUA
A number is just a number, it doesn't approach anything. A series can approach something, but a number can't. In any system where 0.99... is valid notation for a number, it doesn't approach anything.
Two related questions...

1. In a state like LA, where annotations aren't included, would a lawyer purchase an annotated version from a 3rd party? I assume the information contained in the annotations is expected to be known, regardless of how it is obtained.

2. If a state elects to publish annotations as part of the only published code, does that lend any extra weight to the annotations (effectively, by putting them in the same book, and making that book the only copy of the state code, the state has signaled "these notes are the way we intend you to read/interpret/practice the law").
So why do you "really wish that they re-added" that graph ?

What problem would that solve for you ?
I've actually flown Air Sinai once! And not from Cairo to Tel Aviv, but to Yasser Arafat International aka Gaza Airport (GZA).

The plane was a standard 737, but completely unmarked, sitting in a remote bus bay far from the terminal. Load was abysmal, maybe 20 or so people. Service was the usual surly Egyptair (aka "Misery Air", Misr being the Arabic name for Egypt) experience, but it was a short flight of only an hour or so.

On arrival at GZA, we were driven over to the nearby Rafah border, herded into a holding area, instructed to identify and open our luggage, and then moved to a different room to be frisked and interrogated by Israeli security while another set of guards pawed through the bags, sight unseen. All staff involved were very much not in a hurry, and all in all, it took about four hours (!) for the 20 of us to go from wheels on the ground to getting into the airport terminal, through Palestinian immigration and then Gaza proper. And I didn't even get a passport stamp. (I did get one from the Erez border when crossing by land into Israel proper later, which raised some eyebrows later when leaving Israel...)

At the time, the airport served around 2 flights per day (Cairo and Amman, Jordan, IIRC), but the departures board optimistically listed a whole slew of fantasy flights from all over the Arab world and Europe (Milan! Istanbul!). I remember seeing a school group on a tour through this airport and thinking that odds are very high that all these kids here will live their lives without ever leaving this 40x6 km slice of land (large chunks of which are off-limits buffer areas), packed with 2 million Palestinians living cheek to jowl.

Shortly thereafter in 2000, the al-Aqsa Intifada started and the airport was bombed by Israeli fighters. It's been in ruins ever since.

https://en.wikipedia.org/wiki/Yasser_Arafat_International_Ai...
It's false.
The ridiculous over reaction about any kind of regulation being the equivalent of fascism is exactly how we find ourselves in a situation where people are literally drinking bleach to cure themselves from a "fake" virus.
The World Wide Web is dead. Long live the Internet.

(And on that tangent, I still don't understand why Google ever had the right to buy the .dev TLD for its own private uses.)
Is that not normally the case? The pp says that every burial or cremation requires a death certificate, and who else but the authorities has the right to issue a death certificate?
Not sure how much I agree with the first statement, but I definitely agree with the second. That's not an easy problem, though.

First, we are doomed from the start, because of network effects. The new web will likely never gain any traction whatsoever, because it looks like backwards compatibility is more important than simplicity, performance, and CO2 emissions.

Second, we must agree what that new web is for. We can display text, images, audio and video. We can tweak the layout of the content. We can take input from viewers (text, uploaded files…). We can make entire applications on top of the web.

Once we agree on the purpose of the web, we need to chose how to make it happen. Do we serve content declaratively, or procedurally? Should browsers be readers of a well defined, limited data format, or should they be virtual machines? I personally prefer virtual machines (unlimited functionality on top of a very simple core), but their natural opacity does have its problems: screen readers, dark mode…

---

There may be a way to break network effects: government web sites. Define a new standard that serve those right, make sure this standard is easy to implement pretty much everywhere (including on old computers with a crappy connection), and mandate that all .gov sites move to that. Also maybe rethink the whole security layer, most notably the PKI.

To move things further, we could possibly use regulations. For instance, we could mandate that banks provides an option to use that new web. We could regulate our way into a critical mass, to a point where common folks can realistically ditch the old web.
Never had a Nexus, but I had the Pixel 1, liked it so much I got another after I broke it (dropped it so many times, it was very resilient). Then updated to the Pixel 3a. 0 problems whatsoever and it's the best phone I've ever owned. Although, I do much less on my phone these days, mostly web browsing and SMS/calls, definitely not a power user any more.
ummm...ring?
All of your questions are answered on the linked page.

You don't need a Pixel for these to work (they even say they support iOS), and you won't be missing out on features as long as you have an "Assistant Enabled device running Android 6.0 or newer".
> You only need to define 0.9… as 9/10 + 9/100 + 9/1000 + …. Without knowing how that series converges you can then use the two expressions mentioned to conclude that it has to be equivalent to 1.

Sure you can provide a hand-wavy argument and try to give some intuition if you'd like. That doesn't make it any sort of logical proof though. I guess it depends on what you're after.
How Social Media Brings Us Closer and the Shift Towards Working from Home
Maybe 90% of Python programmers fail to answer that question until they actually try to do it. Then they never forget.
Why use an FPGA in mass production when an IC would be faster and cheaper?
I don't think that's a very realistic threat model. There are already a lot of things you can break with a pirate transmitter, and from what I hear enforcement of the relevant laws is very strict.
Could this be related to your levels of Vitamin D. I am not a doctor but since this pandemic, I have read some articles that suggests that people with black/brown skin need a lot more exposure to the sun to get good levels of Vitamin D with the situation getting worse during winter. That coupled with your stay in a colder country could have been the reason.
> The entire product is a copy of the AirPods.

as if airpods were the 1st rechargable wireless earbuds anyway
You're right to be skeptical! There's no mystery behind this curtain, just a guy who spent a bunch of money on advertising and wanted to write about it. My unlimited budget was strictly tied to profitability. Being profitable was the only way to scale because I had to maintain certain margins. If I hit the right margin, I could spend as much money as I wanted because the supply was there. Thanks for your comment!
Disney has someone reading these tweets and selecting them for marketing materials. That is the service, not Twitter itself.

You can set up a phone line or P.O box with the same terms of service agreement. Twitter is not sacred. You can call that "co-opting" those services I suppose, but I don't see why that's a bad thing. Services exist to be used.

Disney is going to use some common sense when reviewing these tweets and filter out the trolls and people disputing the terms. They are not out here trying to trap helpless children into a contract, just make some marketing materials. Again, this is not the first time this has been done and is not controversial. Maybe I underestimated the number of troll tweets, but I'm sure Disney will figure it out just fine.
Both are false. 0.99999... is not less than 1. It is the same as 1.
That's not an axiom we take; the study of real numbers takes some algebraic and order axioms, and a completeness axiom:

Any non-empty set of real numbers with an upper bound has a least upper bound.

We can't prove your statement

Given ε = 1/∞ then: ε = 0

because it is not well-defined, but we can prove this:

If ε ≥ 0 and, for every natural number n, ε < 1/n, the n ε = 0.

For suppose there exists an ε which is a counter-example, i.e. ε > 0 and ε < 1/n for every natural number n. Then the set

S = { x : x a real number, x > 0 and x < 1/n for every natural n},

is non-empty, and has an upper bound (e.g. 1). So it has a least upper bound, say y. In particular, y is an upper bound, so 2y is not in S. It is > 0, so there must exist a natural number N for which 2y >= 1/N. But then y/2 > 1/4N, and 4N is also a natural number. So for any element x of S, x < 1/4N < y/2; thus y/2 is an upper bound which is less than y.

This is a contradiction, so the claim is proved.
So those that lack tech literacy or internet access or a required device are pushed furthest down the line?
It's more fundamental: People seem to have the intuition that the decimal representation of a number is a number. I don't know if it's because decimals resemble the ntural numbers or what, but decimals seem to have a primacy for people that fractions do not. The idea that there's a gap between the symbol for a thing and the thing itself is the stumbling block.
Mozilla Launches Hubs Cloud
I'm just using K8s (specifically: K3s) for configuration management in this case. This post hits the nail on the head: https://news.ycombinator.com/item?id=23006114

That said, NGINX can do UDP load balancing and WireGuard is stateless, so it should be possible to use this with a Service + NGINX ingress controller at scale:
https://kubernetes.github.io/ingress-nginx/user-guide/exposi...

I have not tried it though.
Okay, now multiply that by 2.
They get a long-term advantage in that their stock continues to rise. The stock is the product. And AWS enjoys having a household brand attached to it. And don't be mad that someone with a genitalia username is making a point your brain is incapable of making a cogent argument against, in spite of it eliciting a strong enough emotion for you to leave a comment.
The way '...' is used here is perfectly consistent with being defined as a geometric series where the ratio between successive elements is 1/10 and the start term is the final digit. Geometric series always converge when the absolute value of the ratio of less than 1.

I should note that when I learned about rational & irrational numbers in elementary school (I think third or fourth grade), we used a "bar" notation where we'd put a bar over the last digits in a decimal expression that repeated forever (i.e. it corresponded exactly to a geometric series with r = (1 / 10)^k where k is the number of digits under the bar, though we didn't know about that at the time). Our teachers explained that the difference between a rational and irrational number was that there would be no pattern you could ever find in an irrational number that would allow us to use the bar, which is surprisingly accurate for grade school arithmetic.
Edit:

Seems Like Carole Cadwalladr has already joined the dots...

@carolecadwalla
Let’s add another data point. Faculty won this contract back in August, we now know. That’s when NHSX new £250m lab announced. Yet Faculty decided to divulge this news on March 13. Day after SAGE meeting Cummings attended with Ben Warner - brother of Faculty founder, Marc

https://twitter.com/carolecadwalla/status/125488742826086809...
[EDIT: formatting & #7]

Comparing rent on farm land is not the same as rent on housing.

I own a rental house. What does the rent go to? Well, I pay a mortgage, taxes, utilities, and upkeep. That is, I'm saving up now for a roof and a retaining wall (to give better access on one side of the driveway).

What value do the renters receive?

1. No risk. They can walk away, but I still have a 30-year mortgage. The plumbing can fail. The roof can leak. The electric can degrade. The building can crumble. I, the owner, have to fix it IF it happens. The renter does not assume any of that risk.

2. No commitment. Aside from a short lease (which they agree to the terms), the renter has no long-term obligation to that property. I, as the owner, have committed to maintaining the property for decades.

3. Access to the property and all of its features. If you don't think that that is value, then try being homeless.

4. Furthermore, I, as the owner, DO NOT have access to the use of the property. Perhaps for decades.

5. Monopoly? I cannot think of a single example of a monopoly in land ownership other than the government itself and the threat of eminent domain. If you don't like my terms for lease, then go next door. Different owner, different terms. Or buy your own.

6. Initial Investment. I, as an owner, had to save for years to consolidate the capital for the down payment of that property. That means that, for years, I did not party, buy the latest technology, eat at moderately-priced restaurants, go on vacation, buy a shiny new vehicle, purchase concert tickets, etc. I deprived myself of entertainment and luxery to, instead, work multiple jobs, with the intent of having a rental property.

7. Improvement. I improve the property. If I do not pay someone to do it, then it is me doing it myself. I refinished the hardwood floors. I fixed drywall and painted. I removed old ductwork. I provide appliances. I provide furnishing (I rent to students, after all). I put the labor into the property, further depriving myself of other more enjoyable activity.

I'm sorry, but I completely disagree with your restrictive definition of what of "rent" represents. Rent is compensation for my years of preparation and self-denial of the reward for my own personal labor. Rent is the fee that the renter pays for not having done the same. Rent is never pure profit. Rent is a continual financial planning for the upkeep and sustaining of the investment.

Do I benefit from my investment? Yes.

Do I feel guilty about it? No.

Should I feel guilty about it? Never.

If you are mad at a landlord for having to pay rent, then dig yourself out of that situation. What if it takes years? Welcome to the club. Do it anyway. So what if you have to move? Again, welcome to the club. Do it anyway. So what if the landlord is wealthy? Wealth has to come from somewhere, and if your current financial strategy isn't making you wealthy, then change it. It will probably take a lifetime to do, but then again, that's probably what your landlord did (or is in the process of doing).
AFAIK, Pixel is just the brand. I think there's may be minor features that only work with Pixel phones but they supposedly work with other Android phones, iPhones, etc. Personally, I bought a Pixel 2 about a year and a half ago and I really like it.
Sure. Instead of "0.99..." please substitute lim n->inf sum(1..n)(9 times 10^-n).

The point I'm making is that the "obvious truth" 0.99... = 1 that we're all talking about depends on the assumption that we're working in the real numbers.

I claim that the real numbers are not something intuitively obvious to every sufficiently intelligent person; instead they are kind of weird and technical. I go on to claim, though I'm more unsure of this, that the real numbers are not even the only way to make calculus work.
Your two examples can be debunked though.

See here: https://www.youtube.com/watch?v=YuIIjLr6vUA
It is exactly like "Galaxy" in case of Samsung.
‘Beaten’ for stepping out for biscuits, UP teen dies

'Eyewitnesses said the cops beat Rizwan with batons and rifle butts'

https://www.telegraphindia.com/india/coronavirus-lockdown-be...
Ansible is only declerative on a action level. At a playbook level it's imperative. You can install and remove the same package within a playbook, the outcome will be dependent on the order.

Puppet is fully declerative but for me it lacks an easy way to undo changes. It would be nice if it could work like Terraform where it keeps a 'state' of all changes it made in the past so when you remove a resource from your config it could 'undo' the change.

I still use Puppet (mostly with Bolt nowadays) for systems that don't fit Kubernetes, but they're becomming less and less.
I am not seeing the theory of Vitamin D deficiency being highly correlated with severe outcomes from Covid-19 infections being suggested in the article. Please see links below for this theory:

1) https://www.bmj.com/content/369/bmj.m1548/rr-6

2) https://www.researchsquare.com/article/rs-21211/v1

3) https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3585561
> People are staying home because they're scared of dying. You don't fix that by changing the closure rules.

No, they are not. There are huge crowds everywhere that gets reopened (or not closed) in CA, WA, FL. My favorite example is when I heard Red Rock Canyon is closed, a few days/weeks before the lockdown in NV, and it turned out to be a closure for one day because of the inability to manage the huge number of visitors on the one-way loop road. Once they closed the loop road for COVID, the trails accessible outside it became so crowded they had to close those too. They started towing cars from trailheads in WA that got crowded despite lack of legal parking, closed signs at the locked trailhead, stay at home order (including huge signs on all the highways).

That is with the media fear-mongering vastly disproportionate to the actual current number of deaths (of which people would supposedly be afraid), and explicit stay at home order, in WA case.
All marketing pages are awful if you open them with the intention to hate it.
Alexa.com acquired in 1999. I don't think what you're saying make sense. There is a decade difference.
It depends what ad platform you want to learn. Google has a great learning series here: https://skillshop.withgoogle.com/

If you want to learn Google Ads I'd recommend getting certified for Search, Display, and Shopping. If you want to learn Facebook and Instagram ads then that's a whole different animal.
Does this hold for all types of film? For example, how small can the grain structure be?
Building a Better Ngrok
This is a basic application of the mean value theorem. Moreover, assuming 100% incrementality is what leads marketers to do silly throw money away things like Mailgun bidding on "mailgun" even though all the links on the first page of results are already to pages Mailgun controls.
You lost (1 − 0.999…)th of a pizza to crumbs when you divided it.
TabNine Raises $12m in Series A
Main street was already on life support long before Sam Walton got involved. High prices is not a good business model for commodity items people but often. Any one of them could have lowered prices to something reasonable and stopped my parents monthly drive to the big city malls for the basics.
Pixel seems to be their generic in-house hardware monicker these days
What are the types of tests you’d need to write in a statically-typed language that are more complicated than their dynamically-typed counterparts?
A well designed language should be usable from a text editor. Even in 2020.
I smart middle-schooler is absolutely capable of understanding that dividing 1/3 results in an infinitely repeating sequence of 0.33333... Even without understanding the concept of infinity, they will quickly realize that there's no reason to believe the problem will stop adding a 3 to the end of the result with each iteration.
> Care to provide source?

There is some info here:
https://www.nytimes.com/2020/03/17/world/asia/india-coronavi...

The US is #1 in infections for a reason: we are doing it wrong.
As soon as a significant portion of the time spent tackling a new feature or addressing a bug becomes reading code (which you may not have written) the types pay off to at least[1] a 0.75x time-multiplier, and I'd say that's very conservative. It also makes it a hell of a lot easier and faster to collaborate on different parts of a feature that interact without exactly overlapping—"here's the interface I expect to implement, code to that, if anything changes TypeScript will tell you without our even having to talk (about that)"

[1 EDIT] at most? hahaha.
I feel very similarly to you regarding the position that JS is moving in.

I can only surmise that things are moving in this direction to lower the barrier to entry. As more developers are working with JavaScript it's easier to subscribe to tools to manage consistency than it is to educate and rely on developers' standards to create working efficient code.

Thinking back I've worked on some massive 'Web app' projects over the last 20 years, and the biggest I worked on didn't use much in the way of frameworks or libraries, and standards were maintained by peer review and documentation.

Typescript I suppose automates a lot of this, but I don't think that makes it better.
D's version of concepts have optional operations, it has been found to decrease the need for names
US has more, per-capita?
https://www.precisesecurity.com/articles/Top-10-Countries-by...

USA has 1 camera for every 6 or 7 people?
So 0 and that number are two different numbers.

What is the difference between them?
It’s odious that it’s impossible to delete accounts except in rare circumstances. Ever try? All anybody does is temporarily disable them unless you go through an hour with their tech support. Dark pattern at best, holding on to your data forever to continue selling it at worst
The voice is cloned by a GAN and new audio is generated, of course!