< prev1 / 10 more >

• 253Docker is weird (codeandcake.dev)
  by psxuaw5 hours ago | 27 comments
• 212LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
  by johnbender5 hours ago | 35 comments
• 1070Quad9 (DNS Resolver) to Exit France (quad9.net)
  by farrokhi14 hours ago | 68 comments
• 53Mortality Among People with Attention-Deficit/Hyperactivity Disorder (jamanetwork.com)
  by gumby2 days ago | 6 comments
• 63The Secret Life of Circuits is now in stock everywhere (blog.coredump.cx)
  by surprisetalk2 days ago | 6 comments
• 592Woman charged with computer fraud due to scam CashApp account being in her name (404media.co)
  by oidar15 hours ago | 65 comments
• 341OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com)
  by niemandhier11 hours ago | 41 comments
• 299Every AI model has the same "controversial" take on humans (modelcompare.ai)
  by rakannimer12 hours ago | 93 comments
• 45Jank – The native Clojure dialect with seamless C++ interop (jank-lang.org)
  by giancarlostoro4 hours ago | 1 comments
• 360Run full iOS 16.5 firmware on Android Devices (github.com)
  by aghuang13 hours ago | 40 comments

< prev1 / 10 more >