Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels (github.com) 62 pts|12 days ago|28 comments
