Hacker News

Hacker News

Newest Ask HN Show HN Submit
Show HN: Zwitch macOS App Switcher (free) (apps.apple.com)
1 points by frnk-km •                         
Show HN: LeanCIL – Prove properties of compiled .NET code in Lean 4 (github.com)
1 points by rescendent •                         
Show HN: Prolog-WAF – A reverse WAF logic perimeter powered by Prolog (prologwaf.site)
1 points by lokinpendawa •                         
Show HN: Anime Text Datasets for LLMs Training (github.com)
4 points by anitroves • 2 comments •                         
Show HN: Stackapella, an open source web app for learning vocal harmony (stackapella.com)
1 points by hillelcoren •                         
Show HN: Reduce: A Daily Puzzle (reduce.games)
4 points by moonshot5 • 6 comments •                         
Show HN: Post-quantum signatureless authorization with recursive verification (zenodo.org)
3 points by notsatoshinotsa •                         
Show HN: Wayther – iOS weather app for road trips (wayther.alpennec.com)
2 points by alpennec •                         
Show HN: Send21 – Crypto pay links an AI agent can create but can't spend (send21.io)
1 points by send21io •                         
Show HN: Cursedy (ricobeck.de)
2 points by ricobecks •                         
Show HN: AI agents trade privately on BitcoinZ, with proof of delivery (github.com)
2 points by ztextzksnarks •                         
Show HN: zpq 0.5.0 – A zero-dependency Parquet engine in Zig (github.com)
3 points by chicagobuss •                         
Show HN: I don't understand why invoicing apps cost $10/month (invoicingpro.org)
3 points by rohitoc •                         
Show HN: Ghostman – A fast, keyboard-driven TUI API client and webhook inspector (github.com)
67 points by 4yk5 • 40 comments •                         
Show HN: I rebuilt my about page with stats from GitHub, WakaTime and Goodreads (yedhu.me)
3 points by yedhukrishnan •                         
Show HN: Stochastic Lagrangian Control and Proportional Bias Routing for Moe (github.com)
3 points by Morksugga •                         
Show HN: HiveOS – Multi-agent enterprise OS with PII pills and 3-model consensus (gethiveos.com)
1 points by logic42 •                         
Show HN: Greenpos A cross platfrom modren pos system (getgreenpos.vercel.app)
1 points by 12errh •                         
Show HN: Arsaze – Cursor for video editing (Tab-complete and agent edits) (www.arsaze.com)
60 points by ArshadAzeezM •                         
Show HN: Korea-data-MCP – Korean public APIs that agents can't misread (github.com)
1 points by youngtip • 1 comment •