< prev1 / 2 more >

• 38Show HN: Empty Enter Expander – Type less in the terminal with this tool (github.com)
  by waszabi9 hours ago | 11 comments
• 149Show HN: Formalizing Principia Mathematica using Lean (github.com)
  by ndrwnaguib17 hours ago | 8 comments
• 160Show HN: Magnitude – open-source, AI-native test framework for web apps (github.com)
  by anerli19 hours ago | 14 comments
• 88Show HN: GS-Calc – A modern spreadsheet with Python integration (citadel5.com)
  by jpiech17 hours ago | 6 comments
• 243Show HN: I used OpenAI's new image API for a personalized coloring book service (clevercoloringbook.com)
  by darajava1 day ago | 41 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
• 111Show HN: BugStalker - a modern Rust debugger (github.com)
  by godzie22 hours ago | 9 comments
• 87Show HN: Faasta – A self-hosted Serverless platform for WASM-wasi-HTTP in Rust (github.com)
  by alexboehm1 day ago | 8 comments
• 34Show HN: Logiquiz – Daily Self-Referential Puzzles (logiquiz.com)
  by slig2 days ago | 6 comments

< prev1 / 2 more >