Hacker News / Show HN

Show | Hacker News Hacker News new | past | comments | ask | show | jobs | submit login Please read the Show HN rules and tips before posting. You can browse the newest Show HNs here . 1. Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code ( github.com/schildep ) 37 points by permute 1 hour ago | 14 comments 2. Show HN: tale.fyi, we deserve a home for fiction ( tale.fyi ) 28 points by samuelcole 52 minutes ago | 8 comments 3. Show HN: Ctrlb-decompose: Strip the noise from logs before sending to LLMs ( github.com/ctrlb-hq ) 26 points by ruhani_grover 55 minutes ago | 3 comments 4. Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser ( scalatutorials.com ) 29 points by eranation 2 hours ago | 4 comments 5. Show HN: Segue – Save context in one AI, load it in another by a short handle ( segue.ai ) 8 points by csaguiar 1 hour ago | 6 comments 6. Show HN: Cloudrift – CLI open-source that finds wated AWS spend ( github.com/ellevas ) 3 points by elleVas 44 minutes ago | 1 comment 7. Show HN: Citation Safe – MCP server verifies legal citations vs. CourtListener ( citationsafe.com ) 3 points by gabera090 52 minutes ago | discuss 8. Show HN: PBTune – Evolutionary auto-tuning for PostgreSQL (no ML required) ( github.com/alshawai ) 4 points by alshawai 58 minutes ago | 1 comment 9. Show HN: Dinjure – Bulls and Cows in one HTML file, with a fallible AI ( dinjure.com ) 2 points by Dinjure 58 minutes ago | discuss 10. Show HN: Cosmos47, a public chronological feed without algorithms ( cosmos47.com ) 2 points by boredyeti 1 hour ago | 2 comments 11. Show HN: SpecShield – Contract testing and can-I-deploy gates for OpenAPI ( specshield.io ) 3 points by DeepakSatyam 1 hour ago | discuss 12. Show HN: Yap – OSS on-device voice dictation for macOS with no model to download ( github.com/frigadehq ) 88 points by pancomplex 13 hours ago | 30 comments 13. Show HN: BeatFlow: Codex skill for composing music as editable multi-track MIDI ( github.com/the0cp ) 4 points by vaergawdd 3 hours ago | discuss 14. Show HN: Hotcell – local sandboxes for AI agents ( github.com/sinameraji ) 2 points by sinameraji 1 hour ago | 1 comment 15. Show HN: How many people live within an hour walk of you? ( blockatlas.com ) 6 points by NameError 2 hours ago | 1 comment 16. Show HN: Open-source Cloudflare deployed agent native task management and wiki ( tajd.github.io ) 8 points by tajd 3 hours ago | discuss 17. Show HN: BrowserAct: Browser Layer for Your AI Agent ( github.com/browser-act ) 5 points by aanthonymax 5 hours ago | discuss 18. Show HN: The mentor setup I've run for months, now as a Claude Code plugin ( github.com/hcsum ) 2 points by sumtsui 2 hours ago | discuss 19. Show HN: Zenly – Investment research platform built around a quality/value score ( zenlyfinancial.com ) 2 points by juliiii 2 hours ago | 1 comment 20. Show HN: Kiln – a fast, native batch image processor ( kilnimage.app ) 4 points by the-hangry-dev 4 hours ago | 1 comment 21. Show HN: FeyNoBg – Automatic background removal model and training library ( usefeyn.com ) 114 points by snyy 21 hours ago | 28 comments 22. Show HN: Fulltext search on PDFs and scanned images ( github.com/shadi ) 2 points by _shadi 2 hours ago | discuss 23. Show HN: Build an Avatar-Cursor Integration ( lee-ai.com ) 3 points by eschwalme 3 hours ago | 1 comment 24. Show HN: We analyzed 18k flashcard reviews from our app's usage data ( studycardsai.com ) 2 points by charliegroves 3 hours ago | discuss 25. Show HN: Grassroots Football, Live ( unleague.site ) 2 points by kunalsin9h 3 hours ago | 1 comment 26. Show HN: Pre-registered trading backtests – 27 kills, 2 passes, 0 funded ( strategygraveyard.com ) 2 points by Strawburry 3 hours ago | discuss 27. Show HN: Trylle – The Next-Gen Git Platform for Modern Teams ( trylle.com ) 17 points by Xlab 14 hours ago | 10 comments 28. Show HN: Dino Race – A peer-to-peer two-player Chrome Dino game ( gameplayer2.com ) 3 points by dares2573 6 hours ago | 1 comment 29. Show HN: DiscountHub – AI-assisted search for deals and promo codes ( discounthub.uz ) 4 points by MasterBek 4 hours ago | discuss 30. Show HN: APIs as First-Class Citizen 2 points by battery8318 4 hours ago | 1 comment More Consider applying for YC's Fall 2026 batch! Applications are open till July 27. Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: