news newest ask show jobs

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

17•anonymoosestdnt•2h ago

Comments

jetrink•10m 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

Show HN: VectorNest responsive web-based SVG editor

https://ekrsulov.github.io/vectornest/

30•ekrsulov•1h ago•9 comments

Show HN: CEL by Example

https://celbyexample.com/

37•bufbuild•3h ago•12 comments

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

https://github.com/Park07/amradio

17•anonymoosestdnt•2h ago•1 comments

Show HN: Trust Protocols for Anthropic/OpenAI/Gemini

https://www.mnemom.ai

3•alexgarden•56m ago•2 comments

Show HN: I replaced Grafana+Prometheus with a Go binary and SSH for my VPSs

https://github.com/thobiasn/tori-cli

3•thobiasn•19m ago•0 comments

Show HN: I'm launching a LPFM radio station

https://www.kpbj.fm/

60•solomonb•21h ago•44 comments

Show HN: AsteroidOS 2.0 – Nobody asked, we shipped anyway

https://asteroidos.org/news/2-0-release/index.html

438•moWerk•22h ago•61 comments

Show HN: Nom – Turn GitHub activity into updates

https://beta.nomit.dev

2•Lws803•44m ago•0 comments

Show HN: LockFS

https://github.com/ghost-in-a-jar-00/LockFS

2•0xGhostInAJar•47m ago•1 comments

Show HN: The Answering Machine – A screenless AI phone for kids with questions

https://tdaltonc.github.io/the-answering-machine/

7•tdaltonc•50m ago•6 comments

Show HN: Open Notes – Community Notes-style context for Discord

https://opennotes.ai/discord-bot

18•anateus•4d ago•4 comments

Show HN: Breadboard – A modern HyperCard for building web apps on the canvas

https://breadboards.io/

67•simquat•1d ago•7 comments

Show HN: Bubble sort on a Turing machine

https://github.com/purplejacket/bubble_sort_on_tm

11•purplejacket•4d ago•2 comments

Show HN: TUI open-source Python tool for network discovery and port auditing

https://github.com/mennylevinski/network_scanner

2•mennylevinski•2h ago•0 comments

Show HN: Opaal Visual multi-agent prompt designer for Claude Code and agentic AI

https://github.com/Agravak/opaal

2•Kinanhamwi•2h ago•0 comments

Show HN: PolyMCP – MCP Tools, Autonomous Agents, and Orchestration

2•justvugg•2h ago•0 comments

Show HN: X402 Agent Starter Kit: AI agents that pay for their own APIs

https://gitlab.com/artificial-lab/x402-agent-starter

3•peiyaooo•2h ago•0 comments

Show HN: Codex skills as RE playbooks: unpacking and IOC extraction

https://www.joshuamckiddy.com/blog/ai-skills

4•dozercat•2h ago•1 comments

Show HN: Clawy, a companion device to track your Claude Code sessions

https://clawy.lol/

5•mrcv•3h ago•0 comments

Show HN: SentinelGate – Universal Firewall for AI Agents (Open Source, Go)

https://github.com/Sentinel-Gate/Sentinelgate

2•Sentinel-gate•3h ago•1 comments

Show HN: Pg-typesafe – Strongly typed queries for PostgreSQL and TypeScript

https://github.com/n-e/pg-typesafe

64•n_e•23h ago•31 comments

Show HN: I Made a Programming Language with Python Syntax, zero-copy and C-Speed

https://github.com/CrimsonDemon567PC/Mantis

6•CrimsonDemon567•7h ago•6 comments

Show HN: Owoa – Image watermarking resistant to camera capture

https://owoa.app

3•wodoshio•3h ago•0 comments

Show HN: I taught LLMs to play Magic: The Gathering against each other

https://mage-bench.com/

110•GregorStocks•1d ago•79 comments

Show HN: Nedagram – Transfer Text Over Sound, when internet isn't available

https://nedagram.com/

3•shayanbahal•3h ago•3 comments

Show HN: I built a "Socratic" AI to stop my daughter from copy-pasting homework

https://thinkqurio.com/

23•qurio_dev•2d ago•22 comments

Show HN: Refine.tools – 10 client-side career tools (Next.js, no DB)

https://www.refine.tools/

2•HarakiriGod•4h ago•3 comments

Show HN: SunnyFlight – Find cheap weekend flights to sunny destinations

https://sunnyflight.com/

2•coderai•4h ago•1 comments

Show HN: ReARM – Release-Level Supply Chain Evidence Platform

https://rearmhq.com/

3•taleodor•4h ago•0 comments

Show HN: I wrote a technical history book on Lisp

https://berksoft.ca/gol/

233•cdegroot•1d ago•87 comments