Show HN: Cuq – Formal Verification of Rust GPU Kernels (github.com)
27 points by nsomani 4 hours ago | 22 comments
1Show HN: Create interactive diagrams with pop-up content (vexlio.com)
30 points by ttd 9 hours ago | 0 comments
2Show HN: Cadence – A guitar theory app (cadenceguitar.com)
170 points by apizon 10 days ago | 74 comments
3Show HN: Subway Surfers in Your Terminal (github.com)
2 points by civilchaos 2 hours ago | 1 comment
4Show HN: Modshim – A new alternative to monkey-patching in Python (github.com)
102 points by joouha 7 days ago | 30 comments
5Show HN: ProxyBridge redirect any Windows TCP/UDP traffic to HTTP/SOCKS5 proxies (github.com)
3 points by anof-cyber 3 hours ago | 0 comments
6Show HN: SerenDB – A Neon PostgreSQL fork optimized for AI agent workloads (github.com)
6 points by taariqlewis 4 hours ago | 1 comment
7Show HN: Katakate – Dozens of VMs per node for safe code exec (github.com)
118 points by gbxk a day ago | 50 comments
8Show HN: Middlerok – reduces front end-back end integration from weeks to hours (middlerok.com)
2 points by rokontech 6 hours ago | 0 comments
9Show HN: bbcli – A TUI and CLI to browse BBC News like a hacker (github.com)
78 points by wesleyhill 4 days ago | 15 comments
10Show HN: ASCII Automata (hlnet.neocities.org)
98 points by california-og 5 days ago | 10 comments
11Show HN: Run any GitHub Action locally from your Cron job -- finally! (docs.dagu.io)
19 points by yohamta 19 hours ago | 0 comments
12Show HN: Incremental JSON parser for streaming LLM tool calls in Ruby (aha.io)
10 points by hotk 4 hours ago | 0 comments
13Show HN: Cont3xt.dev – Universal Team Knowledge for AI Coding Tools (cont3xt.dev)
3 points by ksred 7 hours ago | 3 comments
14Show HN: AutoLearn Skills for self-improving agents (autolearn.dev)
27 points by toobulkeh 20 hours ago | 11 comments
15Show HN: RuleHunt – TikTok for Cellular Automata (rulehunt.org)
13 points by irgolic 8 hours ago | 8 comments
16Show HN: I'm making a detective game built on Wikipedia (detective.wiki)
305 points by jasonsmiles 5 days ago | 43 comments
17Show HN: GuardianScan – Website audits for 2025 web standards (guardianscan.ai)
2 points by buildwithnumen 8 hours ago | 0 comments
18Show HN: I created a cross-platform GUI for the JJ VCS (Git compatible) (judojj.com)
139 points by bitpatch 2 days ago | 43 comments
19Show HN: UHOP – Escaping Nvidia Lock-In with an Open Hardware Optimization Layer (uhop.dev)
3 points by danielbisina 8 hours ago | 0 comments
20Show HN: UHOP – An Open Hardware Optimization Platform for GPUs (github.com)
3 points by danielbisina 9 hours ago | 0 comments
21Show HN: Timeplus Proton 3.0 – First vectorized streaming SQL engine (github.com)
10 points by gangtao 9 hours ago | 10 comments
22Show HN: Playwright Skill for Claude Code – Less context than playwright-MCP (github.com)
179 points by syntax-sherlock 2 days ago | 43 comments
23Show HN: caniscrape – Analyze anti-bot protections before scraping (CLI and Web) (github.com)
3 points by Crroak 10 hours ago | 2 comments
24Show HN: SierraDB – A Distributed Event Store Built in Rust (tqwewe.com)
24 points by tqwewe a day ago | 2 comments
25Show HN: I'm rewriting a web server written in Rust for speed and ease of use (ferron.sh)
68 points by dorianniemiec 2 days ago | 90 comments
26Show HN: Pong Wars Idle Game (verse8.io)
5 points by wancomplete 17 hours ago | 1 comment
27Show HN: Django Keel – 10 Years of Django Best Practices in One Template (github.com)
22 points by sanyam-khurana a day ago | 23 comments
28Show HN: GoSMig – minimal, type-safe SQL migrations written in Go (github.com)
7 points by padurean a day ago | 0 comments
29Show HN: Pyversity – Fast Result Diversification for Retrieval and RAG (github.com)
84 points by Tananon 3 days ago | 11 comments
30