1. 50

  2. 18

    Alright, so first we had Galois do verification on s2n. Then Wireguard was verified in Tamarin Prover. Now, Everest is verifying parts of NSS. Exciting to see high-assurance methods applied to so many components with wide impact or potential for it.

    1. 3

      I’m really excited about FF57. I’ve been on Vivaldi for a couple of months after being loyal to FF for over a decade (and before that Firebird or whatever it was called). I really want to keep supporting it, but my biggest issue has been performance. Everything I’ve read looks really promising though.

      1. 2

        Have you taken it for a drive? I use FF57 as my primary browser for personal and work. Stylo is great, everything seems fine. I have just once hit a bug and it was fixed within a few hours.