News

  1. Kimi K3.1 Pro and K3.1 Pro Highspeed (www.kimi.ai)
  2. Today, we hacked what we'd set out to hack: the iPhone (blog.calif.io)
  3. Pentagon grants DHS permission to test heat ray weapon for use at border (www.cnn.com)
  4. OpenSSL 4.1.0 (github.com)
  5. The AI Story Wall Street Doesn’t Want to Hear (www.derekthompson.org)
  6. Job loss and cortisone mania (tilschuenemann.de)
  7. What’s the value of measuring ARR? (bjorg.bjornroche.com)
  8. The foolishness of "natural language programming" (1978) (www.cs.utexas.edu)
  9. Animations for System Builders: Metastability and Lost Writes (brooker.co.za)
  10. Docker is weird (codeandcake.dev)
  11. Local Wikipedia: Wikipedia, but only for things a half hour walk from you (edjefferson.com)
  12. LLMs are making formal software verification feasible at a much larger scale (www.anthropic.com)
  13. Canadians are running out of time to oppose Bill C-22 (www.eff.org)
  14. How does Fable 5.1 hide messages in images? (www.lesswrong.com)
  15. San Francisco Meetup This Saturday (www.astralcodexten.com)
  16. DE STAAT - FREEDOM (Official Music Video) (simonwillison.net)
  17. Zuckerberg Wants to Keep His Votes (www.bloomberg.com)
  18. Donating Agent Skills to the Agentic AI Foundation (simonwillison.net)
  19. OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com)
  20. pgrust v0.4-beta: Gravity, Columnar Indexes, Automatic Memory, and Developing in the Open (malisper.me)
  21. Important Tomato Sauce News! (www.alisoneroman.com)
  22. Quoting Armin Ronacher (simonwillison.net)
  23. Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key (github.com)
  24. The alien space of science: Coherent but cognitively unavailable directions (arxiv.org)
  25. #34: Bitter Lessoned in Automated Theorem Proving (essays.johnloeber.com)
  26. A Tiny AI Model in Your Browser (bradleydettmer.me)
  27. Successful Software Rewrites With AI (debamitro.github.io)
  28. Deserializing quirky JSON in Rust (orgnizedmess.net)
  29. Metacarp Makes Some Noise (blog.veitheller.de)
  30. Why Global Trepanation? (www.astralcodexten.com)
  31. Today's PHP Security Release, and How We're Strengthening PHP Security (simonwillison.net)
  32. Obviously SpaceX and Tesla Will Merge (www.bloomberg.com)
  33. Objects, attributes, maps, oh my! (bernsteinbear.com)
  34. Rails is a JIT compiler (bernsteinbear.com)
  35. System Guardrails for Software Factories - Building Pits of Success for Agents and Humans (hamy.xyz)
  36. Help set Go's priorities for next year (go.dev)
  37. Against Against Handover (www.astralcodexten.com)
  38. Battle Drones - a vibe coded RTS with audio-based multiplayer (simonwillison.net)
  39. Someone Has to Take the AI Risk (www.bloomberg.com)
  40. The Real Kevin Bacon (pudding.cool)
  41. Everything Is Changing, and Nothing Is Changing (www.derekthompson.org)
  42. An AI usage statement for bryanbraun.com (www.bryanbraun.com)
  43. Blanking Beavers: Results and Open Problems (nickdrozd.github.io)
  44. Missing the Psychosis Forest for the AI Trees (figbert.com)
  45. My obituary for programming (simonwillison.net)
  46. Universal Basic AI (www.bloomberg.com)
  47. Open Thread 456 (www.astralcodexten.com)
  48. Particularly Useful Journalism About DSA (harihareswara.net)
  49. Reading Log #8 (vishnubharathi.codes)
  50. Roger Williams on Organisational Transformation and the use of The Thinking Tools (commoncog.com)
  51. The Hallway Track No. 030: Google Deep Review, AI research taste, AI in dissertations (hallway.aris.pub)
  52. weeknotes #68 (olu.online)
  53. Bitter Lessons and Premature Optimizations (blog.veitheller.de)
  54. Freshening up my website (www.vesto.me)
  55. Your Book Review: Storm Of Steel (www.astralcodexten.com)
  56. Quoting Addy Osmani, Morgan Westlee Lunt, and Qing Wang (simonwillison.net)
  57. The NIST Elliptic Curves Seeds Bounty Has Been Claimed (words.filippo.io)