Show HN: Empty Enter Expander – Type less in the terminal with this tool
30 points - today at 3:09 AM
SourceDetails - 10 CommentsShow HN: Formalizing Principia Mathematica using Lean
138 points - yesterday at 6:49 PM
SourceDetails - 29 CommentsShow HN: I used OpenAI's new image API for a personalized coloring book service
220 points - yesterday at 10:05 AM
SourceDetails - 117 CommentsShow HN: Magnitude – open-source, AI-native test framework for web apps
152 points - yesterday at 5:00 PM
SourceDetails - 38 CommentsShow HN: A modern spreadsheet with Python integration
82 points - yesterday at 6:17 PM
SourceDetails - 13 CommentsShow HN: Lemon Slice Live – Have a video call with a transformer model
192 points - last Thursday at 5:10 PM
Details - 81 CommentsShow HN: Colanode, open-source and local-first Slack and Notion alternative
136 points - last Thursday at 7:43 AM
SourceDetails - 45 CommentsShow HN: BugStalker - a modern Rust debugger
110 points - yesterday at 1:58 PM
SourceDetails - 15 CommentsShow HN: Faasta – A self-hosted Serverless platform for WASM-wasi-HTTP in Rust
86 points - yesterday at 12:31 AM
SourceDetails - 30 CommentsShow HN: Logiquiz – Daily Self-Referential Puzzles
34 points - last Wednesday at 1:43 PM
SourceDetails - 17 CommentsShow HN: I built Lovable for text bots and mini apps
41 points - last Thursday at 10:03 AM
SourceDetails - 16 CommentsShow HN: VacayBuddy – PTO Management Inside Slack (Open Source)
4 points - today at 1:20 AM
SourceDetails - 0 CommentsShow HN: Infat – Declaritive application assocation manager for macOS
88 points - last Thursday at 5:37 PM
SourceDetails - 40 CommentsShow HN: Zev – Remember (or discover) terminal commands
80 points - last Thursday at 4:33 PM
SourceDetails - 35 CommentsShow HN: I made my own TRMNL e-ink device
76 points - last Thursday at 11:34 AM
SourceDetails - 23 CommentsShow HN: An interactive demo of QR codes' error correction
14 points - yesterday at 12:15 PM
SourceDetails - 2 CommentsShow HN: I built an AI that turns GitHub codebases into easy tutorials
892 points - 04/19/2025
SourceDetails - 170 CommentsShow HN: RSS Lookup – Find RSS Feeds for Any URL (Free, Open Source)
6 points - yesterday at 7:22 PM
SourceDetails - 3 CommentsShow HN: Photo.codes – Free, privacy-first photo editor for the web
2 points - yesterday at 11:03 PM
SourceDetails - 2 CommentsShow HN: SnipFast – Extract Highlighted Text from Physical Books
9 points - yesterday at 12:22 PM
SourceDetails - 0 Comments