Show HN: Ldns.com – fast DNS lookups from the URL bar (ldns.com)

2 points by jmorf 15m ago 0 comments

Show HN: OpenAVMKit – open-source toolkit for real estate mass appraisal (AVMs) (openavmkit.com)

2 points by larsiusprime 1h ago 0 comments

Show HN: OWhisper – Ollama for realtime speech-to-text (docs.hyprnote.com)

255 points by yujonglee 1d ago 68 comments

Show HN: I built a free alternative to Adobe Acrobat PDF viewer (github.com)

332 points by bobsingor 1d ago 79 comments

Show HN: Clojure Land – discover open-source Clojure projects (clojure.land)

19 points by brettatoms 1h ago 0 comments

Show HN: PlutoPrint – Generate Beautiful PDFs and PNGs from HTML with Python (github.com)

2 points by sammycage 2h ago 0 comments

Show HN: PgHook – Docker image that streams PostgreSQL row changes to webhooks (github.com)

8 points by enadzan 6h ago 1 comments

Show HN: Sarpro – 5–20× faster Sentinel‑1 GRD → GeoTIFF/JPEG (github.com)

2 points by danielVi 3h ago 0 comments

Show HN: Evaluating LLMs on creative writing via reader usage, not benchmarks (narrator.sh)

34 points by Jetwu 23h ago 10 comments

Show HN: Understanding the Spatial Web Browser Engine (m-creativelab.github.io)

18 points by yorkie 3d ago 2 comments

Show HN: XR2000: A science fiction programming challenge (clearsky.dev)

100 points by richmans 3d ago 29 comments

Show HN: Zig-DbC – A design by contract library for Zig

42 points by habedi0 3d ago 6 comments

Show HN: Vaultrice – A real-time key-value store with a localStorage API (vaultrice.com)

40 points by adrai 2d ago 13 comments

Show HN: MCP Security Suite (github.com)

33 points by jodoking 21h ago 22 comments

Show HN: Modelence – Supabase for MongoDB (github.com)

35 points by artahian 1d ago 14 comments

Show HN: Yet another memory system for LLMs (github.com)

159 points by blackmanta 1d ago 43 comments

SHOW HN: I made a 30fps CLI Tetris game in PHP after watching the Tetris movie (gist.github.com)

4 points by al3rez 8h ago 1 comments

Show HN: Building a web search engine from scratch with 3B neural embeddings (blog.wilsonl.in)

641 points by wilsonzlin 3d ago 114 comments

Show HN: Reimagining keyboard to be Voice first [video] (youtube.com)

2 points by raxrb 4h ago 0 comments

Show HN: Real-time privacy protection for smart glasses (github.com)

41 points by tash_2s 3d ago 34 comments

Show HN: Doom port to pure Go – Gore (github.com)

144 points by EstIgnavus 2d ago 42 comments

Show HN: Generate random gradients like on OpenAI's website (gradients.venki.dev)

31 points by venkii 1d ago 9 comments

Show HN: E-commerce data from 100k stores that is refreshed daily (searchagora.com)

13 points by astronautmonkey 1d ago 4 comments

Show HN: Omnara – Run Claude Code from anywhere (github.com)

301 points by kmansm27 3d ago 162 comments

Show HN: Happy Coder – End-to-End Encrypted Mobile Client for Claude Code (github.com)

24 points by ex3ndr 22h ago 8 comments

Show HN: Nabu (TTS Reader and LLM Playground on Android) (github.com)

7 points by mewmix 16h ago 0 comments

Show HN: Play Pokémon to unlock your Wayland session (github.com)

123 points by anajimi 5d ago 51 comments

Show HN: NTP diag tool, as is Ping for ICMP (github.com)

6 points by aguacero_7 1d ago 0 comments

Show HN: ClipDump – A Clipboard Dumper for Windows (github.com)

3 points by deejayy 18h ago 0 comments

Show HN: xstack – Passive eBPF Linux stack profiling without tracepoints (tanelpoder.com)

4 points by tanelpoder 18h ago 0 comments

Show HN: Minimal Counter (minimalcounter.com)

11 points by artiomyak 1d ago 4 comments

Show HN: The current sky at your approximate location, as a CSS gradient (sky.dlazaro.ca)

777 points by dlazaro 6d ago 160 comments

Show HN: I built an offline, open‑source desktop Pixel Art Editor in Python (github.com)

210 points by danterolle 3d ago 63 comments

Show HN: A Sinclair ZX81 retro web assembler+simulator

79 points by andromaton 4d ago 26 comments

Show HN: Engineering.fyi – Search across tech engineering blogs in one place (engineering.fyi)

460 points by indiehackerman 5d ago 126 comments

Show HN: YouTube Audio Player (y2audio.com)

8 points by yukieliot 1d ago 11 comments

Show HN: CompareLists – compare two or more lists to find differences (comparelists.fly.dev)

4 points by Igor_Wiwi 1d ago 1 comments

Show HN: Move to dodge the bullets. How long can you survive? (dodge.trickle.host)

61 points by samdychen 3d ago 60 comments

Show HN: I just built a tool to turn any photo into pixel art (phototopixel.art)

4 points by z946719919 1d ago 4 comments

Show HN: Bolt – A super-fast, statically-typed scripting language written in C (github.com)

257 points by beariish 4d ago 92 comments

Show HN: xtop – Top for Wall-Clock Time built with modern eBPF (tanelpoder.com)

7 points by tanelpoder 2d ago 1 comments

Show HN: Browser AI agent platform designed for reliability (github.com)

76 points by ogandreakiro 7d ago 40 comments

Show HN: ServerBuddy – GUI SSH client for managing Linux servers from macOS (serverbuddy.app)

41 points by dpraburaj 3d ago 27 comments

Show HN: Free SVG Icons – Browse, customize, and grab icons (iconshelf.com)

38 points by rahulbstomar 4d ago 10 comments

Show HN: Stasher – Burn-after-read secrets from the CLI, no server, no trust (github.com)

72 points by stasher-dev 8d ago 55 comments

Show HN: Nocturne – Your Car Thing's Second Chapter (usenocturne.com)

9 points by itsnebulalol 2d ago 0 comments

Show HN: Trayce – Burp Suite for developers (trayce.dev)

83 points by ev_dev3 8d ago 14 comments

Show HN: langdiff – Stream valid JSON from LLMs with type-safe callbacks (github.com)

7 points by maitrouble 2d ago 1 comments

Show HN: Octofriend, a cute coding agent that can swap between GPT-5 and Claude (github.com)

107 points by reissbaker 7d ago 31 comments

Show HN: Sinkzone DNS – Forwarder that blocks everything except your allowlist (github.com)

96 points by dominis 9d ago 44 comments

Tony Hoare on record handling. (1965)

2 fanf2 1 8/13/2025, 8:42:04 PM dl.acm.org ↗

Comments (1)

marvel_boy · 1d ago

Wait a moment. So Hoare invented OOP in 1965?