< prev1 / 10 more >

• 156I Am Mark Zuckerberg (iammarkzuckerberg.com)
  by jb19912 hours ago | 18 comments
• 226Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
  by vitalnodo10 hours ago | 13 comments
• 60Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican (simonwillison.net)
  by simonw5 hours ago | 4 comments
• 224Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
  by defrost13 hours ago | 24 comments
• 279Marko – A declarative, HTML‑based language (markojs.com)
  by ulrischa14 hours ago | 30 comments
• 19Runc breaks pods when CPU requests aren't multiples of 10 (github.com)
  by dropbox_miner4 hours ago | 2 comments
• 21Defeating Kaslr by Doing Nothing at All (googleprojectzero.blogspot.com)
  by aa_is_op4 days ago | 0 comments
• 22Forth – is it still relevant? (github.com)
  by lioeters4 hours ago | 6 comments
• 200Tabloid: The Clickbait Headline Programming Language (tabloid.vercel.app)
  by sadeshmukh6 hours ago | 25 comments
• 7AI for Senior Software Engineers (emadibrahim.com)
  by eibrahim4 days ago | 3 comments

< prev1 / 10 more >