Super HN

   Three ways formally verified code can go wrong in practice (buttondown.com) 75 points by todsacerdoti 21 hours ago