Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnelsgithub.com/Park0762 pointsanonymoosestdnt4 months ago