< prev1 / 2 more >

• 22Show HN: Empty Enter Expander – Type less in the terminal with this tool (github.com)
  by waszabi3 hours ago | 2 comments
• 123Show HN: Formalizing Principia Mathematica using Lean (github.com)
  by ndrwnaguib11 hours ago | 8 comments
• 178Show HN: I used OpenAI's new image API for a personalized coloring book service (clevercoloringbook.com)
  by darajava20 hours ago | 29 comments
• 145Show HN: Magnitude – open-source, AI-native test framework for web apps (github.com)
  by anerli13 hours ago | 11 comments
• 76Show HN: A modern spreadsheet with Python integration (citadel5.com)
  by jpiech12 hours ago | 5 comments
• 189Show HN: Lemon Slice Live – Have a video call with a transformer model
  by lcolucci1 day ago | 25 comments
• 3Show HN: VacayBuddy – PTO Management Inside Slack (Open Source) (github.com)
  by letnaturebe5 hours ago | 0 comments
• 109Show HN: BugStalker - a modern Rust debugger (github.com)
  by godzie16 hours ago | 9 comments
• 135Show HN: Colanode, open-source and local-first Slack and Notion alternative (github.com)
  by hakanshehu1 day ago | 14 comments
• 32Show HN: Logiquiz – Daily Self-Referential Puzzles (logiquiz.com)
  by slig2 days ago | 6 comments

< prev1 / 2 more >