Peano arithmetic is enough, because Peano arithmetic encodes computation
(math.stackexchange.com)
Weekly Best
61.
62.
Self-Adapting Language Models
(arxiv.org)
63.
Is there a half-life for the success rates of AI agents?
(tobyord.com)
64.
Dull Men’s Club
(theguardian.com)
66.
Andrej Karpathy's talk on the future of the industry
(donnamagi.com)
67.
Benzene at 200
(chemistryworld.com)
69.
What would a Kubernetes 2.0 look like
(matduggan.com)
73.
74.
No Hello
(nohello.net)
75.
76.
Terpstra Keyboard
(terpstrakeyboard.com)
77.
78.
Why JPEGs still rule the web (2024)
(spectrum.ieee.org)
79.
The Missing 11th of the Month (2015)
(drhagen.com)
80.
Q-learning is not yet scalable
(seohong.me)
81.
Juneteenth in Photos
(texashighways.com)
82.
Last fifty years of integer linear programming: Recent practical advances (2024)
(inria.hal.science)
83.
Implementing Logic Programming
(btmc.substack.com)
84.
Learn Makefiles
(makefiletutorial.com)
85.
LLMs pose an interesting problem for DSL designers
(kirancodes.me)
86.
Infinite Grid of Resistors
(mathpages.com)
87.
88.
Selfish reasons for building accessible UIs
(nolanlawson.com)
89.
Google Cloud Incident Report – 2025-06-13
(status.cloud.google.com)
90.
Writing documentation for AI: best practices
(docs.kapa.ai)