Show HN: Formalizing Principia Mathematica using Lean (github.com)
150 points by ndrwnaguib 18 hours ago | 29 comments
1Show HN: Empty Enter Expander – Type less in the terminal with this tool (github.com)
38 points by waszabi 10 hours ago | 17 comments
2Show HN: Magnitude – open-source, AI-native test framework for web apps (github.com)
162 points by anerli 20 hours ago | 39 comments
3Show HN: GS-Calc – A modern spreadsheet with Python integration (citadel5.com)
88 points by jpiech 19 hours ago | 14 comments
4Show HN: I used OpenAI's new image API for a personalized coloring book service (clevercoloringbook.com)
244 points by darajava a day ago | 135 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 a day ago | 15 comments
8Show HN: Faasta – A self-hosted Serverless platform for WASM-wasi-HTTP in Rust (github.com)
87 points by alexboehm 2 days 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)
42 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)
77 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: An interactive demo of QR codes' error correction (qris.cool)
14 points by Xiione a day ago | 2 comments
16Show HN: Rowboat – Open-source IDE for multi-agent systems (github.com)
158 points by segmenta 4 days ago | 51 comments
17Show HN: VacayBuddy – PTO Management Inside Slack (Open Source) (github.com)
4 points by letnaturebe 12 hours ago | 0 comments
18Show HN: My from-scratch OS kernel that runs DOOM (github.com)
313 points by UnmappedStack 3 days ago | 81 comments
19Show HN: Index – New Open Source browser agent (github.com)
96 points by skull8888888 3 days ago | 43 comments
20Show HN: SnipFast – Extract Highlighted Text from Physical Books (snipfa.st)
9 points by tomsaju a day ago | 0 comments
21Show HN: RSS Lookup – Find RSS Feeds for Any URL (Free, Open Source) (rsslookup.com)
7 points by mratmeyer 18 hours ago | 3 comments
22Show HN: StackHound - Stop guessing repo's tech stack, analyze it in seconds (stackhound.vercel.app)
6 points by lorenzopalaia a day ago | 2 comments
23Show HN: Morphik – Open-source RAG that understands PDF images, runs locally (github.com)
193 points by Adityav369 4 days ago | 43 comments
24Show HN: Photo.codes – Free, privacy-first photo editor for the web (photo.codes)
2 points by ozdemirdev 14 hours ago | 2 comments
25Show HN: Node.js video tutorials where you can edit and run the code
255 points by somebee 3 days ago | 84 comments
26Show HN: I Added Translation to My RSS Reader Project (rahuldshetty.github.io)
28 points by anonymousd3vil 2 days ago | 7 comments
27Show HN: We made a blazing-fast, open-source GitHub front end (gitfaster.dev)
38 points by Arian81 2 days ago | 7 comments
28Show HN: AI Overview Hider for Google (soitis.dev)
3 points by insin 16 hours ago | 0 comments
29Show HN: I open-sourced my AI toy company that runs on ESP32 and OpenAI realtime (github.com)
175 points by akadeb 4 days ago | 94 comments
30