< prev1 / 10 more >

• 555AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury10 hours ago | 96 comments
• 739alpr.watch (alpr.watch)
  by theamk15 hours ago | 50 comments
• 576No Graphics API (sebastianaaltonen.com)
  by ryandrake12 hours ago | 27 comments
• 521Announcing the Beta release of ty (astral.sh)
  by gavide11 hours ago | 22 comments
• 21Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025 (plasticsoldierreview.com)
  by YeGoblynQueenne3 days ago | 2 comments
• 48VA Linux: The biggest dotcom IPO (dfarq.homeip.net)
  by giuliomagnifico5 days ago | 3 comments
• 274No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
  by MrAlex9410 hours ago | 27 comments
• 1Subsets (YC S23) is hiring engineers in Copenhagen, Denmark (workatastartup.com)
  1 hour ago |
• 8Show HN: I built a WebMIDI sequencer to control my hardware synths (simplychris.ai)
  by simplychris5 days ago | 0 comments
• 411GPT Image 1.5 (openai.com)
  by charlierguo14 hours ago | 54 comments

< prev1 / 10 more >