erdeszt

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.

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

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

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

I meant the general web3/cryptobro crowd

> 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!"

> Javascript didn't need types

Have you heard about Typescript?

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.

Problem: whatever

Solution: TRY-CATCH

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.

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.

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.

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

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

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

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.

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

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

It does compile time computations using generics + implicits

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

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

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.

This one typechecks but loops forever:

  f :: Void -> a
  f _ = let x = x in x

> because reasons

Consistency comes to mind as a pretty good reason.

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.

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

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

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.

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.

If it's completely isolated from the flight control systems then it doesn't really matter.

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.

The ghci debugger is pretty awesome: https://downloads.haskell.org/~ghc/latest/docs/html/users_gu...