• 243 Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
  by vitalnodo 11 hours ago | 56 comments
• 219 I Am Mark Zuckerberg (iammarkzuckerberg.com)
  by jb1991 3 hours ago | 68 comments
• 64 Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican (simonwillison.net)
  by simonw 6 hours ago | 31 comments
• 229 Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
  by defrost 14 hours ago | 159 comments
• 284 Marko – A declarative, HTML‑based language (markojs.com)
  by ulrischa 15 hours ago | 130 comments
• 22 Runc breaks pods when CPU requests aren't multiples of 10 (github.com)
  by dropbox_miner 5 hours ago | 4 comments
• 25 Defeating Kaslr by Doing Nothing at All (googleprojectzero.blogspot.com)
  by aa_is_op 5 days ago | discuss
• 207 Tabloid: The Clickbait Headline Programming Language (tabloid.vercel.app)
  by sadeshmukh 7 hours ago | 33 comments
• 26 Forth – is it still relevant? (github.com)
  by lioeters 5 hours ago | 10 comments
• 345 Study identifies weaknesses in how AI systems are evaluated (oii.ox.ac.uk)
  by pseudolus 19 hours ago | 174 comments
• 160 Open-source communications by bouncing signals off the Moon (open.space)
  by fortran77 7 days ago | 39 comments
• 41 Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework (github.com)
  by idolevi 6 days ago | 3 comments
• 140 Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
  by SchwKatze 6 days ago | 17 comments
• 58 How Airbus Took Off (worksinprogress.co)
  by JumpCrisscross 8 hours ago | 43 comments
• 161 Avería: The Average Font (2011) (iotic.com)
  by JoshTriplett 14 hours ago | 29 comments
• 64 Study finds memory decline surge in young people (onepercentrule.substack.com)
  by drcwpl 4 hours ago | 22 comments
• 68 Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
  by todsacerdoti 11 hours ago | 1 comments
• 29 Syntax and Semantics of Programming Languages (1995) (homepage.cs.uiowa.edu)
  by nill0 6 hours ago | 18 comments
• 72 Grok 4 Fast now has 2M context window (docs.x.ai)
  by hereme888 5 hours ago | 114 comments
• 42 How to build your own VPN, or: the history of WARP (blog.cloudflare.com)
  by yla92 6 days ago | 10 comments
• 31 Show HN: Geofenced chat communities anyone can create (vicinity.social)
  by clarencehoward 7 hours ago | 23 comments
• 26 IRIX Introduction (sgistuff.net)
  by naves 8 hours ago | 8 comments
• 6 Show HN: Sparktype – a CMS and SSG that runs entirely in the browser (app.sparktype.org)
  by mattkevan 5 days ago | 3 comments
• 174 WriterdeckOS (writerdeckos.com)
  by surprisetalk 15 hours ago | 100 comments
• 30 Show HN: PingStalker – A a macOS tool for network engineers (pingstalker.com)
  by n1sni 5 days ago | 5 comments
• 132 Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com)
  by jtbayly 17 hours ago | 30 comments
• 486 Valdi – A cross-platform UI framework that delivers native performance (github.com)
  by yehiaabdelm a day ago | 199 comments
• 512 Why is Zig so cool? (nilostolte.github.io)
  by vitalnodo a day ago | 461 comments
• 142 Judge denies request to exempt Flock footage from Public Records Act (goskagit.com)
  by p_ing 9 hours ago | 44 comments
• 100 Opencloud – An alternative to Nextcloud written in Go (github.com)
  by todsacerdoti 17 hours ago | 31 comments