< prev1 / 2 more >

• 252Show HN: My self-written hobby OS is finally running on my vintage IBM ThinkPad (github.com)
  by joexbayer8 hours ago | 21 comments
• 5Show HN: Rocal UI – A simple template engine with Rust (github.com)
  by picolt2 hours ago | 0 comments
• 174Show HN: Formalizing Principia Mathematica using Lean (github.com)
  by ndrwnaguib1 day ago | 10 comments
• 296Show HN: I used OpenAI's new image API for a personalized coloring book service (clevercoloringbook.com)
  by darajava1 day ago | 45 comments
• 169Show HN: Magnitude – open-source, AI-native test framework for web apps (github.com)
  by anerli1 day ago | 14 comments
• 95Show HN: GS-Calc – A modern spreadsheet with Python integration (citadel5.com)
  by jpiech1 day ago | 6 comments
• 43Show HN: Empty Enter Expander – Type less in the terminal with this tool (github.com)
  by waszabi17 hours ago | 11 comments
• 2Show HN: AgenticSeek – Self-hosted Manus alternative (github.com)
  by Fosowl3 hours ago | 0 comments
• 2Show HN: I build a Fantasy NHL app in 3 days with Claude AI
  by recvonline3 hours ago | 0 comments
• 4Show HN: Install CLI Apps via Plain HTTP – No Docker, No Binaries, Just Curl (pport.top)
  by vseplet4 hours ago | 3 comments

< prev1 / 2 more >