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:
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: XY – Fast, composable, GPU-accelerated Python charting library ( github.com/reflex-dev ) 34 points by apetuskey 1 hour ago | 13 comments 2. Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code ( github.com/schildep ) 83 points by permute 3 hours ago | 36 comments 3. Show HN: Flashpaper – Self-destructing secret sharing with no database ( flashpaper.app ) 7 points by minpym 1 hour ago | 2 comments 4. Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser ( scalatutorials.com ) 61 points by eranation 5 hours ago | 25 comments 5. Show HN: Cynative – Read-only CLI in Go that explains your live infrastructure ( github.com/cynative ) 3 points by szin 15 minutes ago | 1 comment 6. Show HN: tale.fyi, we deserve a home for fiction ( tale.fyi ) 67 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 4 hours ago | 17 comments 8. Show HN: Base-GPUI: A GPUI port of Base UI headless components ( github.com/luketandjung ) 5 points by autodidacc 3 hours ago | discuss 9. Show HN: Is your Odyssey screening cropped? A tool to check your theater format ( niamey-seven.vercel.app ) 3 points by theanswa 1 hour ago | discuss 10. Show HN: Open-source, Long-horizon cite-able memory for multi-agent systems ( github.com/vortx-ai ) 3 points by avijeetsingh16 1 hour ago | discuss 11. Show HN: Nutaan – AI-powered voice calling assistant and live chat widget ( nutaan.com ) 2 points by nutaan 1 hour ago | 1 comment 12. Show HN: Tines 3B – safe workflow automation for when everyone builds software ( tines.com ) 22 points by retsol 2 hours ago | 2 comments 13. Show HN: News headline inside coding agent ( github.com/dannylee1020 ) 2 points by dannylee1020 1 hour ago | discuss 14. Show HN: Ctrlb-decompose: Strip the noise from logs before sending to LLMs ( github.com/ctrlb-hq ) 47 points by ruhani_grover 3 hours ago | 6 comments 15. Show HN: A terminal editor that can discuss with OpenCode and Pi ( sollawen.github.io ) 2 points by sollawen 1 hour ago | discuss 16. Show HN: PidgeIoT – open-source IoT/Embedded device management for all (free*) ( pidgeiot.com ) 3 points by Voxorin 1 hour ago | 1 comment 17. Show HN: Injex – tiny typed DI for Python validates the graph before startup ( github.com/vshulcz ) 2 points by vshulcz 1 hour ago | discuss 18. Show HN: Higgs, a local AI CLI for Proton Mail (no cloud, no telemetry) ( github.com/higgscli ) 2 points by cyberflux 1 hour ago | discuss 19. Show HN: Repo Autopsy – Transparent heuristics for repository install friction ( zdfb20650.workers.dev ) 2 points by echoscarrie 1 hour ago | discuss 20. Show HN: Permanym – for hiring teams overwhelmed by AI resume spam ( permanym.com ) 2 points by romanhn 1 hour ago | 1 comment 21. Show HN: Npx redential scan – evidence of your NDA work, nothing uploaded ( github.com/redential ) 2 points by Jperalbelmont 1 hour ago | discuss 22. Show HN: Cloudrift – CLI open-source that finds wated AWS spend ( github.com/ellevas ) 5 points by elleVas 3 hours ago | 1 comment 23. Show HN: Yap – OSS on-device voice dictation for macOS with no model to download ( github.com/frigadehq ) 90 points by pancomplex 16 hours ago | 34 comments 24. Show HN: BrowserAct: Browser Layer for Your AI Agent ( github.com/browser-act ) 10 points by aanthonymax 7 hours ago | 2 comments 25. Show HN: JusTTY – a minimal native macOS terminal powered by libghostty ( github.com/0x96f ) 2 points by 0x96f 2 hours ago | discuss 26. Show HN: The Posting Substack API ( apisubstack.com ) 2 points by bigmuzzy 2 hours ago | discuss 27. Show HN: Country Draw – draw country borders from memory ( countrydraw.net ) 2 points by alanzhan 2 hours ago | discuss 28. Show HN: Git log for your infrastructure (including your AI agent's config) ( github.com/statedrift ) 3 points by ibukunolu 2 hours ago | discuss 29. Show HN: Comber explores your app once, then replays QA checks deterministically ( codecomber.io ) 2 points by RADLAB 2 hours ago | discuss 30. Show HN: Haserupt – A different take on reducing phone usage ( haserupt.com ) 3 points by vishalds 2 hours ago | discuss More Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search:
~3517 characters changed