HNHacker News
TopNewBestAskShowJobs

erdeszt

74 karma · joined June 16, 2013

submissionscomments
erdeszt··on $625M worth of ETH drained on Axie Infinity's Ronin Network
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.
erdeszt··on $625M worth of ETH drained on Axie Infinity's Ronin Network
What do you mean by "two competing and conflicting beliefs"?
erdeszt··on $625M worth of ETH drained on Axie Infinity's Ronin Network
> 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...

erdeszt··on $625M worth of ETH drained on Axie Infinity's Ronin Network
> Why do you think this studio was a no government no authorities crowd?

I meant the general web3/cryptobro crowd

erdeszt··on $625M worth of ETH drained on Axie Infinity's Ronin Network
> 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!"

erdeszt··on Code is Engineering, Types are Science
> Javascript didn't need types

Have you heard about Typescript?

erdeszt··on I still like C and strongly dislike C++
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.
erdeszt··on Signal apps DDoS'ed their own server
Problem: whatever

Solution: TRY-CATCH

erdeszt··on How Silicon Valley destroyed Parler
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.

erdeszt··on How Silicon Valley destroyed Parler
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.
erdeszt··on How Silicon Valley destroyed Parler
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.
erdeszt··on Haskell is our first choice for building production software systems
> 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).

erdeszt··on Dynamic type systems are not inherently more open
Why did you decide to use a system programming language to build a web api? That's 100% the wrong tool for the job.
erdeszt··on Algorithm for Drawing Trees
Is it always acyclic though? https://stackoverflow.com/questions/6163683/cycles-in-family...
erdeszt··on Incident: Ethiopian B737 at Dire Dawa on Jan 9th, swarm of grasshoppers
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.
erdeszt··on Parse, Don’t Validate
That code doesn't compile because fromString returns Maybe StringEndingInDot and toString takes StringEndingInDot. So it does protect you from misuse.
erdeszt··on How Many Type Parameters Can a Java Method Have?
There's a Prolog in your Scala: https://www.youtube.com/watch?v=iYCR2wzfdUs

It does compile time computations using generics + implicits

erdeszt··on How Many Type Parameters Can a Java Method Have?
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...
erdeszt··on Lambda Cube
> 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.

erdeszt··on Lion Air crash: Investigators say plane was 'not airworthy'
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.
erdeszt··on The algebra and calculus of algebraic data types
This one typechecks but loops forever:

  f :: Void -> a
  f _ = let x = x in x
erdeszt··on HTTP Error Code 418 I'm a Teapot is about to be removed from Node
> because reasons

Consistency comes to mind as a pretty good reason.

erdeszt··on TLS verification vulnerability in LibreSSL 2.5.1-2.5.3
I was referring to the lack of curly braces around the body of the then clause. This code has nothing to do with resource management and gotos per se so I don't see where your frustration and attack comes from.
erdeszt··on TLS verification vulnerability in LibreSSL 2.5.1-2.5.3
Here's the referenced commit for the interested: https://github.com/libressl-portable/openbsd/commit/ddd98f8e...

To be honest I'm kinda surprised that even after the 'goto fail' story people still write code in this questionable style(I know this particular issue is not stemming from the lack of curly braces, but still).

erdeszt··on 5700 upvotes later: be careful about crypto advice from Reddit
>Have you read...

Not yet, I've removed the offensive parts. But if you quote from me please quote correctly, your current comment(and the fact that you update it in every 5 minutes) is misleading.

erdeszt··on 5700 upvotes later: be careful about crypto advice from Reddit
Do you seriously think that anyone would implement crypto based on a reddit post? The lack of mention of modulo multiplication is totally irrelevant for the analogy. You could also say that the box analogy is broken because Eve can take a disc cutter and open the box. Analogies don't have to be perfect duh. I think this is one of the least useful articles I've ever seen on HN.
erdeszt··on Why I'm proud to be a vegan
Even if I'd have a moral framework to start a discussion upon I wouldn't be able to convince you to stop eating meat because it was not a choice you made based on facts and rational arguments but something you've born into. Unless you find the moral values yourself you'll be eating meat forever.
erdeszt··on Node.js running in the new Airbus A350 inflight servers
If it's completely isolated from the flight control systems then it doesn't really matter.
erdeszt··on JavaScript as default language and software stack
Except that this is not working. You have to explicitly type lambdas if you assign them to local variables(or to properties, fields). But I don't see it as big trouble though.
erdeszt··on Coders at Work on finding and preventing bugs
The ghci debugger is pretty awesome: https://downloads.haskell.org/~ghc/latest/docs/html/users_gu...
Page 1 of 2Next →