News

  1. New HIV vaccine shows unprecedented success in preclinical study (www.lji.org)
  2. Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com)
  3. Psychology Research Is Mostly Fine (www.astralcodexten.com)
  4. Kimi Linear: An Expressive, Efficient Attention Architecture (arxiv.org)
  5. DMARC Has Been Public Since 2012. 68.4% of Domains Still Don't Enforce It (ciphercue.com)
  6. Google's Beyond Zero: Enterprise Security for the AI Era (spawn-queue.acm.org)
  7. About the security content of macOS Tahoe 26.6 (support.apple.com)
  8. 7.1 Earthquake in Japan (www.data.jma.go.jp)
  9. Ars Astronomica – English translations of rare Hebrew and Latin astronomy texts (arsastronomica.com)
  10. PyTorch: A Reference Language (docs.pytorch.org)
  11. The inliner is yielding benefits for ZJIT (bernsteinbear.com)
  12. A $500 RL fine-tune of a 9B open model beat frontier models on catalog review (fermisense.com)
  13. If AI Writes All the Code, What Do the Programmers Do? (probablydance.com)
  14. Vehicle Motion Cues (support.apple.com)
  15. moonshotai/Kimi-K3 (simonwillison.net)
  16. Kimi K3 Now Available via Telnyx Inference API (telnyx.com)
  17. Benchmarking Opus 5 on SlopCodeBench (github.com)
  18. Our position on open-weights models (www.anthropic.com)
  19. An opinionated guide to which AI to use to do stuff (simonwillison.net)
  20. A Merger Closing Mystery (www.bloomberg.com)
  21. Project Monopoly: The Angel Islington (gochugarugirl.com)
  22. What Does It Look Like When You Handle Disruption Well? (commoncog.com)
  23. “Steph Curry: fluke or breakthrough” ten years later (blog.plover.com)
  24. Blog Newsletter Restored (punchagan.muse-amuse.in)
  25. Open Thread 444 (www.astralcodexten.com)
  26. Tactical Decision Game with John Schmitt (commoncog.com)
  27. The Hallway Track No. 018: Genesis Mission $5B, Challengescape problem directory, team science vs. solo AI agents (hallway.aris.pub)
  28. Mid-Training and the Middle-End (blog.veitheller.de)
  29. An Inside Look at the Relay Market Powering Token Resellers and Fraud (simonwillison.net)
  30. Doing Okay-ish with AI at the AI-proof competition (blog.greg.technology)
  31. weeknotes #62 (olu.online)
  32. Invention 2 by J. S. Bach (blog.jacobvosmaer.nl)
  33. Production ML-DSA Verification in 350 Lines of Python (words.filippo.io)
  34. It gets better: A letter to my younger self (bugwhisperer.dev)
  35. Porting Super Hexagon to the Playdate (captnemo.in)
  36. Some vegan recipes (kevingal.com)
  37. Welcome to the Classroom of Meritocratic Supremacy (read.alonzo.zip)
  38. Birduino: A card-triggered audio player for [learning] the birds (hannahilea.com)
  39. Watching Go's new garbage collector move through the heap (theconsensus.dev)
  40. Quoting Boris Cherny (simonwillison.net)
  41. Introducing Claude Opus 5 (simonwillison.net)
  42. Your Book Review: Breakdown In Pakistan (www.astralcodexten.com)
  43. How to Survive Boiling Water (taxa.substack.com)
  44. The Hugging Face Incident (www.astralcodexten.com)
  45. Cranban is a tool for collaborating with robots (patrickweaver.net)
  46. I'm running a programming contest (eieio.games)
  47. Printing tiny photos for paper journals (macwright.com)
  48. The first known runaway AI agent - or a very bad marketing stunt? (simonwillison.net)
  49. If You're Reading This I'm Free (blog.danielsosebee.com)
  50. Sports Happen So Much (www.bloomberg.com)
  51. Sheena Ringo in Sound & Recording (disk.horse)
  52. What Is Lost When We Make 'The Odyssey' Modern (www.derekthompson.org)
  53. Every exterior shot in *The Taking of Pelham 123* (iafisher.com)
  54. Exercises in benchmarking and evals, part 7: DeepSWE, Senior SWE-Bench, napkin math, and winter tires (danluu.com)
  55. Simple Sudoku Solvers SII, EV: Racket/miniKanren (blog.veitheller.de)
  56. Quoting Thomas Ptacek (simonwillison.net)
  57. OpenAI’s accidental cyberattack against Hugging Face is science fiction that happened (simonwillison.net)
  58. Are AI labs pelicanmaxxing? (simonwillison.net)
  59. The SEC Pays a Texting Fine (www.bloomberg.com)
  60. Links For July 2026 (Part 1) (www.astralcodexten.com)
  61. Back to basics: The Hundred-Page Languages Models Book, Chapter 1 (www.maayanroth.com)
  62. Things I know about beets (lucymcphail.com)
  63. GPT 5.6 + OpenCode vs Claude + Claude Code - First Impressions (hamy.xyz)
  64. Call for lightning talks: Haskell Symposium 2026 (decomposition.al)
  65. LSE Will Trade 22.83 Hours a Day (www.bloomberg.com)
  66. Category Theory Day One (www.robbielyman.com)