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

55 points

by anonymoosestdnt

8 hours ago

17 comments