Viewing profile — 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…

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 …

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

(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 popul…

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

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" (a…

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

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 …

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

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…

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

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

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

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