fp.

Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

https://github.com/schildep/verified-3d-mesh-intersection

12•permute•26m ago•2 comments

Show HN: tale.fyi, we deserve a home for fiction

https://tale.fyi/@sam/announcing-tale-fyi-read-or-listen-to-an-entire-book-from-a-single-link

6•samuelcole•17m ago•1 comments

Show HN: Ctrlb-decompose: Strip the noise from logs before sending to LLMs

https://github.com/ctrlb-hq/ctrlb-decompose

17•ruhani_grover•20m ago•1 comments

Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser

https://scalatutorials.com

20•eranation•3d ago•4 comments

Show HN: Cloudrift – CLI open-source that finds wated AWS spend

https://github.com/elleVas/cloudrift

2•elleVas•8m ago•0 comments

Show HN: Segue – Save context in one AI, load it in another by a short handle

https://segue.ai/

7•csaguiar•1h ago•1 comments

Show HN: Citation Safe – MCP server verifies legal citations vs. CourtListener

https://citationsafe.com/mcp

3•gabera090•17m ago•0 comments

Show HN: I left VSCode to build an IDE to handle many projects/agents workflow

https://github.com/silo-code/silo

5•davideweaver•1h ago•0 comments

Show HN: PBTune – Evolutionary auto-tuning for PostgreSQL (no ML required)

https://github.com/alshawai/PBTune

4•alshawai•23m ago•1 comments

Show HN: Dinjure – Bulls and Cows in one HTML file, with a fallible AI

https://dinjure.com/

2•Dinjure•23m ago•0 comments

Show HN: Cosmos47, a public chronological feed without algorithms

https://cosmos47.com/

2•boredyeti•33m ago•1 comments

Show HN: SpecShield – Contract testing and can-I-deploy gates for OpenAPI

https://specshield.io/

3•DeepakSatyam•34m ago•0 comments

Show HN: Hotcell – local sandboxes for AI agents

https://github.com/sinameraji/hotcell

2•sinameraji•1h ago•0 comments

Show HN: Yap – OSS on-device voice dictation for macOS with no model to download

https://github.com/FrigadeHQ/yap

87•pancomplex•18h ago•29 comments

Show HN: BeatFlow: Codex skill for composing music as editable multi-track MIDI

https://github.com/the0cp/beatflow-skill

3•vaergawdd•2h ago•0 comments

Show HN: How many people live within an hour walk of you?

https://blockatlas.com/tools/radius/walk

6•NameError•1h ago•0 comments

Show HN: Vivari – Open-Source WebContainer for Node, Bun, and Python

https://vivari.jamesisme.com

3•maitrungduc•1h ago•0 comments

Show HN: Open-source Cloudflare deployed agent native task management and wiki

https://tajd.github.io/projektor/

8•tajd•3h ago•0 comments

Show HN: The mentor setup I've run for months, now as a Claude Code plugin

https://github.com/hcsum/dont-let-me

2•sumtsui•1h ago•0 comments

Show HN: Zenly – Investment research platform built around a quality/value score

https://zenlyfinancial.com/

2•juliiii•1h ago•0 comments

Show HN: Fulltext search on PDFs and scanned images

https://github.com/Shadi/docs-search

2•_shadi•2h ago•0 comments

Show HN: Kiln – a fast, native batch image processor

https://kilnimage.app

4•the-hangry-dev•3h ago•1 comments

Show HN: FeyNoBg – Automatic background removal model and training library

https://usefeyn.com/blog/feynobg/

114•snyy•20h ago•28 comments

Show HN: Build an Avatar-Cursor Integration

https://lee-ai.com/

3•eschwalme•2h ago•1 comments

Show HN: We analyzed 18k flashcard reviews from our app's usage data

https://studycardsai.com/blog/we-analyzed-18000-flashcard-reviews

2•charliegroves•2h ago•0 comments

Show HN: BrowserAct: Browser Layer for Your AI Agent

https://github.com/browser-act/skills

4•aanthonymax•4h ago•0 comments

Show HN: Grassroots Football, Live

https://unleague.site/

2•kunalsin9h•2h ago•1 comments

Show HN: Pre-registered trading backtests – 27 kills, 2 passes, 0 funded

https://strategygraveyard.com

2•Strawburry•3h ago•0 comments

Show HN: DiscountHub – AI-assisted search for deals and promo codes

https://discounthub.uz/

4•MasterBek•3h ago•0 comments

Show HN: Dino Race – A peer-to-peer two-player Chrome Dino game

https://gameplayer2.com/dino

3•dares2573•5h ago•1 comments