It the wording of the announcement (taking them in good faith) that applies to applications using .NET Framework. .NET Core should be 100% portable to Linux/Mac/wasm.
.NET 5 should supersede both Core and Framework IIRC
I never understood this type of comments, is what you are trying to say something like:
"It was already tried and failed, why is this time better"
"Mainstream languages always end up not using it"
"People should reference more the original works of the past"
...
One of the many explainations of the name Rust is that it represents a collection of old ideas. What was the point you were trying to convey in specific?
In this case the bootstrapping problem is slightly different. What you are bootstrapping is not the compiler but the verification, in coq this would be trusting that the ocaml extracted code is correct by the coq proofs.
But I might be wrong, there are a lot of nuances and I do not know them all...
(Just to be clear I am not interest in giving a moral justification for piracy)
Game sallers profit from piracy the same way Microsoft and Mathworks would profit from a small population of pirated copies.
you could say the same for mods, If I can mod any game in skyrim why bother having any other game on steam.
Also for most markets the number of people that buy a game after piracy is greater than the number of pirates that would have bought the game anyway (no source on this) especially if mods are hard to impossible to pirate.
UPDATE: I won't claim this is an absolute, I imagine that at least a few (indie)games were deeply damaged by piracy, especially if they were hard to buy legally or not on steam. As I said my intention is not to justify piracy, just to understand its context and consequences
A good part is that you feel like you are not actually hurting the producer and actually you might be a net positive, as most of those people would have not spent 60$ for a game but still contribute to a lively community.
In my case many moons ago not pirating movies and games would have just meant reading more books.
Also the total disconnect between quality and price play a role sometimes.
From this point of view I like TLA+, it gives you a simple but powerful programming language and then allows you to check stuff like "this must not happen" or "this must happen" (and more).
Formal proof as in coq-proof are often not reasonable for many dynamic projects
also if you consider the fact that the process would last quite a few centuries of stable society and that illegitimate "hybrids" would be stronger and healthier. (the split would not be 50/50, but more like 99.99/0.01 so the "upper humans" would be a terrible bottleneck)
In this contest the likely evolution of Home Modernus would be through a slight abuse of eugenics and genetic manipulation dictated by a sense of aristocratic entitlement. This is likely to produce (almost literally) peacock tails in the higher humans. Evolutionary dead ends happens indeed when traits and behaviours necessary for the survival of an healthy community lose their utility against the environment (in the case of peacock the vivid colours are a signal of an healthy individual able to provide more that enough food).
Meanwhile Home "Animalis" lives outside the upper society, but close to advanced and cheap technology (old by that time standard, but new for us) essentially in a condition not distant from the countryside of many developing nations today.
They do not have monopoly, but have a right to a technical usage, which in this case is just short for formal logic.
As far as I know there is no formal equivalent of Hegel's logic. This is not a criticism (my favourite thinker is Jung) but is still a relevant distinction.
Not to put words in anyone mouth, but I believe that what people like (my projections of) tyfon find irritating is when alarmism come without understanding.
For example people believing it had already passed or grossly misinterpreting the effects.
Of course a big part of the alarmism was thanks to memes, so it is understandable that using them as a medium left out some information...
I only had short experiences with MATLAB/Octave as a student but found that writing MATLAB/Octave rather than MATLAB or Octave was tricky... (IIRC mostly with differently named library functions)
Is this a nuisance also for you? I would be interest in how do you overcome this (asking for a friend working in image processing in MATLAB)
.NET 5 should supersede both Core and Framework IIRC