Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels

• Posted 8 hours ago by anonymoosestdnt
• 53 points