kiriakasis

9 ms·

1.
by kiriakasis 7y 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
2.
by kiriakasis 7y ago
The surface can be very similar, but they are foundationally different, that will not change soon
3.
by kiriakasis 7y 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 ref
4.
by kiriakasis 7y ago
There can also be spam servers that publish blacklists like with emails
5.
by kiriakasis 7y ago
More expressive than datalog, faster than Prolog.
6.
Most Links Between Personality Traits and Life Outcomes Are Replicable(psychologicalscience.org)
3 points by kiriakasis 7y ago|0 comments
7.
by kiriakasis 8y ago
That is not a fine
8.
by kiriakasis 8y ago
Also I think that with enough .clone(), raw pointers and `unsafe` you can avoid almost all borrow checkers errors.
9.
by kiriakasis 8y 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 wron
10.
by kiriakasis 8y 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
11.
by kiriakasis 8y 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 mo
12.
by kiriakasis 8y ago
The proofs you produce are probably weaker than those the author wants
13.
by kiriakasis 8y 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 a
14.
by kiriakasis 8y 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
15.
by kiriakasis 8y ago
they do not create money, they are lending you someone else savings or money created by the federal reserve.
16.
by kiriakasis 8y ago
From reading many blogs my intuition is that the standard is "four letter or less that sound kind of similar when read"...
17.
by kiriakasis 8y ago
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 s
18.
by kiriakasis 8y ago
> 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 en
19.
by kiriakasis 8y ago
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
20.
by kiriakasis 8y ago
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 e
21.
by kiriakasis 8y ago
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
22.
by kiriakasis 8y ago
when he stopped using them he also stopped paying for them
23.
by kiriakasis 8y ago
> 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".
24.
by kiriakasis 8y ago
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.
25.
by kiriakasis 8y ago
Actual question, how many time can air be breathed? I think you can live on second-hand breath.
26.
by kiriakasis 8y ago
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 mak
27.
by kiriakasis 8y ago
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)
28.
by kiriakasis 8y ago
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
29.
by kiriakasis 8y ago
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.
30.
How 'BoJack Horseman' Got So Good at Depicting Mental Illness [2016](vice.com)
1 points by kiriakasis 8y ago|0 comments

More ›