skysight-inc/HackerNews huggingface dataset:
Minor nitpick on reporting : literally every person they quoted with Indian sounding names live and work outside of India. And the lone Indian source they quoted, Prof Reddy, was the only one who lived in India and he was the only one who was not skeptical of the numbers. Not one expert from India was used in the article,besides Prof. Reddy, which is a relatively open society.
If I give you two representatives of real numbers, say turing machines that write out on their tape the binary digits of those real numbers, in general you will not be able to order them.
> why can’t you have an infinite amount of 9s and then just put a 7 after that?

You can. The proof still works if you do that.

What you’re refusing to accept here is the definition of infinity.
I'm in Austin. There was a confirmed case in my building and the best we got was a vague email from the management saying that someone had it and that the person had used the mailroom the Saturday before (we got the email on a Wednesday).
Germans write those compound words with "German casing", like this: "Bratwurstbratgerät" [1]. It is just a roaster for bratwursts. In other languages like english sometimes compound words are kebab cased, like yes. [2]

Btw, for kebabs you probably want a Dönnergrill :)

[1] https://en.wikipedia.org/wiki/Compound_(linguistics)#Germani...

[2] https://en.wikipedia.org/wiki/English_compound
Is it a coincidence that XCom Chimera Squad was recently released?
I have never seen a number system with infinitesimals where the addition wasn't updated to ignore smaller classes if they come with larger ones.

That is, for any number system I've seen, 1 = 1 + dx, and infinity = infinity + 100.
Running `dnf system-upgrade download --refresh --releasever=32` [1] now on a dev box, which leads me to a question:

In trying rolling releases, namely Arch and the Manjaro derivative, I seem to have more upgrade version conflicts than I do with regular Fedora `dnf upgrade` and the bi-annual system upgrade.

The Arch conflicts are often resolved by waiting a few days for the community fixes to the broken upgrade paths, because I don't use anything too rare.

But given the relative popularity of the Arch approach, and the frequency of people who state anecdotally "I have never borked a system with pacman", but I seem to have the opposite experience, what are the real advantages to a rolling release compared to the Fedora approach?

[1] https://docs.fedoraproject.org/en-US/quick-docs/dnf-system-u...

https://fedoramagazine.org/upgrading-fedora-31-to-fedora-32/
Clearly it's weather.

I'm not sure how much more evidence we need.

Yes they are lying a bit. Yes they have done great work. But these aren't enough to see what we are seeing.

And all the counties going into winter are going to be crying in a few months no one warned them, or it was somehow unexpected.
Cloud Native News of the last week around Kubernetes and Ecosystem
I remember a conversation I had with my daughter in the car when she was starting out with algebra...

Me: Is 9.999... the same as 10, or is it just really close to 10?

Kid: Really close. It never gets all the way there.

Me: Well then how close? What do you get when you subtract 9.999... from 10?

Kid: (pause) An infinite number of zeroes. . .and then a one. . .wait, you can't do that.

Me: Right. You just have an infinite number of zeroes. Which is zero.

Kid: (pause) Oh, that's mind-blowing.
But why is the course “all about classes, getters and setters, inheritance and so on”? It sounds like a Java class before the language is even chosen. No wonder the best choice ends up being Java.

When I took CS in school, these were not the central themes. On the last day of class the teacher showed us a short program in this funky new language called “Java” and we all had a good laugh at how it tried to make everything about objects, even where it
made no sense.

Even if you’re only
trying to teach object-oriented programming, I can think of better languages.
In the UK we had (pre-CV) virtual full employment, and a reasonable minimum wage. The average person had plenty of other options, and nobody was forcing anyone to work at Amazon.
I'm sorry; I am not well versed at making things up and passing it off as statements of fact.
wouldn't 0.999.. be equal to 1 - 10^w since it's only a countably finite series of nines.
Senegal trials begin for $1 Covid-19 test kit
I think it will be the opposite. I see an oblong, handheld, glass-ish-surfaced slab as our QWERTY keyboard (an interface ideology that has now plagued us for 147 years). Solutions to particular engineering problems in particular times and places tend to stick around far longer than technically necessary. (Most of the mechanical limitations that made QWERTY necessary were solved barely a decade after the Sholes and Glidden came about, yet even now the layout appears on our phone screens.)
Is there any chance that these Zoom sessions might be recorded and made public after the fact? I know I would love to listen to these discussion or talks and I'm sure many others would as well. This looks fantastic.
Norway's method to count deaths due to CoViD-19 is very different than Sweden's.
> which is indeed false, you can also interpret the expression as:
> lim[eps->0] ((1-eps) < 1)

