\

Show HN: Empty Enter Expander – Type less in the terminal with this tool

30 points - today at 3:09 AM

SourceDetails - 10 Comments

Show HN: Formalizing Principia Mathematica using Lean

138 points - yesterday at 6:49 PM

SourceDetails - 29 Comments

Show HN: I used OpenAI's new image API for a personalized coloring book service

220 points - yesterday at 10:05 AM

SourceDetails - 117 Comments

Show HN: Magnitude – open-source, AI-native test framework for web apps

152 points - yesterday at 5:00 PM

SourceDetails - 38 Comments

Show HN: A modern spreadsheet with Python integration

82 points - yesterday at 6:17 PM

SourceDetails - 13 Comments

Show HN: Lemon Slice Live – Have a video call with a transformer model

192 points - last Thursday at 5:10 PM

Details - 81 Comments

Show HN: Colanode, open-source and local-first Slack and Notion alternative

136 points - last Thursday at 7:43 AM

SourceDetails - 45 Comments

Show HN: BugStalker - a modern Rust debugger

110 points - yesterday at 1:58 PM

SourceDetails - 15 Comments

Show HN: Faasta – A self-hosted Serverless platform for WASM-wasi-HTTP in Rust

86 points - yesterday at 12:31 AM

SourceDetails - 30 Comments

Show HN: Logiquiz – Daily Self-Referential Puzzles

34 points - last Wednesday at 1:43 PM

SourceDetails - 17 Comments

Show HN: I built Lovable for text bots and mini apps

41 points - last Thursday at 10:03 AM

SourceDetails - 16 Comments

Show HN: VacayBuddy – PTO Management Inside Slack (Open Source)

4 points - today at 1:20 AM

SourceDetails - 0 Comments

Show HN: Infat – Declaritive application assocation manager for macOS

88 points - last Thursday at 5:37 PM

SourceDetails - 40 Comments

Show HN: Zev – Remember (or discover) terminal commands

80 points - last Thursday at 4:33 PM

SourceDetails - 35 Comments

Show HN: I made my own TRMNL e-ink device

76 points - last Thursday at 11:34 AM

SourceDetails - 23 Comments

Show HN: An interactive demo of QR codes' error correction

14 points - yesterday at 12:15 PM

SourceDetails - 2 Comments

Show HN: I built an AI that turns GitHub codebases into easy tutorials

892 points - 04/19/2025

SourceDetails - 170 Comments

Show HN: RSS Lookup – Find RSS Feeds for Any URL (Free, Open Source)

6 points - yesterday at 7:22 PM

SourceDetails - 3 Comments

Show HN: Photo.codes – Free, privacy-first photo editor for the web

2 points - yesterday at 11:03 PM

SourceDetails - 2 Comments

Show HN: SnipFast – Extract Highlighted Text from Physical Books

9 points - yesterday at 12:22 PM

SourceDetails - 0 Comments