| 1. | | Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com/schildep) |
| 75 points by permute 3 hours ago | 33 comments |
|
| 2. | | Show HN: XY – Fast, composable, GPU-accelerated charts, written in Rust (github.com/reflex-dev) |
| 16 points by apetuskey 27 minutes ago | 1 comment |
|
| 3. | | Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser (scalatutorials.com) |
| 59 points by eranation 4 hours ago | 20 comments |
|
| 4. | | Show HN: Flashpaper – Self-destructing secret sharing with no database (flashpaper.app) |
| 4 points by minpym 46 minutes ago | 2 comments |
|
| 5. | | Show HN: Ctrlb-decompose: Strip the noise from logs before sending to LLMs (github.com/ctrlb-hq) |
| 46 points by ruhani_grover 3 hours ago | 6 comments |
|
| 6. | | Show HN: tale.fyi, we deserve a home for fiction (tale.fyi) |
| 66 points by samuelcole 3 hours ago | 45 comments |
|
| 7. | | Show HN: Segue – Save context in one AI, load it in another by a short handle (segue.ai) |
| 21 points by csaguiar 3 hours ago | 14 comments |
|
| 8. | | Show HN: Is your Odyssey screening cropped? A tool to check your theater format (niamey-seven.vercel.app) |
| 3 points by theanswa 33 minutes ago | discuss |
|
| 9. | | Show HN: Open-source, Long-horizon cite-able memory for multi-agent systems (github.com/vortx-ai) |
| 3 points by avijeetsingh16 35 minutes ago | discuss |
|
| 10. | | Show HN: Nutaan – AI-powered voice calling assistant and live chat widget (nutaan.com) |
| 2 points by nutaan 40 minutes ago | 1 comment |
|
| 11. | | Show HN: Base-GPUI: A GPUI port of Base UI headless components (github.com/luketandjung) |
| 4 points by autodidacc 2 hours ago | discuss |
|
| 12. | | Show HN: BrowserAct: Browser Layer for Your AI Agent (github.com/browser-act) |
| 10 points by aanthonymax 7 hours ago | 2 comments |
|
| 13. | | Show HN: Tines 3B – safe workflow automation for when everyone builds software (tines.com) |
| 21 points by retsol 1 hour ago | 2 comments |
|
| 14. | | Show HN: Yap – OSS on-device voice dictation for macOS with no model to download (github.com/frigadehq) |
| 90 points by pancomplex 15 hours ago | 33 comments |
|
| 15. | | Show HN: Open-source Cloudflare deployed agent native task management and wiki (tajd.github.io) |
| 11 points by tajd 5 hours ago | discuss |
|
| 16. | | Show HN: Cloudrift – CLI open-source that finds wated AWS spend (github.com/ellevas) |
| 4 points by elleVas 2 hours ago | 1 comment |
|
| 17. | | Show HN: Citation Safe – MCP server verifies legal citations vs. CourtListener (citationsafe.com) |
| 3 points by gabera090 3 hours ago | discuss |
|
| 18. | | Show HN: PBTune – Evolutionary auto-tuning for PostgreSQL (no ML required) (github.com/alshawai) |
| 4 points by alshawai 3 hours ago | 2 comments |
|
| 19. | | Show HN: Dinjure – Bulls and Cows in one HTML file, with a fallible AI (dinjure.com) |
| 2 points by Dinjure 3 hours ago | discuss |
|
| 20. | | Show HN: FeyNoBg – Automatic background removal model and training library (usefeyn.com) |
| 117 points by snyy 23 hours ago | 28 comments |
|
| 21. | | Show HN: Kiln – a fast, native batch image processor (kilnimage.app) |
| 7 points by the-hangry-dev 6 hours ago | 1 comment |
|
| 22. | | Show HN: Cosmos47, a public chronological feed without algorithms (cosmos47.com) |
| 2 points by boredyeti 3 hours ago | 2 comments |
|
| 23. | | Show HN: SpecShield – Contract testing and can-I-deploy gates for OpenAPI (specshield.io) |
| 3 points by DeepakSatyam 3 hours ago | discuss |
|
| 24. | | Show HN: Dn – plan collaboratively, let agents execute (github.com/chesapeakedev) |
| 3 points by moochmooch 3 hours ago | discuss |
|
| 25. | | Show HN: Banksia – Build and run adaptable, accountable AI teams (github.com/ringlochid) |
| 2 points by ringlochid 3 hours ago | discuss |
|
| 26. | | Show HN: Self-hosted analytics that sends signups and sales to your Telegram (github.com/tgram-analytics) |
| 2 points by leorigna 3 hours ago | discuss |
|
| 27. | | Show HN: The Rise of Open Weights – a long scroll story (scottlogic.com) |
| 2 points by ColinEberhardt 3 hours ago | discuss |
|
| 28. | | Show HN: Hotcell – local sandboxes for AI agents (github.com/sinameraji) |
| 2 points by sinameraji 4 hours ago | 3 comments |
|
| 29. | | Show HN: How many people live within an hour walk of you? (blockatlas.com) |
| 8 points by NameError 4 hours ago | 6 comments |
|
| 30. | | Show HN: Trylle – The Next-Gen Git Platform for Modern Teams (trylle.com) |
| 21 points by Xlab 16 hours ago | 12 comments |
|
|
| More |
