Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnelsgithub.com
51 points by anonymoosestdnt 7 hours ago | 17 comments