Show HN: I made an Animal Crossing style letter editor (acmail.idreesinc.com)

100 points by IdreesInc 3d ago 13 comments

Show HN: Sourcerer – MCP for semantic code search that reduces token waste (github.com)

2 points by st3v3nmw 2h ago 0 comments

Show HN: Hacker News em dash user leaderboard pre-ChatGPT (gally.net)

198 points by tkgally 12h ago 179 comments

Show HN: OpenAnimation – KMP app for exploring and editing Lottie animations (github.com)

12 points by orispok 2h ago 3 comments

Show HN: Clone of a Macintosh-Like Computer with a Built-In Basic Interpreter (reprobate.site)

3 points by delduca 2h ago 0 comments

Show HN: Sosumi.ai – Convert Apple Developer docs to AI-readable Markdown (sosumi.ai)

120 points by _mattt 1d ago 64 comments

Show HN: Datacmd – Terminal-native dashboards from CSV/API in one command (github.com)

4 points by vinserello 7h ago 2 comments

Show HN: Find Hidden Gems on HN (pj4533.com)

108 points by pj4533 1d ago 18 comments

Show HN: Discover Fast-Growing Websites Before They Go Mainstream (websitegrowthtracker.com)

3 points by monojason 5h ago 2 comments

Show HN: Warrify – Stop losing money on expired warranties

2 points by akash-bilung 6h ago 1 comments

Show HN: Renamify – Case-aware search and replace for AI agents (docspring.github.io)

2 points by nathan_f77 7h ago 0 comments

Show HN: Auto-Match – How We Built Receipt-to-Transaction Matching (Open Source) (midday.ai)

37 points by pontusabra 3d ago 7 comments

Show HN: A minimal TS library that generates prompt injection attacks (prompt-injector.blueprintlab.io)

32 points by yaoke259 1d ago 14 comments

Show HN: Magic links – Get video and dev logs without installing anything

16 points by irtefa 3d ago 6 comments

Show HN: Octarine – a fast, lightweight, opinionated Markdown notes app (octarine.app)

35 points by rajatkulk 1d ago 13 comments

Show HN: Conversational Companion with realistic mood state machine (dmwithme.com)

3 points by 0xlogk 10h ago 0 comments

Show HN: Meetup.com and eventribe alternative to small groups (github.com)

114 points by orbanlevi 2d ago 62 comments

Show HN: An open source implementation of OpenStreetMap in Electron (github.com)

7 points by DavidCanHelp 19h ago 0 comments

Show HN: SwiftAI – open-source library to easily build LLM features on iOS/macOS (github.com)

72 points by mi12-root 2d ago 19 comments

Show HN: PageIndex – Vectorless RAG (github.com)

191 points by page_index 3d ago 125 comments

Show HN: AI Conway's Game of Life (benlirio.com)

2 points by blirio 12h ago 0 comments

Show HN: Emergency SOS App (play.google.com)

2 points by Codegres 13h ago 0 comments

Show HN: Modern UI Composition, Right Inside Django (gist.github.com)

2 points by -ertgl 13h ago 0 comments

Show HN: OAuth for AI Agents (github.com)

7 points by lexokoh 1d ago 0 comments

Show HN: Envoy – Command Logger (github.com)

11 points by heyviv 3d ago 12 comments

Show HN: Yoink AI – macOS AI app that edits directly in any textfield of any app (useyoink.ai)

22 points by byintes 2d ago 8 comments

Show HN: A collection of generic header only data structures written in C (github.com)

3 points by tonysoprano 15h ago 0 comments

Show HN: Docustore – Vectorized Technical Documentations (github.com)

8 points by PAndreew 1d ago 0 comments

Show HN: I integrated my from-scratch TCP/IP stack into the xv6-riscv OS (github.com)

144 points by pandax381 4d ago 12 comments

Show HN: A zoomable, searchable archive of BYTE magazine (byte.tsundoku.io)

416 points by chromy 4d ago 70 comments

Show HN: FilterQL – A tiny query language for filtering structured data (github.com)

77 points by genshii 5d ago 21 comments

Show HN: Grammit – Local-only AI grammar checker (Chrome extension) (chromewebstore.google.com)

31 points by scottfr 2d ago 5 comments

Show HN: Turn Markdown into React/Svelte/Vue UI at runtime, zero build step (markdown-ui.com)

202 points by yaoke259 4d ago 97 comments

Show HN: Alphie – Schedule and manage meetings directly in Slack (meetalphie.com)

3 points by Riphyak 17h ago 0 comments

Show HN: Async – Claude code and Linear and GitHub PRs in one opinionated tool (github.com)

106 points by wjsekfghks 5d ago 46 comments

Show HN: ElectroBench (github.com)

4 points by kirito1337 18h ago 0 comments

Show HN: Base, an SQLite database editor for macOS (menial.co.uk)

684 points by __bb 5d ago 178 comments

Show HN: A private, flat monthly subscription for open-source LLMs (synthetic.new)

28 points by reissbaker 1d ago 19 comments

Show HN: BrowserTotal – Free, real-time AI scanner for browser extensions (browsertotal.com)

4 points by minche 21h ago 0 comments

Show HN: Readn – Feed reader with Hacker News support (github.com)

4 points by thangqt 21h ago 1 comments

Show HN: NimbleTools – A K8s runtime for securely scaling MCP servers (github.com)

3 points by barefootsanders 23h ago 0 comments

Show HN: Diggit.dev – Git history for architecture archaeologists (diggit.dev)

34 points by surprisetalk 5d ago 7 comments

Show HN: Create Private or Public Tool-Sharing Clubs with Patio (patio.so)

4 points by rocknrollisdev 23h ago 2 comments

Show HN: WASM Quest, an open source game by Tortured Metaphor (github.com)

3 points by DavidCanHelp 1d ago 0 comments

Show HN: I Built a XSLT Blog Framework (vgr.land)

116 points by vgr-land 5d ago 68 comments

Show HN: Gonzo – A Go-based TUI for log analysis (OpenTelemetry/OTLP support) (github.com)

72 points by J0nR 4d ago 15 comments

Show HN: VR.dev – a developer network for VR/XR/AR devs (vr.dev)

6 points by vrdev 1d ago 0 comments

Show HN: Smooth – Faster, cheaper browser agent API (smooth.sh)

53 points by liukidar 4d ago 16 comments

Show HN: PasteVault – open-source, E2EE pastebin with a pretty editor (github.com)

4 points by larry-the-agent 1d ago 0 comments

Show HN: Regolith – Regex library that prevents ReDoS CVEs in TypeScript (github.com)

27 points by roggenbuck 3d ago 25 comments

What is the current and accepted definition of formally proved software?

1 cauterize 0 8/30/2025, 3:43:27 AM

Comments (0)

No comments yet