• 30 Architecture Description Languages [pdf] (ics.uci.edu)
  by ascent817 a day ago | 2 comments
• 324 Show HN: Ant – A JavaScript runtime and ecosystem (antjs.org)
  by theMackabu 2 days ago | 148 comments
• 88 Show HN: Orbit – AR satellite tracker, watch 15k+ objects (nagylukas.github.io)
  by lukas9 3 days ago | 19 comments
• 6 Bending Spoons Hiring Strategy (wsj.com)
  by sanj 9 hours ago | 1 comments
• 1487 Decoding the obfuscated bash script on a Uniqlo t-shirt (tris.sherliker.net)
  by speerer 6 days ago | 232 comments
• 133 Autopsy Study Finds Replicating SARS-CoV-2 in the Hearts of Long Covid (my.uscap.org)
  by thenerdhead 2 days ago | 48 comments
• 206 Punk, or why I don't stream anymore (geohot.github.io)
  by surprisetalk 4 days ago | 241 comments
• 135 Your code is fast if you're lucky (tiki.li)
  by chrka 3 days ago | 85 comments
• 820 Postgres rewritten in Rust, now passing 100% of the Postgres regression tests (github.com)
  by SweetSoftPillow 5 days ago | 723 comments
• 71 Digital Deli, 1984 book by early PC hackers and enthusiasts (atariarchives.org)
  by achairapart 6 days ago | 12 comments
• 38 Fibonacci's Real Mathematical Legacy (blogs.nature.com)
  by ColinWright 6 days ago | 13 comments
• 1648 Apple sues OpenAI, accuses ex-employees of stealing trade secrets (9to5mac.com)
  by stock_toaster 3 days ago | 953 comments
• 96 Show HN: Reverse-engineering web apps into agent tools
  by pancomplex 5 days ago | 40 comments
• 198 Under federal rule, colleges must leave grads better off or lose financial aid (npr.org)
  by nradov 2 days ago | 532 comments
• 87 Show HN: Shirei, cross-platform GUI framework in native Go (github.com)
  by hsn915 2 days ago | 57 comments
• 16 Circular Obstacle Pathfinding (2017) (redblobgames.github.io)
  by andsoitis a day ago | 2 comments
• 3 OpenAI's new Agent Sandbox Cloud [video] (youtube.com)
  by iacguy 8 hours ago | discuss
• 7 Show HN: Web App Uses RTL-SDR to Align HDTV Antenna (tunerscope.com)
  by robotastic a day ago | discuss
• 185 War Atlas: An interactive cartography of every named war in human history (waratlas.org)
  by NaOH 3 days ago | 79 comments
• 43 Show HN: Sqlsure – deterministic semantic checks for AI-generated SQL (github.com)
  by tejusarora 2 days ago | 7 comments
• 559 Good Tools Are Invisible (gingerbill.org)
  by theanonymousone 4 days ago | 272 comments
• 119 Launch HN: Context.dev (YC S26) – API to get structured data from any website (context.dev)
  by TheYahiaBakour 5 days ago | 86 comments
• 45 G#: A modern .NET language with Go, Kotlin, and Swift ergonomics (davidobando.github.io)
  by mashally 2 days ago | 27 comments
• 534 GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf] (cdn.openai.com)
  by scrlk 3 days ago | 436 comments
• 17 Show HN: Skillscript – A declarative, sandboxed language for tool orchestration (github.com)
  by sshwarts 2 days ago | 31 comments
• 5 Microsoft commits $2.5B, 6k employees AI implementation unit (cnbc.com)
  by rbanffy 8 hours ago | 4 comments
• 8 Superfile: A fancy, modern terminal file manager (superfile.dev)
  by thunderbong 12 hours ago | 3 comments
• 10 The Unreasonable Effectiveness of LLMs in Mathematics (chrishayduk.com)
  by rfv6723 a day ago | 1 comments
• 317 SpaceX wants to launch 100k more Starlink satellites for 100x the bandwidth (zdnet.com)
  by CrankyBear 3 days ago | 1227 comments
• 353 An update on residential proxies and the scraper situation (lwn.net)
  by chmaynard 3 days ago | 381 comments