< prev1 / 10 more >

• 824I Am Mark Zuckerberg (iammarkzuckerberg.com)
  by jb199110 hours ago | 69 comments
• 316Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
  by vitalnodo17 hours ago | 19 comments
• 109Alive internet theory (alivetheory.net)
  by manbitesdog4 hours ago | 25 comments
• 39About KeePassXC's Code Quality Control (keepassxc.org)
  by haakon1 hour ago | 3 comments
• 117Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican (simonwillison.net)
  by simonw12 hours ago | 7 comments
• 329Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
  by defrost20 hours ago | 30 comments
• 49The overengineered solution to my pigeon problem (2022) (maxnagy.com)
  by cyb0rg06 days ago | 15 comments
• 11How to get the GOT address from a PLT stub using GDB (rafaelbeirigo.github.io)
  by rafaelbeirigo7 days ago | 1 comments
• 92Ask HN: How would you set up a child’s first Linux computer?
  by evolve2k5 hours ago | 49 comments
• 326Marko – A declarative, HTML‑based language (markojs.com)
  by ulrischa21 hours ago | 35 comments

< prev1 / 10 more >