Assuming you don't mean some special notion of limit, I would guess that by `(1-eps) < 1` you mean the function from the reals to `Y = {false, true}` that is defined as sending `x` to `true` if `1-x` is strictly less than `1`, and `false` otherwise. Let's call this function `f`. I assume you're endowing `Y` with the discrete metric?

If so, `f` does indeed have a limit from above that is `false` and a limit from below that is `true`. Where do you wanna go from here?

Edit: Corrected stupid wrong assertion about limit from below, d'oh.
Not sure if you’re joking, but 0.666...7 is not a real number. Can you define it?
You shouldn't need to reverse-engineer your own program just to understand the code you wrote yourself.
No, it wouldn't. Your examples are mostly hints that it's actually your terminal emulator (which might also serve as your "SSH program" in cases like PuTTY) which might need a slap to behave correctly - and then your TERM environment variable and possibly LANG (UTF-8 support) should be set up correctly. tmux will work then.
That’s because they’re only looking at the images on their phone.

As an aside, I’m a professional photographer and my greatest wish would be that people shop around for a photographer on a desktop or at least a tablet. Incredibly tiny effective image sizes can hide a lot.
the author is writing, in that section, about blind (i.e. off path) attacks. Given the attacker in that model is off-path they don't see the challenge ack.
I would guess transparency isn't supported for credential provider images.
The timing couldn't be more perfect. I'm currently working on re-designing a multi-tenant database schema with user-roles and stuff. I was looking for some tool like this.
Thank you! Looks good.
If you use vim as your IDE and haven't already, make use of nerdtree with its git addon[1] along with tmux.

I use different tmux colors for different environments so I know where I'm at instantly.

[1]https://medium.com/@victormours/a-better-nerdtree-setup-3d39...
I also drink decaf and in my experience (Europe mostly Switzerland), the majority of coffee shops offer it. Just ask. The selection at the supermarket is very limited here, though.
I think you have mis-stated yourself. Either that, or I don't understand what you're saying.

Trying to rearrange it and remove as many negatives as possible, I started with your statement:

> I don't see how a proof involving the standard arithmetic operations found within the rational numbers, but not including any concepts of limits, completeness, etc. is invalid.

I think what you mean is that any proof that does not use the concepts of limits and completeness is going to be invalid.

That seems clear to me, the reason being that one needs to define what one means by the sequence of symbols "0.9999...".

You can say "It's infinitely many 9s stretching off to the right", but that doesn't tell me what it means.

People seem to think it does, but when I dig deeper, they usually don't have any sense of what it means. And therein lies the problem (as I see it). People blithely write the glyphs, but don't have a concrete interpretation.
No, Paxos is not a shard log abstraction. Paxos is about agreeing on one value rather than a set of values in sequence. So my possibility 1 is true.
The experience from Google transcends this page. What you’re describing has been the difference between iOS and Android for years.
Population size is only an upper bound limit for disease spread, it doesn't tell anything else so using per capita inference to extrapolate is pretty flawed.
Not sure this quite makes economic sense unless Amazon are magicing the money up from nowhere.
Most people DO use a case and for many reasons unrelated to “fixing” the camera bump.
A round trip is usually in the $1000 range there are charters for tourists that fly from Israel’s smaller airports but are registered in Cyprus usually.

Israeli airlines do not fly to Egypt however most Israeli tourists only go into the Sinai so they can fly / bus / drive into to Eilat and cross via the land crossing.
Ask HN: What are your favorite programming blogs?
Programmers sometimes have very interesting blogs that keep us coming back. What are your favorites?
It is not reasonable to interpret the notation that way. For one, variable binding becomes incoherent.
> An infinite number of zeroes. . .and then a one. . .wait, you can't do that.

