One Year of Sponsored Servo Development
(servo.org)Nvidia announces native GPU programming in Rust
(developer.nvidia.com)Better Vector Search for Long Documents: Chunking Inside Manticore Search
(manticoresearch.com)Keys Not Included: recovering the signing keys for US driver's license barcodes
(ryan.science)My temporary PHP fix from 2014 has nearly 20M installs. Today I'm deprecating it
(jakeasmith.com)OpenAI Model Misalignment Report
(openai.com)The Relation Between Mathematics and Physics by Paul Dirac
(www.damtp.cam.ac.uk)Training a 4B model to produce 81% faster query plans than Postgres
(rohanbansal.com)Online Z3 Guide
(microsoft.github.io)Lucasart's Afterlife
(togameforlife.wordpress.com)Xiaomi Mimo 2.6 live post-training dashboard
(mimo.xiaomi.com)Comparison of Malloc() Algorithms
(egbert.net)Small programming tricks
(will-keleher.com)Backups Aren't Simple
(filipovski.net)Developing provably correct Rust code with Verus
(www.amazon.science)A 32-year-old bug walks into a Telnet server
(labs.watchtowr.com)The engineering behind the US Strategic Petroleum Reserve
(johnjwang.com)AWS says it can't restore some data from mideast facilities struck by Iran
(www.wsj.com)Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations
(github.com)Cloudflare/Security-Audit-Skill
(github.com)Back to the future: modules for Guix packages (2022)
(hpc.guix.info)HarnessTax: How Much Does the Harness Matter for Coding Agents?
(harnesstax.github.io)PCB is brought to you by Fable 5
(a6mzero.com)The Return of Sail Power: Cargo Ships Are Turning Back to the Wind
(gcaptain.com)Performance Improvements in .NET 11
(devblogs.microsoft.com)Japan's book scene is moving from bookstores to libraries
(untranslatedjp.substack.com)OpenSpec – A lightweight and configurable AI spec framework
(openspec.dev)Reversing Factorio's RNG
(gegell.github.io)