Show HN: Empty Enter Expander – Type less in the terminal with this tool (github.com)
37 points by waszabi 8 hours ago | 14 comments
1Show HN: Formalizing Principia Mathematica using Lean (github.com)
142 points by ndrwnaguib 17 hours ago | 29 comments
2Show HN: Magnitude – open-source, AI-native test framework for web apps (github.com)
158 points by anerli 18 hours ago | 39 comments
3Show HN: I used OpenAI's new image API for a personalized coloring book service (clevercoloringbook.com)
238 points by darajava a day ago | 130 comments
4Show HN: GS-Calc – A modern spreadsheet with Python integration (citadel5.com)
87 points by jpiech 17 hours ago | 14 comments
5Show HN: Lemon Slice Live – Have a video call with a transformer model
192 points by lcolucci 2 days ago | 81 comments
6Show HN: Colanode, open-source and local-first Slack and Notion alternative (github.com)
136 points by hakanshehu 2 days ago | 45 comments
7Show HN: BugStalker - a modern Rust debugger (github.com)
111 points by godzie 21 hours ago | 15 comments
8Show HN: Faasta – A self-hosted Serverless platform for WASM-wasi-HTTP in Rust (github.com)
86 points by alexboehm a day ago | 31 comments
9Show HN: Logiquiz – Daily Self-Referential Puzzles (logiquiz.com)
34 points by slig 3 days ago | 18 comments
10Show HN: I built Lovable for text bots and mini apps (plutonic.dev)
41 points by piotmni 2 days ago | 16 comments
11Show HN: Infat – Declaritive application assocation manager for macOS (github.com)
88 points by philocalyst 2 days ago | 40 comments
12Show HN: Zev – Remember (or discover) terminal commands (github.com)
80 points by dtnewman 2 days ago | 35 comments
13Show HN: I made my own TRMNL e-ink device (stavros.io)
76 points by stavros 2 days ago | 23 comments
14Show HN: I built an AI that turns GitHub codebases into easy tutorials (github.com)
893 points by zh2408 7 days ago | 170 comments
15Show HN: VacayBuddy – PTO Management Inside Slack (Open Source) (github.com)
4 points by letnaturebe 10 hours ago | 0 comments
16Show HN: An interactive demo of QR codes' error correction (qris.cool)
14 points by Xiione a day ago | 2 comments
17Show HN: Rowboat – Open-source IDE for multi-agent systems (github.com)
158 points by segmenta 4 days ago | 51 comments
18Show HN: RSS Lookup – Find RSS Feeds for Any URL (Free, Open Source) (rsslookup.com)
7 points by mratmeyer 16 hours ago | 3 comments
19Show HN: My from-scratch OS kernel that runs DOOM (github.com)
313 points by UnmappedStack 2 days ago | 81 comments
20Show HN: SnipFast – Extract Highlighted Text from Physical Books (snipfa.st)
9 points by tomsaju a day ago | 0 comments
21Show HN: StackHound - Stop guessing repo's tech stack, analyze it in seconds (stackhound.vercel.app)
6 points by lorenzopalaia 21 hours ago | 2 comments
22Show HN: Index – New Open Source browser agent (github.com)
96 points by skull8888888 3 days ago | 43 comments
23Show HN: Photo.codes – Free, privacy-first photo editor for the web (photo.codes)
2 points by ozdemirdev 12 hours ago | 2 comments
24Show HN: Morphik – Open-source RAG that understands PDF images, runs locally (github.com)
193 points by Adityav369 4 days ago | 43 comments
25Show HN: I Added Translation to My RSS Reader Project (rahuldshetty.github.io)
28 points by anonymousd3vil 2 days ago | 7 comments
26Show HN: Node.js video tutorials where you can edit and run the code
255 points by somebee 3 days ago | 84 comments
27Show HN: AI Overview Hider for Google (soitis.dev)
3 points by insin 14 hours ago | 0 comments
28Show HN: We made a blazing-fast, open-source GitHub front end (gitfaster.dev)
38 points by Arian81 2 days ago | 7 comments
29Show HN: VSCode-remote-glibc-patch – Patch legacy Linux to use VSCode Remote (github.com)
3 points by hsfzxjy 21 hours ago | 1 comment
30