fp.

Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed

https://github.com/schildep/verified-polygon-intersection

73•permute•1d ago•14 comments

Show HN: ABC Classic 100 Rankings visualised

https://classic100.gotski.workers.dev/

28•gotski•7h ago•17 comments

Show HN: Lowfat – pluggable CLI filter that saved 91.8% of my LLM tokens

https://github.com/zdk/lowfat

128•zdkaster•23h ago•65 comments

Show HN: On-device transcriber that's 97% accurate at identifying speakers

https://mimicscribe.app/

18•marshalla•15h ago•5 comments

Show HN: Nanocode-CLI – A lightweight terminal-based AI coding assistant

https://github.com/hit9/nanocode

3•hit9•4h ago•0 comments

Show HN: Omni – Local-first multimodal file search on macOS

https://hanxiao.io/omni/

5•artex_xh•9h ago•1 comments

Show HN: NEP – Ethereum JSON-RPC transform that beats ZSTD by 12%

https://github.com/Louw115/nep-ethereum-compression

3•LBWasserman•6h ago•1 comments

Show HN: Edsger – A handwritten Clojure REPL for the reMarkable 2

https://handwritten.danieljanus.pl/2026-06-01-edsger.html

258•nathell•3d ago•34 comments

Show HN: Mercek – A Desktop IDE for AWS ECS

https://www.mercek.dev/

61•utibeumanah•1d ago•29 comments

Show HN: Documenting an Obscure Japanese Wii Game – and-Kensaku

https://github.com/TylerJaacks/AndKensakuResearch

2•TylerJaacks•8h ago•1 comments

Show HN: Prela – Purely Algebraic Relation Combinators

https://github.com/remysucre/prela

70•remywang•4d ago•13 comments

Show HN: I reverse-engineered the world maps of Test Drive III (1990 DOS game)

https://github.com/s-macke/Test-Drive-3-Maps

215•s-macke•5d ago•56 comments

Show HN: Uruky (EU-based Kagi alternative) now has Image Search and URL Rewrites

https://uruky.com/?il=en

232•BrunoBernardino•2d ago•221 comments

Show HN: Local-first fast CPU image to text for screenshots, PDFs, webpages

https://github.com/kouhxp/textsnap

14•mrkn1•21h ago•17 comments

Show HN: Eyeball

https://eyeball.rory.codes/

291•mrroryflint•3d ago•88 comments

Show HN: Altersend – File sharing without cloud

https://github.com/denislupookov/altersend

13•denisdev1•1d ago•6 comments

Show HN: OWASP VulnerableApp Modern Extensible and Scalable vulnerable app

https://github.com/SasanLabs/VulnerableApp

5•newaccount12344•12h ago•1 comments

Show HN: I rebuilt a tiny old volleyball game I loved

https://volleyhop.com/

4•cebceb•12h ago•4 comments

Show HN: Cost.dev (YC W21) – making agents cost-aware and cheaper to call

https://cost.dev/

35•akh•1d ago•22 comments

Show HN: Bash Runtime for AWS Lambda

https://github.com/interchecks/bash-lambda-runtime

2•tw1gz•13h ago•0 comments

Show HN: Hitoku Draft – Context aware local assistant

https://hitoku.me/draft/

20•lostathome•1d ago•6 comments

Show HN: Nutrepedia – Nutrition info in 29 locales built with Clojure and Htmx

https://nutrepedia.com/en-us/

134•llovan•2d ago•29 comments

Show HN: NoiR Code – because QR sounds similar to "noir"

https://noir-code.suncake.xyz/

12•Sunkek•2d ago•5 comments

Show HN: SupXML, modern memory-safe XML parser replacement for libxml2

https://supso.org/projects/sup-xml/docs

2•jrpt•14h ago•0 comments

Show HN: Boxes.dev: ditch localhost; run Claude Code and Codex in the cloud

https://boxes.dev

100•nab•1d ago•74 comments

Show HN: Mnemo – local-first AI memory layer for any LLM (Rust, SQLite,petgraph)

https://github.com/zaydmulani09/mnemo

59•zaydmulani•2d ago•26 comments

Show HN: Papernews – self-hosted daily newspaper PDF for your reMarkable

https://github.com/marcj/papernews

11•bourbonproof•1d ago•4 comments

Show HN: Live breath detection and biofeedback from a phone microphone

https://github.com/shiihaa-app/shiihaa-breath-detection

66•felixzeller•3d ago•26 comments

Show HN: A Simplistic UI for Rich Hickey's Design in Practice

https://github.com/bmillare/design_in_practice_ui

4•bmillare•16h ago•1 comments

Show HN: Concord – Discord in Terminal

https://github.com/chojs23/concord

7•n3ozz•1d ago•2 comments