< prev1 / 10 more >

• 175Is Mozilla trying hard to kill itself? (infosec.press)
  by pabs31 hour ago | 42 comments
• 641AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury13 hours ago | 107 comments
• 34TLA+ Modeling Tips (muratbuffalo.blogspot.com)
  by birdculture2 hours ago | 1 comments
• 792alpr.watch (alpr.watch)
  by theamk18 hours ago | 51 comments
• 657No Graphics API (sebastianaaltonen.com)
  by ryandrake15 hours ago | 27 comments
• 608Announcing the Beta release of ty (astral.sh)
  by gavide14 hours ago | 27 comments
• 5Playing Santa Does Things to a Man. What It Did to Bob Rutan Was Even Stranger (esquire.com)
  by Lightbody3 days ago | 0 comments
• 349No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
  by MrAlex9412 hours ago | 34 comments
• 8AI's real superpower: consuming, not creating (msanroman.io)
  by firefoxd2 hours ago | 2 comments
• 443GPT Image 1.5 (openai.com)
  by charlierguo16 hours ago | 57 comments

< prev1 / 10 more >