show
Show HN: Requirements Engineering with Formal Verification
26 pointsposted 2 days ago
by jayaprabhakarShow HN: Hover over your UI element to get its exact location in code
4 pointsposted 2 days ago
by LoereiShow HN: Arbor – code graph MCP server so agents stop grep-reading your codebase
3 pointsposted 2 days ago
by anandb71Show HN: Fluffy Sparrow – Frictionless, Fast, Note Taking App
2 pointsposted 2 days ago
by t_mahmoodShow HN: InterviewWatch – Detect AI Assistance During Live Technical Interviews
2 pointsposted 2 days ago
by bhuvanbk007Show HN: Freeport – a P2P ride-hailing marketplace I built on Nostr
67 pointsposted 2 days ago
by ptrinhShow HN: Inkwell – An RSS reader for e-ink devices
76 pointsposted 8 days ago
by imkendalShow HN: Maps for e-scooters (hills and battery routing)
2 pointsposted 2 days ago
by thepaulthomsonShow HN: Nicasa – A native macOS image viewer with AI tools, OCR, and annotation
3 pointsposted 2 days ago
by terryXyzShow HN: A statically typed, cross-platform, easily bootstrappable build system
46 pointsposted 10 days ago
by RochusShow HN: zkGolf – Competitive optimization of formally verified circuits
69 pointsposted 8 days ago
by rot256Show HN: Parchmint – a Markdown editor that shows what the AI actually reads
2 pointsposted 2 days ago
by mazheruShow HN: Mcpsnoop – Wireshark for MCP (transparent proxy and live TUI)
63 pointsposted 7 days ago
by kerlentonShow HN: Classify mechanical faults using Contrastive Language-Audio Pretraining
35 pointsposted 9 days ago
by dataviz1000Show HN: I built a budgeting app where the AI does the bookkeeping
2 pointsposted 19 hours ago
by wladradchenkoShow HN: I Built LangGraph for Swift
25 pointsposted 4 days ago
by christkaraniShow HN: Flow – a real-time network throughput dashboard for the terminal
2 pointsposted 19 hours ago
by programmersd