News

  1. Mathober 2026 Prompts (www.fractalkitty.com)
  2. OpenAI’s Navier-Stokes release included a Lean 4 formal proof (www.johndcook.com)
  3. Native is now the future of mobile at Shopify (simonwillison.net)
  4. Introducing mapsnap: Automated Georeferencing for Historic Sanborn Insurance Maps (danvk.github.io)
  5. Proof of Capture: Apple Reference Image, but open source and using steganography (merybenavente.me)
  6. OpenAI Agents API (developers.openai.com)
  7. Creativity is the new moat (www.inventbuild.studio)
  8. Dallas Gets Some Equities (www.bloomberg.com)
  9. JEP 544: Ahead-of-Time Code Compilation (openjdk.org)
  10. Detecting and countering misuse of AI: September 2026 (www.anthropic.com)
  11. Music Theory for the 21st-Century Classroom (musictheory.pugetsound.edu)
  12. Cognition's SWE-2 achieves 92.8 on Terminal-Bench 2.1 (tokenstead.ai)
  13. Forgejo <=16.0.3 Critical RCE (codeberg.org)
  14. Silicon Valley is transforming the military-industrial complex? (costsofwar.watson.brown.edu)
  15. Neki – Sharded Postgres (planetscale.com)
  16. Cognition launches new SWE-2 model, Rivaling Fable 5.1 and GPT-Astra (cognition.com)
  17. Technique for Manipulating Satellite Photos Now Reveals Ancient Images (2025) (spinoff.nasa.gov)
  18. Don't let anyone take away your big box of cables (blog.jim-nielsen.com)
  19. More Pollinators (cceckman.com)
  20. Shopify is moving from React Native back to Swift and Kotlin (shopify.engineering)
  21. Rust is tier-1 language at Microsoft (rustfoundation.org)
  22. List of references on Sony websites to players "owning" their digital games (consumerrights.wiki)
  23. Royce On San Francisco (www.astralcodexten.com)
  24. AI Safety Is Having a Moment (www.derekthompson.org)
  25. What algorithm did Windows XP use to choose your initial user picture? (devblogs.microsoft.com)
  26. A Logic GUI (occasionallycogent.com)
  27. More questions about whether researchers can trust OpenAI with unpublished math (mathstodon.xyz)
  28. Quoting Calif Research (simonwillison.net)
  29. .blend URL Viewer (simonwillison.net)
  30. iPhone Duo (www.apple.com)
  31. AAA AI (www.bloomberg.com)
  32. Peter, I Meant To Say This (aaronstrick.com)
  33. showing online-go.com games on an e-ink inkplate display (djan.org)
  34. Quoting Terence Tao (simonwillison.net)
  35. AI Dotfiles - How I Take My AI Workflows Across Projects And Machines (hamy.xyz)
  36. On the Navier–Stokes Millennium Prize Problem (simonwillison.net)
  37. Introducing ChatGPT Images 2.5 (simonwillison.net)
  38. Robinhood Tokenized AMC (www.bloomberg.com)
  39. God Help Us, Let’s Try To Learn About Mechanistic Interpretability Techniques (www.astralcodexten.com)
  40. Quoting Jakub Pachocki (simonwillison.net)
  41. In Memoriam (www.alisoneroman.com)
  42. Skirting The Issue (gochugarugirl.com)
  43. Open Thread 450 (www.astralcodexten.com)
  44. The Hallway Track No. 024: Rosalind Workbench, Claude for scientists, LLM edits alter meaning (hallway.aris.pub)
  45. I Wrote a Package Manager Ten Years Ago (blog.veitheller.de)
  46. Research acceleration: The view inside OpenAI (simonwillison.net)
  47. Reading Log #5 (vishnubharathi.codes)
  48. In Practice (read.alonzo.zip)
  49. How I Clean My Glasses (hamy.xyz)
  50. zero (approximateknowledge.net)
  51. Introducing GPT-6 Astra for developers (simonwillison.net)
  52. Using Blender with coding agents on macOS (simonwillison.net)
  53. Making hypothesis testing make sense (minireference.com)
  54. The Pelican comparison grid for Astra is pretty interesting (simonwillison.net)
  55. The LLM Architecture Problem (riskmusings.substack.com)
  56. Your Book Review: The Tale Of Genji (www.astralcodexten.com)
  57. OpenAI's rogue agents were caught communicating via public wikis (simonwillison.net)
  58. Infinite Lives, 1986: Arkanoid (approximateknowledge.net)
  59. Support Local Variables (bernsteinbear.com)