< prev1 / 10 more >

• 192Docker is weird (codeandcake.dev)
  by psxuaw3 hours ago | 21 comments
• 171LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
  by johnbender4 hours ago | 31 comments
• 1034Quad9 (DNS Resolver) to Exit France (quad9.net)
  by farrokhi12 hours ago | 67 comments
• 321OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com)
  by niemandhier9 hours ago | 40 comments
• 547Woman faces six years in prison over Cash App account she never opened (techspot.com)
  by oidar14 hours ago | 62 comments
• 24Mortality Among People with Attention-Deficit/Hyperactivity Disorder (jamanetwork.com)
  by gumby2 days ago | 2 comments
• 32The Secret Life of Circuits is now in stock everywhere (blog.coredump.cx)
  by surprisetalk2 days ago | 6 comments
• 270Every AI model has the same "controversial" take on humans (modelcompare.ai)
  by rakannimer11 hours ago | 87 comments
• 237Getting ready to operate GNU Taler in Germany (taler.net)
  by dewey11 hours ago | 12 comments
• 344Run full iOS 16.5 firmware on Android Devices (github.com)
  by aghuang11 hours ago | 39 comments

< prev1 / 10 more >