< prev1 / 10 more >

• 369Is Mozilla trying hard to kill itself? (infosec.press)
  by pabs32 hours ago | 67 comments
• 675AI will make formal verification go mainstream (martin.kleppmann.com)
  by evankhoury15 hours ago | 110 comments
• 49TLA+ Modeling Tips (muratbuffalo.blogspot.com)
  by birdculture4 hours ago | 3 comments
• 44AI's real superpower: consuming, not creating (msanroman.io)
  by firefoxd3 hours ago | 21 comments
• 810alpr.watch (alpr.watch)
  by theamk19 hours ago | 51 comments
• 685No Graphics API (sebastianaaltonen.com)
  by ryandrake17 hours ago | 29 comments
• 653Announcing the Beta release of ty (astral.sh)
  by gavide15 hours ago | 29 comments
• 24Playing Santa changed Bob Rutan profoundly (esquire.com)
  by Lightbody3 days ago | 3 comments
• 13Modern SID chip substitutes [video] (youtube.com)
  by vismit20003 days ago | 0 comments
• 378No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
  by MrAlex9414 hours ago | 35 comments

< prev1 / 10 more >