| 1. | | Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean (github.com/skorotkiewicz) |
| 10 points by modinfo 12 hours ago | discuss |
|
| 2. | | Show HN: Tura – Build agent that uses 80% less token and delivers better results (github.com/tura-ai) |
| 5 points by turaainet 6 hours ago | discuss |
|
| 3. | | Show HN: OpsCart – Read-only Kubernetes triage with incident history (github.com/opscart) |
| 2 points by opscart 4 hours ago | discuss |
|
| 4. | | Show HN: Aidress – LangChain integration for cross-agent discovery and trust (langchain.com) |
| 2 points by mehulv24 5 hours ago | discuss |
|
| 5. | | Show HN: Try Benzi – A coding harness/agent beating Claude Code itself on Sonnet (benzi.fly.dev) |
| 7 points by showhz 7 hours ago | 1 comment |
|
| 6. | | Show HN: textlog – A quiet, text-only microblogging platform, open-source, no JS (textlog.cc) |
| 195 points by stagas 1 day ago | 74 comments |
|
| 7. | | Show HN: Wyzer Programming Language (github.com/wyzer-lang) |
| 215 points by v0id_isgood 1 day ago | 113 comments |
|
| 8. | | Show HN: Defcon and HN, the only two audiences I might find |
| 4 points by ycombiredd 7 hours ago | 2 comments |
|
| 9. | | Show HN: Faaah – Filesystem as an AI Handler (github.com/sebastiancarlos) |
| 2 points by httbs 7 hours ago | discuss |
|
| 10. | | Show HN: VD – TUI Password Manager and OTP Authenticator for Unix (github.com/ahmedhosssam) |
| 3 points by ahmedhosssam 7 hours ago | discuss |
|
| 11. | | Show HN: iPhone app takes simultaneous images from 2 lenses, fuses into 1 photo (photosynthesis.camera) |
| 5 points by sajomes 7 hours ago | 1 comment |
|
| 12. | | Show HN: Sign language translation with smart glasses (github.com/aadisang) |
| 25 points by aadisang 21 hours ago | 13 comments |
|
| 13. | | Show HN: Turn tweets into beautiful, shareable photos (tweet.download) |
| 3 points by azeemkafridi 8 hours ago | discuss |
|
| 14. | | Show HN: ExpertCache – Run the Full GPT-OSS 120B (63GB) on a 16GB M1 Pro (github.com/amos-labs) |
| 2 points by rick_barkley 8 hours ago | discuss |
|
| 15. | | Show HN: Inertia – Not your Grandfathers animation editor (inertiagraphics.com) |
| 3 points by hpen 8 hours ago | discuss |
|
| 16. | | Show HN: Happy 808 Day (raygum.com) |
| 3 points by stuartmemo 11 hours ago | discuss |
|
| 17. | | Show HN: Clippy for macOS – retro floating paperclip with computer use (github.com/ar9av) |
| 8 points by noobcoder 12 hours ago | 1 comment |
|
| 18. | | Show HN: A Discord bot running in a 4MiB microVM (github.com/ianseyler) |
| 3 points by ianseyler 12 hours ago | discuss |
|
| 19. | | Show HN: 49IDE – 2D Grid IDE for managing many agents, Git trees, issues (github.com/alpbahadur) |
| 8 points by alpbahadur 13 hours ago | 1 comment |
|
| 20. | | Show HN: Simple algorithm and color space to generate diverse skin tones (toneyalexander.github.io) |
| 623 points by automatoney 4 days ago | 99 comments |
|
| 21. | | Show HN: CrossPlay - Games, puzzles and tools for your e-reader (ma-r-s.com) |
| 13 points by ma-r-s 1 day ago | discuss |
|
| 22. | | Show HN: The Channels SDK – Bring Any Agent to Any Channel (Slack, MS Teams) (github.com/copilotkit) |
| 118 points by davidmckayv 2 days ago | 24 comments |
|
| 23. | | Show HN: Pokémon Emerald Ported to Raspberry Pi Pico 2 (github.com/mattdeeds) |
| 55 points by mdeeds 2 days ago | 28 comments |
|
| 24. | | Show HN: A free DOCX editor with MCP server for editing (revise.io) |
| 13 points by artursapek 17 hours ago | 3 comments |
|
| 25. | | Show HN: A terminal glued to the macOS dock (github.com/palamim) |
| 51 points by leopalamim 2 days ago | 15 comments |
|
| 26. | | Show HN: Compactdiff – see what compaction dropped from an agent session (github.com/mkmkkkkk) |
| 5 points by mileskoldin 19 hours ago | 1 comment |
|
| 27. | | Show HN: Elevators (john.fun) |
| 1676 points by Jrh0203 8 days ago | 414 comments |
|
| 28. | | Show HN: Rotating torus in terminal (but with kitty graphics protocol) (andreadimatteo.com) |
| 23 points by deotman 19 hours ago | 4 comments |
|
| 29. | | Show HN: Presse – a Rust CLI tool to compress and merge PDFs (github.com/simonbure) |
| 3 points by saientifik 19 hours ago | discuss |
|
| 30. | | Show HN: A free mini game that makes you a smarter fly fisherperson (read-the-water.netlify.app) |
| 23 points by mpc75 2 days ago | 10 comments |
|
|
| More |
