News

  1. This I Believe (1952) (www.awakin.org)
  2. The foolishness of "natural language programming" (1978) (www.cs.utexas.edu)
  3. Jank – The native Clojure dialect with seamless C++ interop (jank-lang.org)
  4. Docker is weird (codeandcake.dev)
  5. Local Wikipedia: Wikipedia, but only for things a half hour walk from you (edjefferson.com)
  6. LLMs are making formal software verification feasible at a much larger scale (www.anthropic.com)
  7. Railpass (train.samismith.com)
  8. San Francisco Meetup This Saturday (www.astralcodexten.com)
  9. DE STAAT - FREEDOM (Official Music Video) (simonwillison.net)
  10. Hedra is a 3D open world game I wrote from scratch while in highschool (github.com)
  11. Zuckerberg Wants to Keep His Votes (www.bloomberg.com)
  12. Donating Agent Skills to the Agentic AI Foundation (simonwillison.net)
  13. OpenShell – A safe, private runtime for fleets of autonomous AI agents (github.com)
  14. pgrust v0.4-beta: Gravity, Columnar Indexes, Automatic Memory, and Developing in the Open (malisper.me)
  15. Important Tomato Sauce News! (www.alisoneroman.com)
  16. Getting ready to operate GNU Taler in Germany (www.taler.net)
  17. Every AI model has the same "controversial" take on humans (www.modelcompare.ai)
  18. Quoting Armin Ronacher (simonwillison.net)
  19. Run full iOS 16.5 firmware on Android Devices (github.com)
  20. Quad9 to exit France (quad9.net)
  21. eMudhra to exit global SSL/TLS certificate business (emudhra.com)
  22. Xbox wants you to pay 24 to 40 cents per hour to stream games you bought (arstechnica.com)
  23. #34: Bitter Lessoned in Automated Theorem Proving (essays.johnloeber.com)
  24. A Tiny AI Model in Your Browser (bradleydettmer.me)
  25. WorldTUI: I trained a 360M model to pretend to be a terminal (simedw.com)
  26. Successful Software Rewrites With AI (debamitro.github.io)
  27. Deserializing quirky JSON in Rust (orgnizedmess.net)
  28. Metacarp Makes Some Noise (blog.veitheller.de)
  29. Why Global Trepanation? (www.astralcodexten.com)
  30. Today's PHP Security Release, and How We're Strengthening PHP Security (simonwillison.net)
  31. Obviously SpaceX and Tesla Will Merge (www.bloomberg.com)
  32. Objects, attributes, maps, oh my! (bernsteinbear.com)
  33. Rails is a JIT compiler (bernsteinbear.com)
  34. System Guardrails for Software Factories - Building Pits of Success for Agents and Humans (hamy.xyz)
  35. Help set Go's priorities for next year (go.dev)
  36. Mortality Among People with Attention-Deficit/Hyperactivity Disorder (jamanetwork.com)
  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. Color Names (names.color.pizza)
  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)