< prev1 / 10 more >

• 253Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
  by vitalnodo11 hours ago | 15 comments
• 273I Am Mark Zuckerberg (iammarkzuckerberg.com)
  by jb19913 hours ago | 29 comments
• 68Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican (simonwillison.net)
  by simonw6 hours ago | 4 comments
• 234Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
  by defrost14 hours ago | 25 comments
• 290Marko – A declarative, HTML‑based language (markojs.com)
  by ulrischa15 hours ago | 31 comments
• 26Runc breaks pods when CPU requests aren't multiples of 10 (github.com)
  by dropbox_miner5 hours ago | 3 comments
• 33Defeating Kaslr by Doing Nothing at All (googleprojectzero.blogspot.com)
  by aa_is_op4 days ago | 1 comments
• 31Forth – is it still relevant? (github.com)
  by lioeters5 hours ago | 10 comments
• 212Tabloid: The Clickbait Headline Programming Language (tabloid.vercel.app)
  by sadeshmukh7 hours ago | 25 comments
• 350Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
  by pseudolus19 hours ago | 31 comments

< prev1 / 10 more >