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