< prev1 / 10 more >

• 295Is Mozilla trying hard to kill itself? (infosec.press)
  by pabs32 hours ago | 59 comments
• 667AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury14 hours ago | 109 comments
• 45TLA+ Modeling Tips (muratbuffalo.blogspot.com)
  by birdculture3 hours ago | 2 comments
• 803alpr.watch (alpr.watch)
  by theamk18 hours ago | 51 comments
• 676No Graphics API (sebastianaaltonen.com)
  by ryandrake16 hours ago | 29 comments
• 30AI's real superpower: consuming, not creating (msanroman.io)
  by firefoxd3 hours ago | 17 comments
• 632Announcing the Beta release of ty (astral.sh)
  by gavide15 hours ago | 27 comments
• 8Modern SID chip substitutes [video] (youtube.com)
  by vismit20003 days ago | 0 comments
• 15Playing Santa Does Things to a Man. What It Did to Bob Rutan Was Even Stranger (esquire.com)
  by Lightbody3 days ago | 2 comments
• 451GPT Image 1.5 (openai.com)
  by charlierguo17 hours ago | 57 comments

< prev1 / 10 more >