< prev1 / 10 more >

• 586AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury11 hours ago | 102 comments
• 764alpr.watch (alpr.watch)
  by theamk16 hours ago | 51 comments
• 609No Graphics API (sebastianaaltonen.com)
  by ryandrake13 hours ago | 27 comments
• 560Announcing the Beta release of ty (astral.sh)
  by gavide12 hours ago | 23 comments
• 20Venezuela explained in 10 maps and charts (aljazeera.com)
  by Anon843 days ago | 1 comments
• 7TLA+ Modeling Tips (muratbuffalo.blogspot.com)
  by birdculture1 hour ago | 0 comments
• 14Show HN: I built a WebMIDI sequencer to control my hardware synths (simplychris.ai)
  by simplychris5 days ago | 2 comments
• 29Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025 (plasticsoldierreview.com)
  by YeGoblynQueenne3 days ago | 6 comments
• 423GPT Image 1.5 (openai.com)
  by charlierguo15 hours ago | 56 comments
• 1Subsets (YC S23) is hiring engineers in Copenhagen, Denmark (workatastartup.com)
  2 hours ago |

< prev1 / 10 more >