• 86 One Year of Sponsored Servo Development (servo.org)
  by AshleysBrain 2 hours ago | 38 comments
• 47 GLM Built Its Own Inference Infrastructure (z.ai)
  by whiteros_e 2 hours ago | 20 comments
• 705 Nvidia announces native GPU programming in Rust (developer.nvidia.com)
  by nonmaskable a day ago | 285 comments
• 177 Keys Not Included: recovering the signing keys for US driver's license barcodes (ryan.science)
  by Ryan5453 8 hours ago | 65 comments
• 119 My temporary PHP fix from 2014 has nearly 20M installs. Today I'm deprecating it (jakeasmith.com)
  by jakeasmith 2 days ago | 24 comments
• 54 The Relation Between Mathematics and Physics by Paul Dirac (damtp.cam.ac.uk)
  by rramadass 4 days ago | 20 comments
• 559 Training a 4B model to produce 81% faster query plans than Postgres (rohanbansal.com)
  by polyphilz 16 hours ago | 118 comments
• 26 OpenAI Model Misalignment Report (openai.com)
  by qprofyeh 3 hours ago | 8 comments
• 440 Xiaomi Mimo 2.6 live post-training dashboard (mimo.xiaomi.com)
  by krackers 15 hours ago | 115 comments
• 24 Lucasart's Afterlife (togameforlife.wordpress.com)
  by Bondi_Blue 2 days ago | 17 comments
• 77 Comparison of Malloc() Algorithms (egbert.net)
  by egberts1 2 days ago | 12 comments
• 245 Backups Aren't Simple (filipovski.net)
  by afilipovski 14 hours ago | 147 comments
• 5 Online Z3 Guide (microsoft.github.io)
  by Bluestein 2 days ago | discuss
• 528 Small programming tricks (will-keleher.com)
  by signa11 19 hours ago | 239 comments
• 67 Cloudflare/Security-Audit-Skill (github.com)
  by donk8r 6 hours ago | 14 comments
• 116 Developing provably correct Rust code with Verus (amazon.science)
  by Betelbuddy 3 days ago | 19 comments
• 209 Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)
  by matt_d 14 hours ago | 33 comments
• 62 A 32-year-old bug walks into a Telnet server (labs.watchtowr.com)
  by paimapi a day ago | 27 comments
• 209 The engineering behind the US Strategic Petroleum Reserve (johnjwang.com)
  by johnjwang 2 days ago | 79 comments
• 2170 Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations (github.com)
  by arnemunthekaas 2 days ago | 243 comments
• 96 The Return of Sail Power: Cargo Ships Are Turning Back to the Wind (gcaptain.com)
  by gumby 10 hours ago | 61 comments
• 410 AWS says it can't restore some data from mideast facilities struck by Iran (wsj.com)
  by berkeleyjunk 2 days ago | 342 comments
• 132 HarnessTax: How Much Does the Harness Matter for Coding Agents? (harnesstax.github.io)
  by matt_d 12 hours ago | 53 comments
• 295 Performance Improvements in .NET 11 (devblogs.microsoft.com)
  by soheilpro 2 days ago | 64 comments
• 31 Back to the future: modules for Guix packages (2022) (hpc.guix.info)
  by bmacho 2 days ago | 1 comments
• 193 Japan's book scene is moving from bookstores to libraries (untranslatedjp.substack.com)
  by herbertl 5 days ago | 79 comments
• 108 PCB is brought to you by Fable 5 (a6mzero.com)
  by jasonpeacock 3 days ago | 53 comments
• 139 OpenSpec – A lightweight and configurable AI spec framework (openspec.dev)
  by etoxin 12 hours ago | 63 comments
• 211 Reversing Factorio's RNG (gegell.github.io)
  by jheitmann 5 days ago | 34 comments
• 152 Anecdotally, programmers dislike "reduce" (evanhahn.com)
  by vinhnx 3 days ago | 234 comments