Show HN: Empty Enter Expander – Type less in the terminal with this tool (github.com)
23 points by waszabi 4 hours ago | 2 comments
1Show HN: Formalizing Principia Mathematica using Lean (github.com)
126 points by ndrwnaguib 12 hours ago | 28 comments
2Show HN: I used OpenAI's new image API for a personalized coloring book service (clevercoloringbook.com)
186 points by darajava 21 hours ago | 101 comments
3Show HN: Magnitude – open-source, AI-native test framework for web apps (github.com)
146 points by anerli 14 hours ago | 35 comments
4Show HN: A modern spreadsheet with Python integration (citadel5.com)
77 points by jpiech 13 hours ago | 10 comments
5Show HN: Lemon Slice Live – Have a video call with a transformer model
189 points by lcolucci 2 days ago | 80 comments
6Show HN: VacayBuddy – PTO Management Inside Slack (Open Source) (github.com)
3 points by letnaturebe 6 hours ago | 0 comments
7Show HN: BugStalker - a modern Rust debugger (github.com)
110 points by godzie 17 hours ago | 15 comments
8Show HN: Colanode, open-source and local-first Slack and Notion alternative (github.com)
135 points by hakanshehu 2 days ago | 44 comments
9Show HN: Logiquiz – Daily Self-Referential Puzzles (logiquiz.com)
32 points by slig 3 days ago | 17 comments
10Show HN: Faasta – A self-hosted Serverless platform for WASM-wasi-HTTP in Rust (github.com)
86 points by alexboehm a day ago | 30 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)
87 points by philocalyst 2 days ago | 40 comments
13Show HN: Photo.codes – Free, privacy-first photo editor for the web (photo.codes)
2 points by ozdemirdev 8 hours ago | 2 comments
14Show HN: RSS Lookup – Find RSS Feeds for Any URL (Free, Open Source) (rsslookup.com)
5 points by mratmeyer 12 hours ago | 3 comments
15Show HN: Zev – Remember (or discover) terminal commands (github.com)
80 points by dtnewman 2 days ago | 34 comments
16Show HN: I made my own TRMNL e-ink device (stavros.io)
75 points by stavros 2 days ago | 23 comments
17Show HN: SnipFast – Extract Highlighted Text from Physical Books (snipfa.st)
9 points by tomsaju 19 hours ago | 0 comments
18Show HN: StackHound - Stop guessing repo's tech stack, analyze it in seconds (stackhound.vercel.app)
5 points by lorenzopalaia 16 hours ago | 2 comments
19Show HN: An interactive demo of QR codes' error correction (qris.cool)
13 points by Xiione 19 hours ago | 2 comments
20Show HN: I built an AI that turns GitHub codebases into easy tutorials (github.com)
891 points by zh2408 6 days ago | 170 comments
21Show HN: AI Overview Hider for Google (soitis.dev)
3 points by insin 10 hours ago | 0 comments
22Show HN: Rowboat – Open-source IDE for multi-agent systems (github.com)
158 points by segmenta 4 days ago | 51 comments
23Show HN: My from-scratch OS kernel that runs DOOM (github.com)
312 points by UnmappedStack 2 days ago | 81 comments
24Show HN: Index – New Open Source browser agent (github.com)
96 points by skull8888888 3 days ago | 43 comments
25Show HN: I Added Translation to My RSS Reader Project (rahuldshetty.github.io)
28 points by anonymousd3vil a day ago | 6 comments
26Show HN: VSCode-remote-glibc-patch – Patch legacy Linux to use VSCode Remote (github.com)
3 points by hsfzxjy 17 hours ago | 1 comment
27Show HN: OpenWrt Configurator – Simple config management for OpenWrt devices (github.com)
4 points by jasrusable 17 hours ago | 0 comments
28Show HN: Lucidia, a WebGL visualizer inspired by Drempels (alana314.github.io)
2 points by alana314 12 hours ago | 0 comments
29Show HN: Morphik – Open-source RAG that understands PDF images, runs locally (github.com)
193 points by Adityav369 4 days ago | 43 comments
30