semigroupoid
Joined 11 years ago
Karma
261
Submissions
50
Member since
Apr 8
Recent submissions
Comment · 1 month ago
Because this was most likely written entirely by an LLM?
Comment · 1 year ago
Yes
Comment · 2 years ago
I was referring specifically to the media coverage in 2021 and later that presented fairly large numbers (in the hundreds) of possible graves. However, per the article, none of them have been confirmed yet and a number of them even debunked.
I am not denying that there are large gravesites or that terrible things happened at those schools.
Comment · 2 years ago
That may be a bit strong. What can be said is that a lot of the initial media outrage regarding the residential schools in the last few years were based on possible gravesites, discovered using ground-penetrating radar. However, multiple excavations have so far been unable to confirm those gravesites at the scales predicted, some of them even turned out to contain no human remains at all [0]. That does not excuse anything, but I find it troubling how many fairly strong claims are made in this thread with zero citations/evidence to back them up.
[0] https://en.m.wikipedia.org/wiki/Canadian_Indian_residential_...
Comment · 4 years ago
What? Of course, the sets of integers, rationals and reals respectively are not identical , but the integers are a subset of the rational and the rational a subset of the real numbers.
Comment · 4 years ago
The shutdown was essentially started when Angela Merkel, who is a member of the conservative CDU, was chancellor.
Comment · 4 years ago
I honestly can’t tell if this is supposed to be sarcastic.
Comment · 4 years ago
It is pretty useless to compare the price of a single CPU with the price of an entire PC…
Comment · 4 years ago
That feature has been dead for over ten years.
Comment · 4 years ago
If I understand this correctly, the question (Codex Input) is asking for a solution using SymPy. So that would be the correct answer, right?
Comment · 4 years ago
Because the ICUs are at maximum capacity?!?
Comment · 5 years ago
According to this [0] at least BioNTech/Pfizer seem to be developing a booster shot specifically targeting the Delta variant. But they do mention that they’ve just recently “manufactured” the mRNA so it’s probably still months from being approved and ready to be deployed.
[0] https://investors.biontech.de/news-releases/news-release-det...
Comment · 5 years ago
IT = Information Technology
WP = Wikipedia
Lean -> https://leanprover.github.io
Comment · 5 years ago
All the names in point 8 are misspelled, that’s the point.