show
Show HN: Formal Verification with Lean
3 pointsposted a day ago
by lowdanieShow HN: GETadb.com – every GET request creates a DB
39 pointsposted 5 days ago
by nezajShow HN: How Scaleway brought the first RISC-V servers to the cloud
5 pointsposted a day ago
by enthusaistShow HN: I mage GhosttyFX, a JavaFX terminal view that uses libghostty
3 pointsposted a day ago
by vlaaadShow HN: CADara – I made an open-source in-browser CAD
37 pointsposted 5 days ago
by ttouchShow HN: Agent-skills-eval – Test whether Agent Skills improve outputs
79 pointsposted 7 days ago
by darkrishabhShow HN: Create flashcards with Space CLI
22 pointsposted 4 days ago
by friebetillShow HN: All 55,256 Slides of the WAR.GOV/UFO Files Searchable and Linkable
16 pointsposted 3 days ago
by keepamovinShow HN: A geocities inspired place for your vibed tools
7 pointsposted 2 days ago
by shanselmanShow HN: Java/Spring Boot Idempotency Library
3 pointsposted 2 days ago
by anaq42Show HN: I built a fair-price checker App for home repairs using BLS wage data
4 pointsposted 2 days ago
by manojtrekShow HN: I built an open-source email builder, alternative to Beefree/Unlayer
168 pointsposted 7 days ago
by oahmadovShow HN: Apple's SHARP running in the browser via ONNX runtime web
184 pointsposted 11 days ago
by bring-shrubberyShow HN: Chuchu, an Android SSH client built on libghostty
13 pointsposted 4 days ago
by jossephus01Show HN: Free tool to mark points and polygon regions
21 pointsposted 7 days ago
by magikMakerShow HN: Tessera – Turn coding agent sessions into structured work
4 pointsposted 2 days ago
by horanglabsShow HN: PHP-fts – Full-text search engine in pure PHP, no extensions
89 pointsposted 7 days ago
by asmodiosShow HN: I trained a chess engine to play like humans
14 pointsposted 3 days ago
by hazardShow HN: Stage CLI – An easier way of reading your AI generated changes locally
46 pointsposted 6 days ago
by cpan22Show HN: NodeDB – High Perfomance Multi-Model Database
4 pointsposted 2 days ago
by fs90Show HN: Modafinil - Let agents continue running while MacBook lid is closed
15 pointsposted 4 days ago
by hamza_q_Show HN: Outpainting Avatar: The Last Airbender from 4:3 to 16:9
2 pointsposted 21 hours ago
by markjgxShow HN: It's like Fiverr but for AI agents – Platform and Open-source kit
7 pointsposted 2 days ago
by degutemesgenShow HN: n8n like workflows for AI agents that control a real VM
6 pointsposted 2 days ago
by aadyachinubhaiShow HN: I've implemented multi-repo workspace support in Agent of Empires
6 pointsposted 2 days ago
by seluj78Show HN: Explore color palettes inspired by 3000 master painter artworks
214 pointsposted 8 days ago
by ouliShow HN: Rapunzel – a tree-style tab terminal emulator for Codex Claude Gemini
4 pointsposted 2 days ago
by WasimBhai