kiriakasis
Joined 10 years ago
Karma
408
Submissions
319
Member since
Feb 29
Recent submissions
Comment · 7 years ago
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
Comment · 7 years ago
The surface can be very similar, but they are foundationally different, that will not change soon
Comment · 7 years ago
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?
Comment · 7 years ago
There can also be spam servers that publish blacklists like with emails
Comment · 7 years ago
More expressive than datalog, faster than Prolog.
Comment · 7 years ago
That is not a fine
Comment · 7 years ago
Also I think that with enough .clone(), raw pointers and `unsafe` you can avoid almost all borrow checkers errors.
Comment · 7 years ago
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...
Comment · 7 years ago
(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
Comment · 7 years ago
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.
Comment · 7 years ago
The proofs you produce are probably weaker than those the author wants
Comment · 7 years ago
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
Comment · 7 years ago
> 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
Comment · 7 years ago
they do not create money, they are lending you someone else savings or money created by the federal reserve.
(still unsure about how to use this site, hope to learn soon)