why not? why can't an infinitely small number exist?
And here's the pilot of that encounter in an interview: Joe Rogan Experience #1361 - Cmdr. David Fravor & Jeremy Corbell (https://www.youtube.com/watch?v=Eco2s3-0zsQ)
Custom graphics and web design projects. Just had to start the timer, keep track of what we were doing, and submit the final time. With teams, it all adds up, and you can see everyone's time it took on a project and you can all add to the same time record.
This question probably varies on who I'm asking but how long does the transpiling process take for you on a, let's say, fairly large project?
Having trouble with the IRS site? Try all caps (LA Times)
Ousted Dangdang co-founder breaks into HQ in attempted coup
Limits and completeness are convenient shorthands here. But let's start from a more basic perspective.

You say

> you're basically just defining 0.9... as a symbol to be some number x which has the property that 10x - x = 0.

Okay, well what is an alternate definition that makes more sense intuitively?

0.333...., for example, is one that seems pretty intuitive. We can get to .333... by iterated long division of 1 by 3.

3 | 1
0 (3 * 0 = 0) => 0.
10 (add zero)
9 (3 * 3 = 9) => 0.3
10 (add zero)
9 (3 * 3 = 9) => 0.33
...

And we can verify the reverse by doing the same trick above; 0.333... = 10 * 0.333... - 3 => 3 = 9 * 0.333... => 0.333... = 3 / 9 = 1 / 3.

So does this trick always work? If we have a repeated decimal, can we always multiply by 10 ^ (length of repeated sequence), subtract off, and get the value of that repeated decimal? If so, then it is reasonable to say that 0.999.... is equal to 1.

We can't really go in the forward direction without cheating (that is, going from 1 -> .999...); the best we can do is to modify long division to allow us to do it:

3 | 3
0 (3 * 0 = 0) => 0.
30 (add zero)
27 (3 * 9 = 27) => 0.9
30 (add zero)
27 (3 * 9 = 27) => 0.99
...

And so on.

Obviously this isn't in Peano arithmetic exactly, but I think it holds together. If we allow repeated decimals in general to be valid representations of rational numbers, then we have to accept 0.999.... is equal to 1.
What Is the Bitcoin Halving?
I really dislike trying to have conversations on a mic that uses a closed design. I can't really hear myself so I feel like I end up talking very loud.
Your comment is pretty much exactly the reason why I'm moving to Elm and PureScript as much as possible. As a specific point, function types for redux-thunk are just an absolutely miserable mess and that alone moved me to redux-saga. But personally I just want to dump the whole wretched thing. I'm glad people are waking up to this, because I felt like the odd one out disliking Typescript and preferring Javascript.

Typescript in my experience has felt like a collection of hacks more than a well thought out expansion of Javascript. Additionally, it concerns me that official solutions to some problems (e.g. iterating on an enum) require you to write around the code that the compiler will generate. That does not fill me with confidence at all.

As a personal point of contention, I really dislike that the types are useless beyond design-time. But since they don't want to go outside the EMCA spec, we'll likely not see anything like pattern matching on type or type-level destructuring anytime soon.

As it stands, some trivial things can become a nightmare very quickly. Maybe I'm just used to the ease at which ML-family languages can express some concepts.
I usually say "If and only if two numbers are different, then you can find a number between them". People often accept this axiom. Then, I offer them to find a number between 0.999... and 1.
Sure, but that just covers up the lie better. Maybe a flag "ToBeDeleted" and any stilled logged in sessions see account is scheduled for deletion.
That’s not a good argument either. Microwave ovens are at a similar frequency to Bluetooth.

The important factor for cancer is how much energy penetrates the outer layers of the skin and is therefore able to damage DNA.
ah, Mathologer video.

Have seen that.

Another one by 3b1b on that topic: https://youtube.com/watch?v=sD0NjbwqlYw
Interesting, didn't realize that. I haven't worked there but knew some people who did, and they were very proud of dogfooding - I guess at least the OS and IDEs, though maybe not the VCS.
>India has been contact tracing like a greedy algorithm on steroids since case #1.

