Book by @adamjkucharski explains how certainty, even in math, can be an illusion. "Proof: The Art and Science of Certainty" at http://
amzn.to/4m7gm8l #Mathematics "To discover proof [of something], we must reach into a thicket of errors and biases and embrace uncertainty"
INNOVATION
-
Mathematical Certainty and Proof: Embracing Uncertainty in Discovery
By
–
-
C Compiler to LLM Weights and Logarithmic Attention Innovation
By
–
Wait this is so awesome!! Both 1) the C compiler to LLM weights and 2) the logarithmic complexity hard-max attention and its potential generalizations. Inspiring!
-
Artificial Intelligence for Science: A Deep Learning Revolution
By
–
Artificial Intelligence for Science – A Deep Learning Revolution: http://
amzn.to/457QCTa -
Autoresearch is powerful yet simple
By
–
guys, autoresearch is actually pretty amazing. it’s also a harsh lesson: ditch all your fancy agent infrastructure. just build the simplest possible system to throw more tokens at your problem.
-
Niantic builds VPS mapping technology for enterprise defense robots
By
–
originates from this press cycle around niantic building a vps map for robots under their new enterprise and defense focused mandate as niantic spatial — after spinning out the games business:
-
Responsible AI Deployment: Maximizing Benefits and Mitigating Risks
By
–
the focus should be on deploying this tech in a way that maximizes the upsides and mitigates the downsides
-
Latent Space: Frontier of Pure Possibility in AI
By
–
There is a poetic depth to the term "latent space" that transforms vector coordinates into a frontier of pure possibility
-
Openclaw: Learning Tool for AI Journal Creation
By
–
Just having fun here… Openclaw is a great way to keep learning! https://
open.substack.com/pub/bobgourley
/p/creating-the-claw-street-journal
… -
LeCun’s Temporal Straightening for Latent Planning Paper
By
–
Yann LeCun is pumping out papers recently “Temporal Straightening for Latent Planning” This paper shows that by straightening latent trajectories in a world model, Euclidean distance starts to reflect true reachable progress, so it's closer to geodesic/minimum-step distance.
-
Upcoming AI Model Updates: Gemma 4 and DeepSeek V4
By
–
I'll try to update it with the major ones. E.g., Gemma 4 next week (likely), and DeepSeek V4 any day now