prev 1 / 10 more

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

prev 1 / 10 more