Some states like Kerala is doing active contact tracing. Also the first case was reported 3 months ago and not 2 months ago.

https://www.theguardian.com/commentisfree/2020/apr/21/kerala...

> >There are only 85 active infections

I am not sure which area the original author is talking about but less than 150 is the real active cases in some states https://dashboard.kerala.gov.in/
Limits are defined for functions and "1 - eps < 1" is not a function, it's an inequality. But even if we pretended that limits were defined for inequalities, there only reasonable interpretation of it is that:

lim[eps->0]( 1 - eps < 1)

is equal to

1 - 0 < 1

which is obviously false. Again though, limits are defined for functions, not inequalities. If you have the limit

lim[eps->0] (x - eps)

Then it is equal to

x - 0

which is equal to x.

You're simply wrong here. You can read that wikipedia article if you don't trust me, or you can watch any of the thousands of youtube videos of mathematicians explaining this to you.

This is one of those things that is hard to do. Once you have an idea in your head that you're sure is right, it is incredibly difficult to dislodge it. It takes an enormous amount of humility and intellectual flexibility. But it is healthy and good to do it, every time you do it, you become a better person for it.
I may get downvoted for this and I would not advocate this under normal circumstances. But dogs are a source of protein that would be a shame to put to waste given that people are starving otherwise.
Using `dosbox .` skips two steps by mounting the current directory (at least on linux where I tried it)
> every large structure on our land has a water catchment system so I can water trees, veggies and animals with free water that is caught close to where it’s used. That is mostly because I don’t want to dig hundreds of feet of water line or pay for irrigation water, and because I want a relatively clean source of water near the house if the utilities fail.

I've always wondered about this. How clean is water that's run down roofing shingles before it's collected?
Caffeine is generally thought of as a vasodilator. It's a bit more complex than that, but it definitely doesn't restrict blood flow to your extremities.
You've met the formatting limitations. You mean:

"It's much more intuitive that 10 * 0.9999... = 9.9999... than that 2 * 0.9999...= 1.9999..."
What scientists must know about hardware to write fast code
Unlike most programming books the environment and code samples never go out of date either. It's entirely self contained including assembly language.
Gundlach: Fed Corp Bond Buying Program Is Illegal; Fed Says It Isnt Operational
Hard disagree. If you are assigning a value that's the result of an expression you might have somewhat complicated logic. Being able to say what you expect returned is very useful.

MyClass myVar = something ? SomeFunction() || somethingThatMightBeASubClassOfMyClass
I would suggest using the standard format with "Ask HN: " before your question
The Container Solutions Opinionated Guide to Blogging
> The GP's definition is the fundamental definition of the decimal notation. It's exactly what the "0.9..." symbol means.

> You can redefine the "0.9..." symbol to mean something else as much as you want, you can have it meaning pi if you like, but then you are just changing the subject on the most unhelpful way.

I _know_ that.

I think I maybe should just bow out of this conversation. I'm apparently incapable of explaining myself in a way that is understandable to people here. I'll consider this my fault.

I'll just summarize: I don't think any "proof" that 0.9... = 1 that is only expressed in terms of arithmetic operations and does not make use of limits is legitimate. In other words I claim that a proof like "0.9... = x" means "9.9... = 10x" means "9 = 9x" is illegitimate. Instead of taking "0.9... = 1" on faith it takes "10 x 0.9... = 9.9..." and "9.9... - 0.9... = 1.0... = 1" on faith. There's no proof here. It's just shifting around symbols. Of course there are logical proofs, but they make use of limits/completeness/properties of real numbers explicitly.

Feel free to disagree...
Bought a $30k Damien Hirst print and cut it up. Now, selling it for $480 a pop
Yes, but at the same time it is common for people to insist that 0.999… only "approaches" unity as if it were a series approaching a limit, rather than an unique number. Intuition is a funny thing.
That's a great approach
I remain dubious about VR/AR, because the use cases have remained incredibly narrow. VR has remained a more or less video gaming only niche, and AR is something I interact with once a year or so, mostly to see if furniture would fit.

