Hacker News: kiriakasis

New comment by kiriakasis in "IT Runs on Java 8"

kiriakasis — Fri, 10 May 2019 23:23:19 +0000

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

New comment by kiriakasis in "I Can’t Answer Standardized Test Questions About My Own Poems (2017)"

kiriakasis — Tue, 30 Apr 2019 07:52:38 +0000

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

New comment by kiriakasis in "Modern C++ Won't Save Us"

kiriakasis — Tue, 23 Apr 2019 10:58:36 +0000

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?

New comment by kiriakasis in "Lemmy: Federated Alternative to Reddit in Rust"

kiriakasis — Thu, 18 Apr 2019 05:45:16 +0000

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

New comment by kiriakasis in "The Mercury logic programming system"

kiriakasis — Sun, 14 Apr 2019 08:24:39 +0000

More expressive than datalog, faster than Prolog.

Most Links Between Personality Traits and Life Outcomes Are Replicable

kiriakasis — Sun, 07 Apr 2019 05:58:06 +0000

Article URL: https://www.psychologicalscience.org/news/releases/personality-traits-life-outcomes-replication.html

Comments URL: https://news.ycombinator.com/item?id=19595045

Points: 3

# Comments: 0

New comment by kiriakasis in "EU government websites have undisclosed adtech trackers from Google and others"

kiriakasis — Tue, 19 Mar 2019 07:55:08 +0000

That is not a fine

New comment by kiriakasis in "Why I rewrote the mesh generator of Dust3D from Rust to C++"

kiriakasis — Fri, 15 Mar 2019 13:11:30 +0000

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

New comment by kiriakasis in "CompCert – A formally verified C compiler"

kiriakasis — Tue, 22 Jan 2019 18:53:14 +0000

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...

New comment by kiriakasis in "Valve Breaks the Shackles of Proton"

kiriakasis — Tue, 22 Jan 2019 14:48:08 +0000

(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

New comment by kiriakasis in "Valve Breaks the Shackles of Proton"

kiriakasis — Tue, 22 Jan 2019 13:45:41 +0000

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.

New comment by kiriakasis in "Why Don't People Use Formal Methods?"

kiriakasis — Tue, 22 Jan 2019 12:09:14 +0000

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

New comment by kiriakasis in "Why Don't People Use Formal Methods?"

kiriakasis — Tue, 22 Jan 2019 12:00:50 +0000

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

New comment by kiriakasis in "Why Don't People Use Formal Methods?"

kiriakasis — Tue, 22 Jan 2019 11:43:21 +0000

> 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

New comment by kiriakasis in "$1.2T in risky corporate debt showing similar warning signs to subprime crisis"

kiriakasis — Tue, 22 Jan 2019 08:49:13 +0000

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

New comment by kiriakasis in "Meta Programming in JavaScript with Proxies"

kiriakasis — Mon, 21 Jan 2019 17:18:01 +0000

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

New comment by kiriakasis in "Idea that some species have stopped evolving is finally going extinct (2015)"

kiriakasis — Mon, 21 Jan 2019 17:15:58 +0000

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)

New comment by kiriakasis in "Idea that some species have stopped evolving is finally going extinct (2015)"

kiriakasis — Mon, 21 Jan 2019 17:10:52 +0000

> 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

New comment by kiriakasis in "A Bridge Too Far: E.W. Dijkstra and Logic"

kiriakasis — Mon, 21 Jan 2019 12:37:23 +0000

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.

New comment by kiriakasis in "EU Cancels 'Final' Negotiations on EU Copyright Directive"

kiriakasis — Sat, 19 Jan 2019 17:56:09 +0000

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...