Show HN: I Made the Hardest Focus App (apps.apple.com)

26 points by Dhikshith12 1h ago 16 comments

Show HN: JavaScript-free (X)HTML Includes (github.com)

185 points by Evidlo 21h ago 93 comments

Show HN: AgentState – Lightweight state manager for multi-agent AI workflows (github.com)

8 points by boulevard 10h ago 0 comments

Show HN: Pinch – macOS voice translation for real-time conversations (startpinch.com)

63 points by christiansafka 3d ago 23 comments

Show HN: Coloring Pages Generator – auto-generate from your description (cutestcoloringpages.com)

3 points by TouAllCra 5h ago 0 comments

Show HN: Map of YC-Funded Startups (patrik-cihal.github.io)

2 points by patrik_cihal 6h ago 0 comments

Show HN: Clyp – Clipboard Manager for Linux (github.com)

77 points by timeoperator 23h ago 46 comments

Show HN: I was curious about spherical helix, ended up making this visualization (visualrambling.space)

848 points by damarberlari 3d ago 132 comments

Show HN: I replaced vector databases with Git for AI memory (PoC) (github.com)

191 points by alexmrv 2d ago 44 comments

Show HN: Luminal – Open-source, search-based GPU compiler (github.com)

145 points by jafioti 2d ago 60 comments

Show HN: Using Common Lisp from Inside the Browser (turtleware.eu)

108 points by jackdaniel 2d ago 29 comments

Show HN: OS X Mavericks Forever (mavericksforever.com)

391 points by Wowfunhappy 4d ago 190 comments

Show HN: Splice – CAD for Cable Harnesses and Electrical Assemblies (splice-cad.com)

88 points by djsdjs 1d ago 18 comments

Show HN: Ultra-fast, embedded KV store in pure Rust (github.com)

32 points by mehrant 1d ago 7 comments

Show HN: ChartDB Cloud – Visualize and Share Database Diagrams (app.chartdb.io)

98 points by Jonathanfishner 2d ago 13 comments

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

158 points by sammycage 2d ago 48 comments

Show HN: BirdNET-Go - AI avian identification & monitoring (github.com)

3 points by zephyreon 13h ago 1 comments

Show HN: HypeVortex: Combining Crypto and AI in the stupidest way possible (hypevortex.ai)

3 points by seedlessmike 14h ago 3 comments

Show HN: Project management system for Claude Code (github.com)

168 points by aroussi 3d ago 110 comments

Show HN: Anchor Relay – A faster, easier way to get Let's Encrypt certificates (anchor.dev)

80 points by geemus 2d ago 56 comments

Show HN: Whispering – Open-source, local-first dictation you can trust (github.com)

581 points by braden-w 4d ago 151 comments

Show HN: What country you would hit if you went straight where you're pointing (apps.apple.com)

79 points by brgross 3d ago 39 comments

Show HN: I built an app to block Shorts and Reels (scrollguard.app)

685 points by adrianhacar 7d ago 304 comments

Show HN: My First Game Made with My Homemade Engine (reprobate.site)

3 points by delduca 18h ago 0 comments

Show HN: Nestable.dev – local whiteboard app with nestable canvases, deep links (nestable.dev)

54 points by anorak27 2d ago 25 comments

Show HN: AIMless – a 10 KB single file P2P chat app with zero dependencies (github.com)

7 points by NyxBNC 1d ago 4 comments

Show HN: Line of Code Analyzer (github.com)

2 points by reimisdev 18h ago 0 comments

Show HN: Typed-arrow – compile‑time Arrow schemas for Rust (github.com)

48 points by ethegwo 5d ago 8 comments

Show HN: CopyMagic – The smartest clipboard manager for macOS (copymagic.app)

5 points by rtk0 20h ago 2 comments

Show HN: OpenAI/reflect – Physical AI Assistant that illuminates your life (github.com)

89 points by Sean-Der 3d ago 52 comments

Show HN: Claudable – OpenSource Lovable that runs locally with Claude Code (github.com)

35 points by aaronSong 2d ago 9 comments

Show HN: I built a toy TPU that can do inference and training on the XOR problem (tinytpu.com)

133 points by evxxan 4d ago 24 comments

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

9 points by pandax381 1d ago 2 comments

Show HN: BrowserOS -- browser agents with GPT-OSS, local llms (github.com)

12 points by felarof 22h ago 2 comments

Show HN: Strudel Flow, a pattern sequencer built with Strudel and React Flow (github.com)

37 points by moklick 5d ago 7 comments

Show HN: Mudra – Make your startup rank in ChatGPT/Perplexity and LLMs (trymudra.com)

2 points by NanocodesAI 1d ago 1 comments

Show HN: Bizcardz.ai – Custom metal business cards (github.com)

25 points by rhodey 2d ago 31 comments

Show HN: MockinglyAI On-Demand AI Interviewer for System Design Mock Interviews (mockingly.ai)

3 points by ayusch_ 1d ago 1 comments

Show HN: Playing Piano with Prime Numbers (nabraj.com)

8 points by coffeecoders 5d ago 5 comments

Show HN: SFOR – minimal, no-backtracking, typed data format (experimental) (github.com)

2 points by brucekaushik 1d ago 0 comments

Show HN: I've made an easy to extend and flexible JavaScript logger (github.com)

17 points by inshinrei 4d ago 9 comments

Show HN: Fractional jobs – part-time roles for engineers (fractionaljobs.io)

276 points by tbird24 4d ago 130 comments

Show HN: AICF – a tiny "what changed" feed for AI/RAG (v0.1 minimal core) (github.com)

5 points by mnswdhw 19h ago 1 comments

Show HN: We started building an AI dev tool but it turned into a Sims-style game (youtube.com)

155 points by maxraven 4d ago 76 comments

Show HN: OverType – A Markdown WYSIWYG editor that's just a textarea

465 points by panphora 5d ago 99 comments

Show HN: Tool shows UK properties matching group commute/time preferences (closemove.com)

11 points by fryingdan 2d ago 5 comments

Show HN: Edka – Kubernetes clusters on your own Hetzner account (edka.io)

437 points by camil 7d ago 128 comments

Show HN: Prime Number Grid Visualizer (enda.sh)

140 points by dduplex 10d ago 51 comments

Show HN: Chroma Cloud – serverless search database for AI (trychroma.com)

93 points by jeffchuber 4d ago 40 comments

Show HN: unsafehttp – tiny web server from scratch in C, running on an orange pi (unsafehttp.benren.au)

87 points by GSGBen 6d ago 52 comments

Proof and Progress in Mathematics

1 tzury 0 8/23/2025, 8:47:53 AM arxiv.org ↗

Comments (0)

No comments yet