< prev1 / 2 more >

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

< prev1 / 2 more >