< prev1 / 10 more >

• 606AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury12 hours ago | 102 comments
• 771alpr.watch (alpr.watch)
  by theamk16 hours ago | 51 comments
• 623No Graphics API (sebastianaaltonen.com)
  by ryandrake14 hours ago | 27 comments
• 577Announcing the Beta release of ty (astral.sh)
  by gavide12 hours ago | 24 comments
• 33Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025 (plasticsoldierreview.com)
  by YeGoblynQueenne3 days ago | 6 comments
• 427GPT Image 1.5 (openai.com)
  by charlierguo15 hours ago | 57 comments
• 642Pricing Changes for GitHub Actions (resources.github.com)
  by kevin-david16 hours ago | 157 comments
• 15Show HN: I built a WebMIDI sequencer to control my hardware synths (simplychris.ai)
  by simplychris5 days ago | 2 comments
• 34Venezuela explained in 10 maps and charts (aljazeera.com)
  by Anon843 days ago | 4 comments
• 12TLA+ Modeling Tips (muratbuffalo.blogspot.com)
  by birdculture1 hour ago | 0 comments

< prev1 / 10 more >