< prev1 / 10 more >

• 210Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
  by vitalnodo8 hours ago | 12 comments
• 41Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican (simonwillison.net)
  by simonw3 hours ago | 3 comments
• 263Marko – A declarative, HTML‑based language (markojs.com)
  by ulrischa13 hours ago | 29 comments
• 208Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
  by defrost11 hours ago | 21 comments
• 179Tabloid: The Clickbait Headline Programming Language (tabloid.vercel.app)
  by sadeshmukh4 hours ago | 23 comments
• 339Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
  by pseudolus17 hours ago | 31 comments
• 32Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework (github.com)
  by idolevi5 days ago | 1 comments
• 13Defeating Kaslr by Doing Nothing at All (googleprojectzero.blogspot.com)
  by aa_is_op4 days ago | 0 comments
• 137Open-source communications by bouncing signals off the Moon (open.space)
  by fortran776 days ago | 9 comments
• 14Forth – is it still relevant? (github.com)
  by lioeters2 hours ago | 3 comments

< prev1 / 10 more >