Comments by "LoneTech" (@0LoneTech) on "Fireship" channel.

  1. When their business model is entirely predicated on claiming they're less incompetent than the vendors of actually needed software on the same system, and will cover for those, this level of incompetence is gross negligence at best.
    3
  2. ​​ @MrCmon113  That's actually the monad bit. The old world was consumed to create the new world; monad means handling only one, as in mono. There's only ever one world, whether it's before or after your IO action. I also like a different perspective: Your Haskell program actually constructs a program in the real world. All the IO parts that have effect are sequenced in that real program, so anything tagged with IO is a piece we use to build the flow diagram of that program. Most of your logic has no need to deal with IO, and monads are primarily used to deal with stuff that can fail or diverge. An amazing monad is STM, which can make arbitrarily complex speculative execution with retries, not just abort.
    2
  3. "It" meaning Crowdstrike, not this particular event. Those panics are merely evidence Crowdstrike had already broken systems in this way and not been fixed or replaced.
    1
  4. And transactional handling of updates.
    1
  5. As evidenced by this driver in particular crashing the system entirely when a configuration file update fails to parse, Microsoft certification means nothing more than that it has been sent to Microsoft. It blatantly is not "ok".
    1
  6.  @Arsenic71  Whatever testing occurs doesn't cover the actual use of the driver. It could only catch the very most blatant of abuse, like a driver that crashes the system straight away. That wasn't the case here; the driver only conditionally crashes the system. So, which of the companies that said this was fine do you still consider trustworthy?
    1
  7. There are languages where that's far closer to truth. Of course some people complain bitterly when GHC says their program is incomplete rather than produce a broken executable. Ada in particular was designed with this goal, published in 1983, but it likely never will get the huge marketing campaigns Rust or Java enjoyed.
    1