• 122 I Am Mark Zuckerberg (iammarkzuckerberg.com)
  by jb1991 3 hours ago | 22 comments
• 223 Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
  by vitalnodo 10 hours ago | 50 comments
• 57 Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican (simonwillison.net)
  by simonw 5 hours ago | 26 comments
• 220 Largest cargo sailboat completes first Atlantic crossing (marineinsight.com)
  by defrost 13 hours ago | 154 comments
• 277 Marko – A declarative, HTML‑based language (markojs.com)
  by ulrischa 14 hours ago | 127 comments
• 17 Runc breaks pods when CPU requests aren't multiples of 10 (github.com)
  by dropbox_miner 4 hours ago | 4 comments
• 20 Defeating Kaslr by Doing Nothing at All (googleprojectzero.blogspot.com)
  by aa_is_op 5 days ago | discuss
• 199 Tabloid: The Clickbait Headline Programming Language (tabloid.vercel.app)
  by sadeshmukh 6 hours ago | 32 comments
• 20 Forth – is it still relevant? (github.com)
  by lioeters 4 hours ago | 6 comments
• 344 Study identifies weaknesses in how AI systems are evaluated (oii.ox.ac.uk)
  by pseudolus 19 hours ago | 174 comments
• 48 How Airbus Took Off (worksinprogress.co)
  by JumpCrisscross 8 hours ago | 35 comments
• 144 Open-source communications by bouncing signals off the Moon (open.space)
  by fortran77 7 days ago | 34 comments
• 39 Show HN: Hephaestus – Autonomous Multi-Agent Orchestration Framework (github.com)
  by idolevi 6 days ago | 3 comments
• 139 Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
  by SchwKatze 6 days ago | 17 comments
• 50 Study finds memory decline surge in young people (onepercentrule.substack.com)
  by drcwpl 4 hours ago | 13 comments
• 157 Avería: The Average Font (2011) (iotic.com)
  by JoshTriplett 13 hours ago | 29 comments
• 68 Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
  by todsacerdoti 10 hours ago | 1 comments
• 3 AI for Senior Software Engineers (emadibrahim.com)
  by eibrahim 5 days ago | discuss
• 30 Show HN: Geofenced chat communities anyone can create (vicinity.social)
  by clarencehoward 6 hours ago | 22 comments
• 41 How to build your own VPN, or: the history of WARP (blog.cloudflare.com)
  by yla92 6 days ago | 9 comments
• 60 Grok 4 Fast now has 2M context window (docs.x.ai)
  by hereme888 5 hours ago | 63 comments
• 27 Syntax and Semantics of Programming Languages (1995) (homepage.cs.uiowa.edu)
  by nill0 6 hours ago | 16 comments
• 23 IRIX Introduction (sgistuff.net)
  by naves 7 hours ago | 5 comments
• 171 WriterdeckOS (writerdeckos.com)
  by surprisetalk 14 hours ago | 99 comments
• 131 Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com)
  by jtbayly 16 hours ago | 29 comments
• 28 Show HN: PingStalker – A a macOS tool for network engineers (pingstalker.com)
  by n1sni 5 days ago | 4 comments
• 484 Valdi – A cross-platform UI framework that delivers native performance (github.com)
  by yehiaabdelm a day ago | 199 comments
• 131 Judge denies request to exempt Flock footage from Public Records Act (goskagit.com)
  by p_ing 8 hours ago | 38 comments
• 4 Show HN: Sparktype – a CMS and SSG that runs entirely in the browser (app.sparktype.org)
  by mattkevan 5 days ago | 1 comments
• 57 What Hallucinogens Will Make You See (2023) (nautil.us)
  by simonebrunozzi 11 hours ago | 60 comments