Hacker News: erdeszt

New comment by erdeszt in "$625M worth of ETH drained on Axie Infinity's Ronin Network"

erdeszt — Tue, 29 Mar 2022 19:05:35 +0000

Isn't that company also trying to fulfill the same ideological goal? Their twitter even says "Freedom for gamers". Looks exactly the same type of bs to me.

New comment by erdeszt in "$625M worth of ETH drained on Axie Infinity's Ronin Network"

erdeszt — Tue, 29 Mar 2022 18:43:57 +0000

What do you mean by "two competing and conflicting beliefs"?

New comment by erdeszt in "$625M worth of ETH drained on Axie Infinity's Ronin Network"

erdeszt — Tue, 29 Mar 2022 18:30:35 +0000

> No need to project your own cognitive dissonance

Not sure why you felt the need to insult me but that won't lead to useful discussions...

New comment by erdeszt in "$625M worth of ETH drained on Axie Infinity's Ronin Network"

erdeszt — Tue, 29 Mar 2022 17:46:39 +0000

> Why do you think this studio was a no government no authorities crowd?

I meant the general web3/cryptobro crowd

New comment by erdeszt in "$625M worth of ETH drained on Axie Infinity's Ronin Network"

erdeszt — Tue, 29 Mar 2022 17:10:22 +0000

> We are working directly with various government agencies to ensure the criminals get brought to justice.

It's amusing to see these kind of statements from the decentralized no goverment/no authorities crowd. To quote RKL:

Well it's anarchy, fuck the cops Of course, how else, through peace. But when the looters come to kick your ass I bet you cry "Police!"

New comment by erdeszt in "Code is Engineering, Types are Science"

erdeszt — Sun, 27 Jun 2021 18:27:10 +0000

> Javascript didn't need types

Have you heard about Typescript?

New comment by erdeszt in "I still like C and strongly dislike C++"

erdeszt — Thu, 27 May 2021 08:15:00 +0000

I kinda like that `defer` is very visible. Although I haven't worked on large Zig codebases so I don't know how that scales.

New comment by erdeszt in "Signal apps DDoS'ed their own server"

erdeszt — Sat, 16 Jan 2021 16:39:10 +0000

Problem: whatever

Solution: TRY-CATCH

New comment by erdeszt in "How Silicon Valley destroyed Parler"

erdeszt — Tue, 12 Jan 2021 21:16:36 +0000

Amazon: https://www.cnbc.com/2019/07/17/eu-to-investigate-amazon-ove... & https://www.forbes.com/sites/enriquedans/2020/06/13/if-amazo... Google: https://finance.yahoo.com/news/google-sued-again-over-anti-0... & https://www.msn.com/en-us/news/technology/anti-competitive-g... Facebook: https://medium.com/swlh/facebook-is-killing-the-competition-... & https://thehill.com/policy/technology/529504-state-ags-ftc-s...

Granted these are just lawsuits at the moment and not final verdicts but still it's not hard to see how they don't play a fair game.

New comment by erdeszt in "How Silicon Valley destroyed Parler"

erdeszt — Tue, 12 Jan 2021 21:10:19 +0000

Google has monopoly on search, Amazon on online retail and to a lesser extent cloud hosting, Facebook on social media. Twitter on 140 character word dumps so that's maybe not at the same level bad as the others. Edit: Apple doesn't really have a monopoly on anything.

New comment by erdeszt in "How Silicon Valley destroyed Parler"

erdeszt — Tue, 12 Jan 2021 15:47:26 +0000

I kind of feel the same as you. I'm happy that Parler is gone but on the other hand I think that Google, Facebook, Amazon and Twitter are monopolies and should be broken up.

New comment by erdeszt in " Haskell is our first choice for building production software systems"

erdeszt — Mon, 11 Jan 2021 12:11:50 +0000

> So... Type signature `Int -> Int -> Bool` can be used for a function that does any of the following things: manipulates strings, decodes JSON, or queries a database

It can definitely NOT query a database(as that would be an effect which would be visible in the type).

New comment by erdeszt in "Dynamic type systems are not inherently more open"

erdeszt — Sun, 19 Jan 2020 14:08:52 +0000

Why did you decide to use a system programming language to build a web api? That's 100% the wrong tool for the job.

New comment by erdeszt in "Algorithm for Drawing Trees"

erdeszt — Sun, 19 Jan 2020 06:27:14 +0000

Is it always acyclic though? https://stackoverflow.com/questions/6163683/cycles-in-family...

New comment by erdeszt in "Incident: Ethiopian B737 at Dire Dawa on Jan 9th, swarm of grasshoppers"

erdeszt — Fri, 17 Jan 2020 12:59:20 +0000

In the remarks section: "IFR flt are not permitted to tkof fr Rwy 15 or apch and ldg on Rwy 33." So depending on the wind they might not had the option to land IFR.

New comment by erdeszt in "Parse, Don’t Validate"

erdeszt — Fri, 08 Nov 2019 07:24:08 +0000

That code doesn't compile because fromString returns Maybe StringEndingInDot and toString takes StringEndingInDot. So it does protect you from misuse.

New comment by erdeszt in "How Many Type Parameters Can a Java Method Have?"

erdeszt — Mon, 29 Apr 2019 13:14:03 +0000

There's a Prolog in your Scala: https://www.youtube.com/watch?v=iYCR2wzfdUs

It does compile time computations using generics + implicits

New comment by erdeszt in "How Many Type Parameters Can a Java Method Have?"

erdeszt — Mon, 29 Apr 2019 13:11:18 +0000

Do you mean type parameters or regular parameters? If it's the former(and Scala is allowed) then I think Rho's Result type is a pretty good bet with it's ~60 type arguments: https://github.com/http4s/rho/blob/989db04e6dd828518770a42fd...

New comment by erdeszt in "Lambda Cube"

erdeszt — Wed, 06 Mar 2019 07:52:53 +0000

> It will be faster to bring value to your customers using a dynamic language (Ruby/Python/PhP), then using (Haskell/Scala).

If we are talking about a first iteration/mvp then I can agree with you. On the other once you have to maintain/extend/refactor this first iteration you'll start seeing the (imo) enormous benefits of static typing.

New comment by erdeszt in "Lion Air crash: Investigators say plane was 'not airworthy'"

erdeszt — Wed, 28 Nov 2018 12:48:21 +0000

First of all he said little by little so calling it rapid is a bit misleading. Second this was not ultimately a hardware/software failure but the failure of the overall supervisor of the system(= pilot). We can't (yet) make hardwares that are immune to failure but we have redundancy and procedures to deal with these failures. It seems like in this case the procedures were not properly executed which lead to the tragedy. To also address @lmm's point: the leading cause for aircraft accidents are human error and not hardware/software failure so more automation = less accidents. Edit: after reading some more on the subject it seems like boeing share some of the blame for not including the new system(or system changes) in their training program which is again a human error.