It’s possible that future technology will make it more useful, but on the current trend it doesn’t seem likely that AR/VR would surpass even my Apple Watch usage, let alone iPhone.
I meant I want an the SE Plus model that follows the “Plus” sizing format of other iPhones. The iPhone Plus models were 6.2” tall and 3” wide, whereas the iPhone SE is 5.4” tall and 2.6” wide.
Why is it so hard to get PPE to hospitals?
Your common high end DSLR definitely outresolves 35mm film nowadays, especially at higher ISOs. It’s not a 1:1 comparison, but film does have grain and that grain size is the “limit” of the data.

That said medium format film and larger would still be hard to beat.

As far as tonality, a modern sensor should also have greater dynamic range than almost all film. They do behave differently though - highlights are harder to overexposed on film but dark areas are easier to underexpose, compared to digital.
There are mistakes in the article. To begin with the first case was reported 3 months ago and to be precise on Jan 30th. While its difficult to findout the strain of the virus, the first patient was a medical student returned Wuahn.
People mistakenly believe that decimal numbers don't have multiple representations - which, in a way is correct.

It is correct if you take the limit, people usually do not.
Natural gas tankless exists: https://www.homedepot.com/b/Plumbing-Water-Heaters-Tankless-...

I have this in my house.
How are they a copy of the AirPods? The AirPods, to me, look hideous. You take the original Apple headphones and cut off the wire. But putting that aside I'm finding it hard to see how these headphones resemble anything like AirPods. I mean, they're wireless headphones...? Is that the issue?
Possibly people are looking at two different symbols and asking "can you show me logically why those are equal." If they're given a definition of "equal" and they still object, that's a different problem.

I have this problem every time I play with group theory again. You get the axioms for a group, which say there is some identity but don't explicity require the identity to be unique. You can easily prove that the identity of a group is unique ... so long as you define "unique" to mean "if element e1 and element e2 are equal, then we say they are the same element."

You could count things differently and say the identity is "not unique", it would just lead to a lot of stupid and un-illuminating consequences.
Sixteen Guiding Principles for System Resilience
In true google “organizing the world’s information”-fashion this page is not available in certain countries and you are not even informed that you have been blocked or that you tried to go somewhere “you shouldn’t”

This silent blocking makes me unreasonably angry.

Why is it a secret that google is selling a phone or a set of earbuds? Why can’t they acknowledge that it exists?
> My God, why is it that since Trump got elected, that every position on a factual argument turned into an ideological hill to die on.

In general I would say your perception is in line with the general divisiveness of our times. I personally identify as a libertarian, but when I talk to people I'm always perceived as $OTHER because I don't match their overall narrative.

But concretely, if you said specifically what should be reopened, or included details about how your brother was planning on keeping contact down, then there would be something constructive to talk about. I myself think there are businesses that are closed that should be open - the small retailer vs "essential" corporate chain thing is especially galling, especially for garden stores.

But instead, when saying things can be generally "eased", and even saying that the reactionary shutdowns were a "mistake", it supports obtuse action like Texas reopening malls, restaurants, and movie theaters - probably the worst type of places for people to remain aware of social distancing. (I'd take this back if I saw people in malls actually staying apart and following arrows, but after what I've seen in grocery stores I'm not hopeful)

And reopenings may look small business friendly, but rather: https://i.redd.it/f2ry8pgk84v41.png . Basically the main relief avenues for individuals and small businesses require being completely shutdown.

Framing the initial decision as a "mistake" makes it seem like you are repeating a talking point. The goal was to avoid disaster, so a lack of disaster doesn't imply anything. What did necessitate a shut down is a federal government that failed to act for two months, told people to continue on as normal, and actually interfered with the individual states obtaining medical supplies. It's like if a bus driver had a heart attack so one of the passengers took over and stomped on the brakes, and then was told their action was a mistake because they could have simply kept driving the bus.

> His debt was no issue when he had customers

IMO the debt was an issue the whole time, regardless of his being able to service it. While debt can be useful, we've had artificially low interest rates going on two decades, depleting businesses of operating cash reserves. Financialization causes fragility, as it locks businesses into narrow assumptions, and those assumptions can change.
black magic! I wonder if there are any programming languages that are able to handle this properly?