- 1 LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
- 1 Death to long-lived static credentials (vercel.com)
- 1 Inkspo (inkspo.ai)
- 1 Intentionally Down (control.softlayer.com)
- 1 Show HN: Walkman – turn-by-turn routing in the browser, built from vector tiles (walkman.uz)
- 1 Noise: Speedrun for Pretraining Without Backpropagation (qlabs.sh)
- 1 Show HN: Taveo – Split bar and restaurant bills without sign-up (taveo.app)
- 1 Startup plans to rejuvenate nuclear power industry with new manufacturing (news.mit.edu)
- 2 Kemp Folds: Ross Kemp's face, folded (kempfolds.blogspot.com)
- 1 Man as Man: A Promise to the Dead (manasman.tiiny.site)
- 1 Created a free intuitive app to browse S3 (s3-client-nu.vercel.app)
- 1 Emulator reimagines Nintendo's Virtual Boy with a full color display (arstechnica.com)
- 1 TorchTPU: Hybrid Eager/Compiled Architecture for Native PyTorch Execution on TPU (arxiv.org)
- 1 GPUs from stolen $500k Nvidia shipment at Brazil airport appear for sale online (tomshardware.com)
- 1 Interoperability vs. Security: Why not both? (eff.org)
- 3 Canadians Are Running Out of Time to Oppose the Dangerous C-22 Surveillance Bill (eff.org)
- 1 Jupiter Is a Jerk (2017) (popularmechanics.com)
- 2 Watching the Watchers (watchingthewatchers.github.io)
- 1 Cerebras Deploys Trillion-Parameter AI Models (cerebras.ai)
- 1 Hot Take – Alex Ewerlöf Notes (blog.alexewerlof.com)
- 1 Full transaction detection for Cloudflare WAF (blog.cloudflare.com)
- 1 Random Number (Xkcd) (xkcd.com)
- 1 Speeding up code review with `small-change` (lethain.com)
- 2 Australia's Hydro Project Snowy 2.0 Now Costs 11 Times Original Estimate (bloomberg.com)
- 1 A Surprise Map of a Book (phasefield.ai)
- 1 Show HN: Work in Progress alternative to OWASP threat dragon (saerskriven.com)
- 2 Calley Means, top MAHA ally, resigns from Trump administration (politico.com)
- 2 Where did my freed memory (not) go? (yapfast.com)
- 1 Claudia.gallery (claudia.gallery)
- 2 The Browser Company Retires Its Arc Browser and Pushes Users to Dia (thurrott.com)