Show HN: MCP Security – Don't Blind Trust, Verify (github.com)

5 points by jodoking 17m ago 2 comments

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

93 points by bobsingor 4h ago 25 comments

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

31 points by yujonglee 4h ago 12 comments

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

23 points by artahian 4h ago 6 comments

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

32 points by habedi0 2d ago 2 comments

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

148 points by blackmanta 16h ago 40 comments

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

17 points by ex3ndr 1h ago 1 comments

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

95 points by richmans 2d ago 18 comments

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

34 points by adrai 1d ago 13 comments

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

9 points by astronautmonkey 8h ago 4 comments

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

38 points by tash_2s 3d ago 33 comments

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

3 points by Igor_Wiwi 5h ago 1 comments

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

23 points by venkii 16h ago 8 comments

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

634 points by wilsonzlin 2d ago 113 comments

Show HN: We made a 2.5GB Offline disaster AI assistant [video] (youtube.com)

3 points by inlandrookie 2h ago 4 comments

Show HN: Minimal Counter (minimalcounter.com)

9 points by artiomyak 13h ago 3 comments

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

138 points by EstIgnavus 1d ago 42 comments

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

4 points by aguacero_7 10h ago 0 comments

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

296 points by kmansm27 2d ago 161 comments

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

4 points by z946719919 16h ago 2 comments

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

122 points by anajimi 4d ago 51 comments

Show HN: YouTube Audio Player (y2audio.com)

5 points by yukieliot 13h ago 5 comments

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

5 points by tanelpoder 1d ago 1 comments

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

770 points by dlazaro 5d ago 159 comments

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

207 points by danterolle 2d ago 63 comments

Show HN: A Sinclair ZX81 retro web assembler+simulator

79 points by andromaton 3d ago 26 comments

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

61 points by samdychen 2d ago 60 comments

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

455 points by indiehackerman 4d ago 125 comments

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

4 points by fahimulhaq 21h ago 2 comments

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

256 points by beariish 4d ago 92 comments

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

4 points by msoloviev 22h 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: Babami.app Talking to my grandma without shouting (babami.app)

6 points by inchevd 10h ago 0 comments

Show HN: Gitego – Automatic Git identity switcher (github.com)

2 points by w108bmg 1d ago 0 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)

8 points by itsnebulalol 2d ago 0 comments

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

76 points by ogandreakiro 7d ago 40 comments

Show HN: Inworld Runtime – A C++ graph-based runtime for production AI apps (inworld.ai)

7 points by rogilop 1d ago 2 comments

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

6 points by maitrouble 1d ago 1 comments

Show HN: Private AI List (github.com)

7 points by tdi 1d ago 0 comments

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

29 points by dinnison 2d ago 23 comments

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

7 points by riddleling 2d ago 5 comments

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

71 points by stasher-dev 7d ago 54 comments

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

83 points by ev_dev3 7d ago 14 comments

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

16 points by correa_brian 3d ago 7 comments

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

106 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: I built LMArena for Motion Graphics (graphicarena-1.onrender.com)

8 points by moteo_dev 2d ago 3 comments

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

3 points by yorkie 2d ago 0 comments

Show HN: An endless feed with history, science, tech., business (reelly.app)

13 points by elofgerde 3d ago 2 comments

What are the real numbers, really? (2024)

18 EthanHeilman 2 8/14/2025, 6:03:13 PM infinitelymore.xyz ↗

Comments (2)

morpheos137 · 6m ago

Real numbers are the concept of quantities built up from continuous flows.

thatguysaguy · 48m ago

Joel's blog in general is an extremely great read. I highly recommend subscribing.