< prev1 / 10 more >

• 290Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
  by vitalnodo13 hours ago | 16 comments
• 478I Am Mark Zuckerberg (iammarkzuckerberg.com)
  by jb19916 hours ago | 44 comments
• 19Ask HN: How would u setup a child's first Linux computer?
  by evolve2k1 hour ago | 13 comments
• 86Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican (simonwillison.net)
  by simonw8 hours ago | 6 comments
• 262Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
  by defrost16 hours ago | 30 comments
• 10The overengineered Solution to my Pigeon Problem (maxnagy.com)
  by cyb0rg06 days ago | 8 comments
• 305Marko – A declarative, HTML‑based language (markojs.com)
  by ulrischa17 hours ago | 33 comments
• 39Show HN: I built a self-hosted error tracker in Rails (telebugs.com)
  by kyrylo8 days ago | 6 comments
• 51Defeating Kaslr by Doing Nothing at All (googleprojectzero.blogspot.com)
  by aa_is_op5 days ago | 3 comments
• 55Forth – is it still relevant? (github.com)
  by lioeters7 hours ago | 16 comments

< prev1 / 10 more >