Show HN: I used OpenAI's new image API for a personalized coloring book service (clevercoloringbook.com)
103 points by darajava 17 hours ago | 56 comments
1Show HN: Formalizing Principia Mathematica using Lean (github.com)
103 points by ndrwnaguib 8 hours ago | 24 comments
2Show HN: Magnitude – open-source, AI-native test framework for web apps (github.com)
125 points by anerli 10 hours ago | 31 comments
3Show HN: A modern spreadsheet with Python integration (citadel5.com)
58 points by jpiech 8 hours ago | 9 comments
4Show HN: Photo.codes – Free, privacy-first photo editor for the web (photo.codes)
2 points by ozdemirdev 4 hours ago | 1 comment
5Show HN: BugStalker - a modern Rust debugger (github.com)
105 points by godzie 13 hours ago | 15 comments
6Show HN: Lemon Slice Live – Have a video call with a transformer model
185 points by lcolucci a day ago | 80 comments
7Show HN: Logiquiz – Daily Self-Referential Puzzles (logiquiz.com)
31 points by slig 3 days ago | 16 comments
8Show HN: AI Overview Hider for Google (soitis.dev)
3 points by insin 5 hours ago | 0 comments
9Show HN: Faasta – A self-hosted Serverless platform for WASM-wasi-HTTP in Rust (github.com)
86 points by alexboehm a day ago | 30 comments
10Show HN: Colanode, open-source and local-first Slack and Notion alternative (github.com)
131 points by hakanshehu 2 days ago | 44 comments
11Show HN: I built Lovable for text bots and mini apps (plutonic.dev)
40 points by piotmni 2 days ago | 16 comments
12Show HN: StackHound - Stop guessing repo's tech stack, analyze it in seconds (stackhound.vercel.app)
5 points by lorenzopalaia 12 hours ago | 2 comments
13Show HN: Infat – Declaritive application assocation manager for macOS (github.com)
86 points by philocalyst a day ago | 40 comments
14Show HN: SnipFast – Extract Highlighted Text from Physical Books (snipfa.st)
9 points by tomsaju 14 hours ago | 0 comments
15Show HN: An interactive demo of QR codes' error correction (qris.cool)
13 points by Xiione 14 hours ago | 2 comments
16Show HN: Zev – Remember (or discover) terminal commands (github.com)
80 points by dtnewman a day ago | 34 comments
17Show HN: RSS Lookup – Find RSS Feeds for Any URL (Free, Open Source) (rsslookup.com)
4 points by mratmeyer 7 hours ago | 3 comments
18Show HN: I made my own TRMNL e-ink device (stavros.io)
75 points by stavros 2 days ago | 23 comments
19Show HN: Lucidia, a WebGL visualizer inspired by Drempels (alana314.github.io)
2 points by alana314 8 hours ago | 0 comments
20Show HN: Open-Source, Self-Hostable Rate Limiting API (github.com)
2 points by LorenzoBloedow 9 hours ago | 1 comment
21Show HN: I built an AI that turns GitHub codebases into easy tutorials (github.com)
890 points by zh2408 6 days ago | 170 comments
22Show HN: My from-scratch OS kernel that runs DOOM (github.com)
311 points by UnmappedStack 2 days ago | 81 comments
23Show HN: Claude Code with GUI and Block Based Prompt Editor (MIT) (localforge.dev)
3 points by avetiszakharyan 10 hours ago | 1 comment
24Show HN: Be My First User
3 points by hagan 10 hours ago | 5 comments
25Show HN: Rowboat – Open-source IDE for multi-agent systems (github.com)
158 points by segmenta 3 days ago | 51 comments
26Show HN: Index – New Open Source browser agent (github.com)
96 points by skull8888888 2 days ago | 43 comments
27Show HN: I Added Translation to My RSS Reader Project (rahuldshetty.github.io)
28 points by anonymousd3vil a day ago | 6 comments
28Show HN: Morphik – Open-source RAG that understands PDF images, runs locally (github.com)
193 points by Adityav369 3 days ago | 43 comments
29Show HN: Dia-Jax – A Jax port of the Dia text-to-speech dialogue model (github.com)
2 points by jaco-bro 12 hours ago | 0 comments
30