< prev1 / 10 more >

• 332Docker is weird (codeandcake.dev)
  by psxuaw6 hours ago | 31 comments
• 256LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
  by johnbender7 hours ago | 40 comments
• 43This I Believe (1952) (awakin.org)
  by ctoth4 hours ago | 5 comments
• 358OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com)
  by niemandhier12 hours ago | 46 comments
• 332Every AI model has the same "controversial" take on humans (modelcompare.ai)
  by rakannimer14 hours ago | 97 comments
• 385Run full iOS 16.5 firmware on Android Devices (github.com)
  by aghuang14 hours ago | 41 comments
• 99The foolishness of "natural language programming" (1978) (cs.utexas.edu)
  by xiaoyu20065 hours ago | 21 comments
• 65Jank – The native Clojure dialect with seamless C++ interop (jank-lang.org)
  by giancarlostoro6 hours ago | 3 comments
• 250Getting ready to operate GNU Taler in Germany (taler.net)
  by dewey14 hours ago | 14 comments
• 1114Quad9 to exit France (quad9.net)
  by farrokhi15 hours ago | 68 comments

< prev1 / 10 more >