Super HN

   Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels (github.com) 8 points by anonymoosestdnt 1 hour ago