Love this distinction between “compiler optimization” and “programming model”. Coming back to a common example, part of Rust’s success is its programming model.
Also, great talk!
I gave a talk at Jane Street about building ML systems!
Although it's nominally about PyTorch, the talk primarily focuses on the notion of a "programming model", and how compiler optimizations are not a programming model.
(1/4)
@BlackHC@keenanisalive I guess the confusion arises from the fact that the self-transition probabilities are not directly highlighted in the animation, giving the illusion that x and y might be events and not states.
Dominic Verity, Mario Carneiro and I just announced a new project to formalize some aspects of ∞-category theory in #Lean via the notion of an ∞-cosmos.
Introducing AlphaGeometry: an AI system that solves Olympiad geometry problems at a level approaching a human gold-medalist. 📐
It was trained solely on synthetic data and marks a breakthrough for AI in mathematical reasoning. 🧵 https://t.co/g3RFSoWNPP
wrote a short note on using parallel scans for backprop: https://t.co/QpEfGFgkSj
turns out there was already a paper on this too! https://t.co/9wIAQSI1nk