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