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