• 263 Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
  by vitalnodo 12 hours ago | 61 comments
• 324 I Am Mark Zuckerberg (iammarkzuckerberg.com)
  by jb1991 5 hours ago | 108 comments
• 76 Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican (simonwillison.net)
  by simonw 7 hours ago | 34 comments
• 241 Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
  by defrost 15 hours ago | 166 comments
• 294 Marko – A declarative, HTML‑based language (markojs.com)
  by ulrischa 16 hours ago | 138 comments
• 37 Defeating Kaslr by Doing Nothing at All (googleprojectzero.blogspot.com)
  by aa_is_op 5 days ago | 1 comments
• 31 Runc breaks pods when CPU requests aren't multiples of 10 (github.com)
  by dropbox_miner 6 hours ago | 6 comments
• 355 Study identifies weaknesses in how AI systems are evaluated (oii.ox.ac.uk)
  by pseudolus 20 hours ago | 175 comments
• 35 Forth – is it still relevant? (github.com)
  by lioeters 6 hours ago | 18 comments
• 169 Open-source communications by bouncing signals off the Moon (open.space)
  by fortran77 7 days ago | 41 comments
• 219 Tabloid: The Clickbait Headline Programming Language (tabloid.vercel.app)
  by sadeshmukh 8 hours ago | 33 comments
• 18 Show HN: I built a self-hosted error tracker in Rails (telebugs.com)
  by kyrylo 9 days ago | 7 comments
• 70 How Airbus Took Off (worksinprogress.co)
  by JumpCrisscross 9 hours ago | 51 comments
• 146 Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
  by SchwKatze 6 days ago | 22 comments
• 43 Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework (github.com)
  by idolevi 6 days ago | 4 comments
• 7 Blue Origin Launches NASA's Escapade Mission to Mars: How to Watch (nytimes.com)
  by fleahunter 39 minutes ago | 3 comments
• 51 How to build your own VPN, or: the history of WARP (blog.cloudflare.com)
  by yla92 6 days ago | 12 comments
• 173 Avería: The Average Font (2011) (iotic.com)
  by JoshTriplett 15 hours ago | 29 comments
• 3 Toolkit to help you get started with Spec-Driven Development (github.com)
  by mooreds 6 days ago | discuss
• 79 Study finds memory decline surge in young people (onepercentrule.substack.com)
  by drcwpl 6 hours ago | 35 comments
• 85 Grok 4 Fast now has 2M context window (docs.x.ai)
  by hereme888 7 hours ago | 148 comments
• 68 Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
  by todsacerdoti 12 hours ago | 2 comments
• 12 Show HN: Sparktype – a CMS and SSG that runs entirely in the browser (app.sparktype.org)
  by mattkevan 5 days ago | 3 comments
• 36 Show HN: Geofenced chat communities anyone can create (vicinity.social)
  by clarencehoward 8 hours ago | 24 comments
• 32 Syntax and Semantics of Programming Languages (1995) (homepage.cs.uiowa.edu)
  by nill0 7 hours ago | 18 comments
• 32 IRIX Introduction (sgistuff.net)
  by naves 9 hours ago | 16 comments
• 36 Show HN: PingStalker – A a macOS tool for network engineers (pingstalker.com)
  by n1sni 5 days ago | 5 comments
• 136 Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com)
  by jtbayly 18 hours ago | 30 comments
• 489 Valdi – A cross-platform UI framework that delivers native performance (github.com)
  by yehiaabdelm a day ago | 199 comments
• 519 Why is Zig so cool? (nilostolte.github.io)
  by vitalnodo a day ago | 463 comments