< prev1 / 10 more >

• 82Docker is weird (codeandcake.dev)
  by psxuaw1 hour ago | 9 comments
• 96LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
  by johnbender2 hours ago | 18 comments
• 996Quad9 (DNS Resolver) to Exit France (quad9.net)
  by farrokhi10 hours ago | 64 comments
• 295OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com)
  by niemandhier7 hours ago | 38 comments
• 8The foolishness of "natural language programming" (1978) (cs.utexas.edu)
  by xiaoyu200635 minutes ago | 3 comments
• 491Woman faces six years in prison over Cash App account she never opened (techspot.com)
  by oidar12 hours ago | 58 comments
• 232Every AI model has the same "controversial" take on humans (modelcompare.ai)
  by rakannimer9 hours ago | 75 comments
• 227Getting ready to operate GNU Taler in Germany (taler.net)
  by dewey9 hours ago | 12 comments
• 321Run full iOS 16.5 firmware on Android Devices (github.com)
  by aghuang10 hours ago | 37 comments
• 718Jailbreaking the Switch 2 (pepsipu.com)
  by ledoge17 hours ago | 43 comments

< prev1 / 10 more >