28
132
Show HN: Formalizing Principia Mathematica using Lean
215
Show HN: I used OpenAI's new image API for a personalized coloring book service
150
Show HN: Magnitude – open-source, AI-native test framework for web apps
79
Show HN: A modern spreadsheet with Python integration
192
Show HN: Lemon Slice Live – Have a video call with a transformer model
110
Show HN: BugStalker - a modern Rust debugger
136
Show HN: Colanode, open-source and local-first Slack and Notion alternative
33
Show HN: Logiquiz – Daily Self-Referential Puzzles
86
Show HN: Faasta – A self-hosted Serverless platform for WASM-wasi-HTTP in Rust
4
Show HN: VacayBuddy – PTO Management Inside Slack (Open Source)
41
Show HN: I built Lovable for text bots and mini apps
88
Show HN: Infat – Declaritive application assocation manager for macOS
80
Show HN: Zev – Remember (or discover) terminal commands
76
Show HN: I made my own TRMNL e-ink device
14
Show HN: An interactive demo of QR codes' error correction
6
Show HN: RSS Lookup – Find RSS Feeds for Any URL (Free, Open Source)
2
Show HN: Photo.codes – Free, privacy-first photo editor for the web
891
Show HN: I built an AI that turns GitHub codebases into easy tutorials
9
Show HN: SnipFast – Extract Highlighted Text from Physical Books
6
Show HN: StackHound - Stop guessing repo's tech stack, analyze it in seconds
158
Show HN: Rowboat – Open-source IDE for multi-agent systems
313
Show HN: My from-scratch OS kernel that runs DOOM
96
Show HN: Index – New Open Source browser agent
3
Show HN: AI Overview Hider for Google
193
Show HN: Morphik – Open-source RAG that understands PDF images, runs locally
28
Show HN: I Added Translation to My RSS Reader Project
255
Show HN: Node.js video tutorials where you can edit and run the code
3
Show HN: VSCode-remote-glibc-patch – Patch legacy Linux to use VSCode Remote
4
Show HN: OpenWrt Configurator – Simple config management for OpenWrt devices