Viewing profile — semigroupoid

[flagged]

Yes

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 the…

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, dis…

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 numb…

The shutdown was essentially started when Angela Merkel, who is a member of the conservative CDU, was chancellor.

I honestly can’t tell if this is supposed to be sarcastic.

It is pretty useless to compare the price of a single CPU with the price of an entire PC…

That feature has been dead for over ten years.

If I understand this correctly, the question (Codex Input) is asking for a solution using SymPy. So that would be the correct answer, right?

Because the ICUs are at maximum capacity?!?

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 “manufa…

IT = Information Technology WP = Wikipedia Lean -> https://leanprover.github.io

All the names in point 8 are misspelled, that’s the point.

Because it is not made in Germany. Pfizer is responsible for producing it and their plants are primarily in the US.

There is 5 volumes (!) worth of evidence, collected by the (bipartisan) Senate Intelligence Committee, showing that Russia did actively influence the 2016 election. What hasn’t bee…

The legislation outlining the tariffs in its version from 2006 [0, p. 577] lists the import tariff for a “video camera recorder” at 14%, whereas the version from last year [1, p. 6…

Sure, but JavaScript isn't compiled but typically interpreted (or JITed).

It looks like you started with writing an interpreter in C#, then wrote the compiler in the language itself. Which is a cool concept, I must say. I can't fully wrap my head around …

I don't think the situation is as simple as you make it out to be. Due to the geoblock, latimes.com clearly does not offer its services to people in the EU in the sense of Article …

> My only complaint with the touchbar is its too easy to accidentally engage Siri. You can remove the Siri shortcut in the system preferences.

How do you work with smooth functions without using reals?

One reason might be that exercises that ask for proofs often have several correct answers. It would probably be just as confusing to a beginning student to come up with a proof for…