- 1Lean Theorem Prover Mathlib (github.com)
- 2Laundry Insights from Scraping 4000 Washer/Dryers in San Francisco (kavi.sh)
- 1Show HN: A game engine that transpiles your scripts to Rust for native perf (github.com)
- 1Using a projector instead of a computer monitor (blog.shenjiasi.com)
- 2FDA leaders propose new 'plausible mechanism' pathway for bespoke medicines (raps.org)
- 1If a Meta AI model can read a brain-wide signal, why wouldn't the brain? (1393.xyz)
- 2Shooting at Brown U Barus and Holley building houses engineering and physics (rhodeislandcurrent.com)
- 1Honing rods analyzed with an electron microscope – Scienceofsharp (2018) (scienceofsharp.com)
- 1How to Extend Phone Battery Life: 10 Proven Hacks (dailytechhacks.com)
- 2Show HN: Libefaxx – A Microbenchmark for AWS EFA GPU/CPU RDMA Communication (github.com)
- 3Therapeutic Use of Cannabis and Cannabinoids: A Review (jamanetwork.com)
- 4Free Software Awards Winners Announced: Andy Wingo, Alx Sa, Govdirectory (fsf.org)
- 1NeuralOperator Joins the PyTorch Ecosystem (pytorch.org)
- 5States lodge lawsuit against Trump's $100k H-1B visa fee (politico.com)
- 1Evaluating Gemini Robotics Policies in a Veo World Simulator (veo-robotics.github.io)
- 3Quantum Computing Could Put IBM Back on Top Again (barrons.com)
- 2Awesome-Jj: Jujutsu Things (github.com)
- 1Emulating AVX-512 intrinsics in Miri (trifectatech.org)
- 1Unswitching Loops for Fun and Profit (xania.org)
- 3Job isn't programming (codeandcake.dev)
- 2Making Windows Terminal with GitHub Copilot CLI (developer.microsoft.com)
- 1Resolving an ambiguity in the Windows clipboard automated text conversion table (devblogs.microsoft.com)
- 1Coffee Pod Financing (newsletterhunt.com)
- 1OpenAI Ends 'Vesting Cliff' for New Employees in Compensation-Policy Change (wsj.com)
- 2New Rule Forbids Gnome Shell Extensions Made Using AI Generated Code (phoronix.com)
- 1A unscientific guide to the security of various PQC algorithms (keymaterial.net)
- 4How Did the CIA Lose a Nuclear Device? (nytimes.com)
- 4Vibe Coding Is Boring (cassidoo.co)
- 4How Resilient Will the U.S. Consumer Be Without a Job? (bloomberg.com)
- 2Apple locks account after redeeming gift card (daringfireball.net)