kiriakasis

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

The surface can be very similar, but they are foundationally different, that will not change soon

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?

There can also be spam servers that publish blacklists like with emails

More expressive than datalog, faster than Prolog.

That is not a fine

Also I think that with enough .clone(), raw pointers and `unsafe` you can avoid almost all borrow checkers errors.

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.

Also in addition to the extremely weak arguments I have provided something similar happens in movies: https://gizmodo.com/the-eu-suppressed-a-300-page-study-that-...

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.

The proofs you produce are probably weaker than those the author wants

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

> it implies an often unrealistic separation between writing specs and writing implementations

I think that part of the problem is that small modification in the spec can lead to enormous changes in the proofs

they do not create money, they are lending you someone else savings or money created by the federal reserve.

From reading many blogs my intuition is that the standard is "four letter or less that sound kind of similar when read"...

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)

> which is an evolutionary dead end

Just to provide a different perspective

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.

In the long term I would bet on the "lower" race

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)

when he stopped using them he also stopped paying for them

> I am highly doubtful that Netflix can produce great stories

If we are talking about tv series then there is a really low bar for what is considered "great stories".

In this case producers have a strong upper hand. If a producer does not sell any license for a year it loses a lot of money, if netflix does not have any license for a year it loses all its audience.

Actual question, how many time can air be breathed? I think you can live on second-hand breath.

In this sense I would like it if site took advertisement more seriously. Asking feedback, allowing personalization, selecting a few "endorsed" ads (as a quick and cheap Boolean review).

For Google and Facebook it doesn't make sense, but for a newspaper i would expect some selection on the ads they show.

Personally I find their writing mean... I do not love the super optimistic marketing lingo, but DDG sometimes sounds too vicious in their blog. (I still use them as main search engine, but I am not sure I would like them to go mainstream)

Here there is a big difference still, their services are a marketfront. This is a lot different from Youtube for example.

Also keeping an internal profile of registered user is very different from squeezing every cent of advertising out all available user data

This says nothing about apple selling user data like google of facebook.

We should be more clear in distinguishing various levels of attacks to privacy.

Not to defend google but the problems they are having now to access their own google play are the same problem a scammer would have to go do it.

It does not look like a perfect balance, but they apparently err on the security side.

While ideologically coherent this position is inconsistent with another fact: it should be illegal to push people to commit crimes.

We could design strongly addictive porn that would significantly increase the market for production of actual child abuse.

More precisely if you abolish the concept of "obscenity exception" you still have that a lot of the same is illegal by "crime promulgation" (not a nice word, could not think of anything better)