HN Reader

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

242 points by yujonglee 23h ago 64 comments

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

312 points by bobsingor 23h ago 75 comments

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

6 points by enadzan 4h ago 1 comments

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

33 points by Jetwu 21h ago 8 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 24 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 1d ago 13 comments

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

4 points by al3rez 6h ago 1 comments

Show HN: MCP Security Suite (github.com)

33 points by jodoking 19h ago 22 comments

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

2 points by raxrb 2h ago 0 comments

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

35 points by artahian 22h ago 14 comments

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

159 points by blackmanta 1d ago 43 comments

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

641 points by wilsonzlin 2d ago 114 comments

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

40 points by tash_2s 3d ago 33 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: Happy Coder – End-to-End Encrypted Mobile Client for Claude Code (github.com)

24 points by ex3ndr 20h ago 8 comments

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

299 points by kmansm27 2d ago 162 comments

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

7 points by mewmix 15h ago 0 comments

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

3 points by deejayy 17h ago 0 comments

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

4 points by tanelpoder 17h ago 0 comments

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

6 points by aguacero_7 1d 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: 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)

776 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: YouTube Audio Player (y2audio.com)

8 points by yukieliot 1d ago 11 comments

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

460 points by indiehackerman 5d ago 125 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: I just built a tool to turn any photo into pixel art (phototopixel.art)

4 points by z946719919 1d ago 4 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: 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: ServerBuddy – GUI SSH client for managing Linux servers from macOS (serverbuddy.app)

41 points by dpraburaj 3d ago 27 comments

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

76 points by ogandreakiro 7d ago 40 comments

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

38 points by rahulbstomar 3d ago 10 comments

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

9 points by itsnebulalol 2d ago 0 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: langdiff – Stream valid JSON from LLMs with type-safe callbacks (github.com)

7 points by maitrouble 2d ago 1 comments

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

83 points by ev_dev3 8d ago 14 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 8d ago 44 comments

Show HN: Keeps – Mail a postcard that plays your voice (sendkeeps.com)

29 points by dinnison 3d ago 23 comments

Show HN: Mock Interviews for Software Engineers (mockinterviews.dev)

4 points by fahimulhaq 1d ago 2 comments

Show HN: Emailcore – write chiptune in plain text in the browser (cattheory.net)

4 points by msoloviev 1d ago 1 comments

Show HN: I built a desktop app that indexes your media locally (meetcosmos.com)

16 points by correa_brian 3d ago 8 comments

Show HN: Turn your iPhone into a local OCR server using Vision Framework (github.com)

7 points by riddleling 2d ago 5 comments

1 mvcalder 0 8/13/2025, 10:42:45 PM

Comments (0)

JohnFen · 1d ago
Clickbait title. According to the article, it did no such thing.

> AI has absolutely not provided a proof (yet) in a formal mathematical sense.

zahlman · 1d ago
I suspect the entire thing is written by AI anyway.
tocs3 · 1d ago
I am not absolutely horrified (just a moderate level of horror) by the thought AI wrote a story. I wonder though about editors and fact checkers not doing their job. Has AI replaced the whole of journalism?
mvcalder · 1d ago
Nope, all human all the time.