Formally verified FPGA watchdog for AM broadcast in unmanned tunnels
Get picks like this daily. Today's launch numbers, the top launches, AI and tech news, and a daily opportunity pick, straight to your inbox.
Want to reach these readers? Sponsor an issue.
HN · launched Feb 18, 2026 · 62 upvotes (top 16%) · 0 views
Niche: embedded systems and firmware utilities · 239 launches, 4 in the last 7 days ▼ -76% · Explore this niche →
Category and tags
- Media & entertainment
- Hardware & robotics
- B2B
- Not AI
- Commercial product
Visit website ↗ Source listing ↗
More like this: all 239 launches in embedded systems and firmware utilities →
Could you build this?
No Designing safety-critical FPGA logic with formal mathematical verification for broadcast radio systems requires specialized electrical engineering and formal methods expertise.
What it would actually take: Requires writing synthesizable hardware description language (Verilog/VHDL) targeted to an FPGA and specifying formal mathematical assertions using tools like SymbiYosys or Coq/Lean. The design must handle analog/digital AM signal modulation, hardware watchdog timers, and failover states in unmanned environments. This necessitates deep expertise in RF communications, digital hardware design, and mathematical proof-based hardware verification.
Discussion
20 comments analyzed.
Competitors mentioned: SDR (Software Defined Radio) systems, FM/digital radio systems, LoRa, VLF/LF communication systems
Concerns raised: Physics feasibility - wavelengths too long to resonate in typical tunnel dimensions, No documented accidents in CDC Mine Accidents Database despite claims, Unclear use case - who receives unmanned tunnel broadcasts, AM radios becoming obsolete/rarely used, Automatic restart unacceptable failure mode for emergency systems
Feature requests: Use case documentation/summary in README, Polyphase channelizer for carrier frequency generation instead of 12 NCOs, Redundant system with alarm if primary system fails
Competitors
Other products that read as similar to this one : 1506 launches clear the similarity bar, closest 8 shown.
Attention rank: #207 of 1507 (itself plus its competitors, highest first, normalized so YC and Product Hunt are compared fairly).
Launched 110 days after the earliest competitor.
- turnrelay · github · 2026-09-14 · 8 upvotes · similarity 0.55
- Mezz, a curl-able WiFi sandbox for IoT pentesting · hn · 2026-05-15 · 40 upvotes · similarity 0.55
- amt-tools · github · 2026-09-14 · 15 upvotes · similarity 0.53
- SIEMatic, a fair-sourced observability and security platform · hn · 2026-08-04 · 9 upvotes · similarity 0.53
- unixpc · github · 2026-11-06 · 27 upvotes · similarity 0.52
- imonitor · github · 2026-10-09 · 12 upvotes · similarity 0.52
- SignalCend · hn · 2026-02-27 · 5 upvotes · similarity 0.52
- Qevoryx · github · 2026-09-12 · 7 upvotes · similarity 0.52
The niche, labels, vibe code rating and competitor comparison on this page are analysis by Nicheloom. If you use them, please credit nicheloom.com. How you may use our data.