Remix.run Logo
Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels(github.com)
32 points by anonymoosestdnt 3 hours ago | 5 comments
jetrink an hour ago | parent | next [-]

At first I thought the "unmanned tunnels" description was just a way to avoid broadcast regulator scrutiny, but it does look like it's genuinely designed to be used underground as part of an emergency alert system. That led me to "leaky feeders", a type of broadcast antenna used in mines and tunnels.

https://en.wikipedia.org/wiki/Leaky_feeder

jasonjayr 4 minutes ago | parent | next [-]

I'm curious about challenges (what's bad with AM broadcast in an unmanned tunnel?) and why the formally verified killswitch was necessary?

_moof 28 minutes ago | parent | prev | next [-]

I've also seen these used to add audio to art installations in commuter tunnels.

cbdevidal 43 minutes ago | parent | prev [-]

Thank you, I too was confused at the purpose of this

davepage 23 minutes ago | parent | prev [-]

Could obtain better quality at the higher channel counts by phase shifting the audio for each channel such that the modulation peaks do not exactly align for each (as they do now). Even inverting the audio for half the channels would help.