< prev1 / 10 more >

• 75Is Mozilla trying hard to kill itself? (infosec.press)
  by pabs350 minutes ago | 19 comments
• 631AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury13 hours ago | 104 comments
• 26TLA+ Modeling Tips (muratbuffalo.blogspot.com)
  by birdculture2 hours ago | 0 comments
• 783alpr.watch (alpr.watch)
  by theamk17 hours ago | 51 comments
• 640No Graphics API (sebastianaaltonen.com)
  by ryandrake15 hours ago | 27 comments
• 595Announcing the Beta release of ty (astral.sh)
  by gavide13 hours ago | 26 comments
• 337No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
  by MrAlex9412 hours ago | 33 comments
• 437GPT Image 1.5 (openai.com)
  by charlierguo16 hours ago | 57 comments
• 655Pricing Changes for GitHub Actions (resources.github.com)
  by kevin-david17 hours ago | 161 comments
• 47Venezuela explained in 10 maps and charts (aljazeera.com)
  by Anon843 days ago | 6 comments

< prev1 / 10 more >