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