< prev1 / 10 more >

• 282Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
  by vitalnodo12 hours ago | 16 comments
• 420I Am Mark Zuckerberg (iammarkzuckerberg.com)
  by jb19915 hours ago | 42 comments
• 79Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican (simonwillison.net)
  by simonw7 hours ago | 5 comments
• 251Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
  by defrost15 hours ago | 28 comments
• 34Show HN: I built a self-hosted error tracker in Rails (telebugs.com)
  by kyrylo8 days ago | 5 comments
• 302Marko – A declarative, HTML‑based language (markojs.com)
  by ulrischa17 hours ago | 32 comments
• 47Defeating Kaslr by Doing Nothing at All (googleprojectzero.blogspot.com)
  by aa_is_op5 days ago | 3 comments
• 48Forth – is it still relevant? (github.com)
  by lioeters6 hours ago | 14 comments
• 361Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
  by pseudolus21 hours ago | 31 comments
• 12Toolkit to help you get started with Spec-Driven Development (github.com)
  by mooreds5 days ago | 1 comments

< prev1 / 10 more >