< prev1 / 10 more >

• 339Docker is weird (codeandcake.dev)
  by psxuaw6 hours ago | 31 comments
• 262LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
  by johnbender7 hours ago | 41 comments
• 12Local Wikipedia: Wikipedia, but only for things a half hour walk from you (edjefferson.com)
  by sohkamyung7 hours ago | 5 comments
• 47This I Believe (1952) (awakin.org)
  by ctoth4 hours ago | 5 comments
• 8The alien space of science: Coherent but cognitively unavailable directions (arxiv.org)
  by martincsweiss17 hours ago | 1 comments
• 358OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com)
  by niemandhier12 hours ago | 46 comments
• 336Every AI model has the same "controversial" take on humans (modelcompare.ai)
  by rakannimer14 hours ago | 97 comments
• 386Run full iOS 16.5 firmware on Android Devices (github.com)
  by aghuang15 hours ago | 41 comments
• 100The foolishness of "natural language programming" (1978) (cs.utexas.edu)
  by xiaoyu20065 hours ago | 21 comments
• 67Jank – The native Clojure dialect with seamless C++ interop (jank-lang.org)
  by giancarlostoro6 hours ago | 3 comments

< prev1 / 10 more >