anonymouz

5 ms·

1.
by anonymouz 3d ago
There is a point in distinguished a formal proof from an intelligible one, notwithstanding the fact that one can, with effort, be extracted from another. That's a key point of the discussion that we mathematicians are having now, and f
2.
by anonymouz 3d ago
Maybe, but it's not worth discussing the content if you dont comprehend what the authors are actually saying.
3.
by anonymouz 3d ago
I recommend rereading the text.
4.
by anonymouz 3d ago
No, because knowing a proof exists is just a small part of math. It's value is rather limited to actual math, as the article explains quite eloquently and nicely.
5.
by anonymouz 3d ago
You can, mathematicians generally don't. That's what the article is partially about - a purely formal proof doesn't get us much.
6.
by anonymouz 4d ago
The authors discuss the dual roles of proofs, and the new need to differentiate them better, clearly in the article.
7.
by anonymouz 2mo ago
Who is "we"?
8.
by anonymouz 6y ago
Aside from the arguments others have already replied to, your numbers are wrong by an order of magnitude. 280K/year comes out to 767/day on average. Yesterday 777 people died of Covid, so, roughly, it seems to be doubling the deat
9.
by anonymouz 6y ago
But if we had a large number of undetected cases in the past, then we should also have a large number of undetected cases now, contrary to the study. (Unless we already have herd immunity, but there is no data at all suggesting this.)
10.
by anonymouz 6y ago
Well, in principle it does sound like a possibly "vaccine", but without the long-term testing I still don't see how we can be sure we have found this attenuated strain. Personally, I am youngish (30s) and healthy, so I would
11.
by anonymouz 6y ago
I don't see the point of this. Nature has most certainly not established the long-term effects of this virus, seeing as it has only been spreading in humans for a short while. Skirting the regulations is pointless, because the importan
12.
by anonymouz 6y ago
It seems the reason the vaccine will take so long (12-18months) to develop is because it needs to be tested for long-term safety which takes a trial with long-term monitoring. As this is essentially a sort of (active) vaccine, how do you pr
13.
by anonymouz 7y ago
You can't bike across the crosswalk, but you can get off your bike, step onto the sidewalk and walk your bike across the pedestrian crossing.
14.
by anonymouz 7y ago
Is anybody able to find the actual study? The best I could find is the news release from the University of York from May [1]. [1] https://www.york.ac.uk/news-and-events/news/2019/research/an...
15.
by anonymouz 7y ago
I assume you live in the EU (or somewhere else outside the US), where it is the most natural thing to just send money from your account to another one. This simply isn't a thing in the US, as I discovered when moving to there for a tim
16.
by anonymouz 7y ago
I like this graph: https://www.bbc.com/news/science-environment-48678196 . Gets the trend across in a very concise and obvious manner.
17.
by anonymouz 7y ago
They'll forever remain on my mind for their rip-off "lifetime hosting". I paid a lot of money for it, and it was supposed to last while the company lasted. But then they were folded into Joyent and the lifetime deals disconti
18.
by anonymouz 8y ago
A typical olympic pool (assumed 50m x 25m x 2m; the depth actually isn't standarized), contains 2500m^3 of water. 1m^3 of water has a mass of 1t (in typical conditions). So 10^6 tons of water corresponds to 400 olympic swimming pools.
19.
by anonymouz 8y ago
I don't think it violates the GPL, as the GPL doesn't really care about names. You still have every right to fork git, but have to call it a different name. So if you call your fork "treengler" or whatever, you'd be
20.
by anonymouz 8y ago
From mrmr1993's link: > The USPTO initially rejected our application as confusingly similar to the existing trademark on GitHub, which was filed in 2008. While one might imagine where the "Git" in GitHub comes from, by the
21.
by anonymouz 8y ago
Bitcoin has crazy volatility compared to gold and even USD. Sure, you can use it for speculation, but no one in their right mind uses Bitcoin as a store of value. People just hope that someone else will use it as a sure if value, so that th
22.
by anonymouz 8y ago
The thing is, TCP/IP is necessary to deliver the website. From a user's point of view, a huge majority of the websites have no reason to set a cookie. Anything where I don't login, just read some news, read some blog entries,
23.
by anonymouz 8y ago
Care to tell us which one it is?
24.
by anonymouz 8y ago
Are there no laws in the US?
25.
by anonymouz 8y ago
Tough luck. There is no fundamental right allowing tracking or advertising. There is a fundamental right to privacy.
26.
by anonymouz 8y ago
Did you delete all EU users' data?
27.
by anonymouz 8y ago
I don't understand why you are getting downvoted, because this is indeed what Tether claims. From their homepage "100% Backed Every tether is always backed 1-to-1, by traditional currency held in our reserves. So 1 USD₮ is always
28.
by anonymouz 8y ago
Even worse, they tried to get an audit, but it ended up with them and their auditor ending the process without producing an audit. Apparently they weren't too happy the auditor wanted to actually take a close look: “We confirm that the
29.
Registering for things on the Internet is dangerous these days(utcc.utoronto.ca)
2 points by anonymouz 8y ago|0 comments
30.
by anonymouz 8y ago
The problem isn't the warnings. The problem is that every damn website where you read a single article thinks it's somehow ok to set a cookie (and track you).

More ›