semigroupoid

9 ms·

1.
by semigroupoid 2y ago
Yes
2.
by semigroupoid 3y 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
3.
by semigroupoid 3y 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
4.
by semigroupoid 4y 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.
5.
by semigroupoid 4y ago
The shutdown was essentially started when Angela Merkel, who is a member of the conservative CDU, was chancellor.
6.
by semigroupoid 4y ago
I honestly can’t tell if this is supposed to be sarcastic.
7.
by semigroupoid 4y ago
It is pretty useless to compare the price of a single CPU with the price of an entire PC…
8.
by semigroupoid 4y ago
That feature has been dead for over ten years.
9.
by semigroupoid 5y 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?
10.
by semigroupoid 5y ago
Because the ICUs are at maximum capacity?!?
11.
by semigroupoid 5y 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 bei
12.
by semigroupoid 5y ago
IT = Information Technology WP = Wikipedia Lean -> https://leanprover.github.io
13.
by semigroupoid 5y ago
All the names in point 8 are misspelled, that’s the point.
14.
by semigroupoid 6y ago
Because it is not made in Germany. Pfizer is responsible for producing it and their plants are primarily in the US.
15.
by semigroupoid 6y ago
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 been proven is collusion between Trump and Russia. https:&#x2F
16.
by semigroupoid 6y ago
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. 601] lists it as “Free”. This seems to be the result of a WTO
17.
by semigroupoid 7y ago
Sure, but JavaScript isn't compiled but typically interpreted (or JITed).
18.
by semigroupoid 7y ago
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 the practicalities, though. Do you compile the compile
19.
E.U.’s Biggest Economies Ban Boeing Max 8 Jets(nytimes.com)
350 points by semigroupoid 8y ago|348 comments
20.
by semigroupoid 8y ago
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 3.2(a) of the GDPR. Now, Article 3.2(b) states that the
21.
by semigroupoid 8y ago
> My only complaint with the touchbar is its too easy to accidentally engage Siri. You can remove the Siri shortcut in the system preferences.
22.
by semigroupoid 8y ago
How do you work with smooth functions without using reals?
23.
by semigroupoid 8y ago
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 some exercise and then see the author take a completely dif
24.
by semigroupoid 8y ago
Article 83 in general and specifically Art. 83 (2) state that "the degree of cooperation with the supervisory authority, in order to remedy the infringement and mitigate the possible adverse effects of the infringement" should be
25.
by semigroupoid 8y ago
EU citizenship was introduced as part of the Maastricht treaty in 1992. See https://en.m.wikipedia.org/wiki/Citizenship_of_the_European_...
26.
by semigroupoid 8y ago
Those ads are on www.usatoday.com, not eu.usatoday.com.
27.
by semigroupoid 8y ago
In the context of measure theory, a "non-negligible" set is a set with measure greater than zero.
28.
by semigroupoid 9y ago
They are working on it: https://wiki.mozilla.org/Firefox/EnterprisePolicies
29.
by semigroupoid 10y ago
I second the recommendation for Artin's Algebra. I'd also recommend Paolo Aluffi's Algebra: Chapter 0, which is a nice alternative to Lang and also uses category theory right from the beginning and doesn't require many p
30.
by semigroupoid 10y ago
"Ireland must now recover the unpaid taxes in Ireland from Apple for the years 2003 to 2014 of up to €13 billion, plus interest." (from the official press release)

More ›