Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

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

github.com

Post reply on HN
Print view View original

1–10 of 32 posts

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

#2

Post by jetrink »

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

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

#3

Post by cbdevidal »

jetrink wrote: post #2

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

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

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

#4

Post by _moof »

jetrink wrote: post #2

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

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

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

#6

Post by jasonjayr »

jetrink wrote: post #2

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

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

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

#7

Post by meindnoch »

jasonjayr wrote: post #6
jetrink wrote: post #2

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

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

[flagged]

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

#8

Post by albumen »

meindnoch wrote: post #7
jasonjayr wrote: post #6

Earlier quoted context omitted.

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

[flagged]

Fascinating. Any references? A cursory web search reveals nothing.

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

#9

Post by CamperBob2 »

meindnoch wrote: post #7
jasonjayr wrote: post #6

Earlier quoted context omitted.

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

[flagged]

That is hilarious. You win the Internet for February 18, 2006.
Post reply on HN