< prev1 / 10 more >

• 144Docker is weird (codeandcake.dev)
  by psxuaw2 hours ago | 14 comments
• 134LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
  by johnbender3 hours ago | 24 comments
• 35The foolishness of "natural language programming" (1978) (cs.utexas.edu)
  by xiaoyu20061 hour ago | 10 comments
• 1016Quad9 (DNS Resolver) to Exit France (quad9.net)
  by farrokhi11 hours ago | 66 comments
• 311OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com)
  by niemandhier8 hours ago | 39 comments
• 524Woman faces six years in prison over Cash App account she never opened (techspot.com)
  by oidar13 hours ago | 60 comments
• 254Every AI model has the same "controversial" take on humans (modelcompare.ai)
  by rakannimer10 hours ago | 82 comments
• 24AI compute is the new oil–and needs a new market (economist.com)
  by ijidak2 hours ago | 8 comments
• 229Getting ready to operate GNU Taler in Germany (taler.net)
  by dewey10 hours ago | 12 comments
• 331Run full iOS 16.5 firmware on Android Devices (github.com)
  by aghuang11 hours ago | 38 comments

< prev1 / 10 more >