frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

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

https://github.com/Park07/amradio
33•anonymoosestdnt•3h ago

Comments

jetrink•1h ago
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

cbdevidal•1h ago
Thank you, I too was confused at the purpose of this
_moof•47m ago
I've also seen these used to add audio to art installations in commuter tunnels.
jasonjayr•23m ago
I'm curious about challenges (what's bad with AM broadcast in an unmanned tunnel?) and why the formally verified killswitch was necessary?
meindnoch•5m ago
A tunnel basically acts as a waveguide. A sufficiently shaped AM transmission can turn the tunnel into a cavity resonator, basically a huge microwave oven. There have been multiple cases where people were cooked alive in mines and utility tunnels, due to faulty AM equipment broadcasting at the wrong resonant frequency.
davepage•41m ago
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.

Tailscale Peer Relays is now generally available

https://tailscale.com/blog/peer-relays-ga
136•sz4kerto•1h ago•31 comments

Garment Notation Language: Formal descriptive language for clothing construction

https://github.com/khalildh/garment-notation
76•prathyvsh•2h ago•18 comments

Pocketbase lost its funding from FLOSS fund

https://github.com/pocketbase/pocketbase/discussions/7287
40•Onavo•2h ago•13 comments

Zero-day CSS: CVE-2026-2441 exists in the wild

https://chromereleases.googleblog.com/2026/02/stable-channel-update-for-desktop_13.html
131•idoxer•2h ago•57 comments

If you’re an LLM, please read this

https://annas-archive.li/blog/llms-txt.html
560•soheilpro•11h ago•258 comments

Show HN: VectorNest responsive web-based SVG editor

https://ekrsulov.github.io/vectornest/
41•ekrsulov•3h ago•11 comments

Activeloop (YC S18) Is Hiring Back End Engineer (Go)

https://app.dover.com/apply/Activeloop/72d0b3a7-7e86-46a8-9aff-b430ffe0b97f
1•davidbuniat•28m ago

Warren Buffett dumps $1.7B of Amazon stock

https://finbold.com/warren-buffett-dumps-1-7-billion-of-amazon-stock/
43•fauria•42m ago•31 comments

Cistercian Numbers

https://www.omniglot.com/language/numbers/cistercian-numbers.htm
20•debo_•2h ago•2 comments

Terminals should generate the 256-color palette

https://gist.github.com/jake-stewart/0a8ea46159a7da2c808e5be2177e1783
392•tosh•12h ago•148 comments

Arizona Bill Requires Age Verification for All Apps

https://reclaimthenet.org/arizona-bill-would-require-id-checks-to-use-a-weather-app
47•bilsbie•59m ago•16 comments

The true history of the Minotaur: what archaeology reveals

https://www.nationalgeographic.fr/histoire/la-veritable-histoire-du-minotaure-ce-que-revele-arche...
9•joebig•2d ago•5 comments

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

https://github.com/Park07/amradio
33•anonymoosestdnt•3h ago•6 comments

Show HN: CEL by Example

https://celbyexample.com/
44•bufbuild•4h ago•18 comments

Native FreeBSD Kerberos/LDAP with FreeIPA/IDM

https://vermaden.wordpress.com/2026/02/18/native-freebsd-kerberos-ldap-with-freeipa-idm/
87•vermaden•8h ago•39 comments

AVX2 is slower than SSE2-4.x under Windows ARM emulation

https://blogs.remobjects.com/2026/02/17/nerdsniped-windows-arm-emulation-performance/
82•vintagedave•4h ago•72 comments

The only moat left is money?

https://elliotbonneville.com/the-only-moat-left-is-money/
111•elliotbnvl•2h ago•145 comments

Fastest Front End Tooling for Humans and AI

https://cpojer.net/posts/fastest-frontend-tooling
63•cpojer•6h ago•29 comments

Fei-Fei Li's World Labs raised $1B from A16Z, Nvidia to advance its world models

https://www.bloomberg.com/news/articles/2026-02-18/ai-pioneer-fei-fei-li-s-startup-world-labs-rai...
18•aanet•1h ago•5 comments

Show HN: I'm launching a LPFM radio station

https://www.kpbj.fm/
67•solomonb•22h ago•46 comments

Ask HN: Are there examples of 3D printing data onto physical surfaces?

30•catapart•4d ago•51 comments

Asahi Linux Progress Report: Linux 6.19

https://asahilinux.org/2026/02/progress-report-6-19/
316•mkurz•8h ago•110 comments

Windows: Prefer the Native API over Win32

https://codeberg.org/ziglang/zig/issues/31131
57•nikbackm•4d ago•42 comments

A DuckDB-based metabase alternative

https://github.com/taleshape-com/shaper
144•wowi42•12h ago•34 comments

The Future of AI Software Development

https://martinfowler.com/fragments/2026-02-18.html
135•nthypes•2h ago•87 comments

Microsoft says bug causes Copilot to summarize confidential emails

https://www.bleepingcomputer.com/news/microsoft/microsoft-says-bug-causes-copilot-to-summarize-co...
156•tablets•6h ago•48 comments

Chained Assignment in Python Bytecode

https://loriculus.org/blog/python-chained-assignment/
17•wenderen•4d ago•13 comments

15 years later, Microsoft morged my diagram

https://nvie.com/posts/15-years-later/
889•cheeaun•12h ago•326 comments

TinyIce: Single-binary Icecast2-compatible server (auto-HTTPS, multi-tenant)

https://github.com/DatanoiseTV/tinyice
94•sylwester•12h ago•23 comments

Instruction decoding in the Intel 8087 floating-point chip

https://www.righto.com/2026/02/8087-instruction-decoding.html
52•pwg•4d ago•14 comments