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