< prev1 / 2 more >

• 29Show HN: Empty Enter Expander – Type less in the terminal with this tool (github.com)
  by waszabi5 hours ago | 7 comments
• 134Show HN: Formalizing Principia Mathematica using Lean (github.com)
  by ndrwnaguib14 hours ago | 8 comments
• 215Show HN: I used OpenAI's new image API for a personalized coloring book service (clevercoloringbook.com)
  by darajava22 hours ago | 34 comments
• 151Show HN: Magnitude – open-source, AI-native test framework for web apps (github.com)
  by anerli15 hours ago | 12 comments
• 81Show HN: A modern spreadsheet with Python integration (citadel5.com)
  by jpiech14 hours ago | 5 comments
• 192Show HN: Lemon Slice Live – Have a video call with a transformer model
  by lcolucci1 day ago | 26 comments
• 110Show HN: BugStalker - a modern Rust debugger (github.com)
  by godzie18 hours ago | 9 comments
• 136Show HN: Colanode, open-source and local-first Slack and Notion alternative (github.com)
  by hakanshehu2 days ago | 14 comments
• 86Show HN: Faasta – A self-hosted Serverless platform for WASM-wasi-HTTP in Rust (github.com)
  by alexboehm1 day ago | 7 comments
• 33Show HN: Logiquiz – Daily Self-Referential Puzzles (logiquiz.com)
  by slig2 days ago | 6 comments

< prev1 / 2 more >