![[Berkeley Seminar] Mike Dodds (Galois) | What works and doesn't selling formal methods in industry](https://i.ytimg.com/vi/Z2bTpsO4fcc/hqdefault.jpg?sqp=-oaymwE9CNACELwBSFryq4qpAy8IARUAAAAAGAElAADIQj0AgKJDeAHwAQH4Af4JgALQBYoCDAgAEAEYZSBlKGUwDw==&rs=AOn4CLAspUr-5IC2Jm_PTRNdh1DQTZd6MQ)
▶︎
[Berkeley Seminar] Mike Dodds (Galois) | What works and doesn't selling formal methods in industry

▶︎
Joe Moeller: Hybrid systems as coalgebras: Lyapunov morphisms for Zeno stability
![[TopOx] Steve Awodey: Path Types in Algebraic Type Theory](https://i.ytimg.com/vi/lanvZuki4qQ/hqdefault.jpg?sqp=-oaymwE9CNACELwBSFryq4qpAy8IARUAAAAAGAElAADIQj0AgKJDeAHwAQH4Af4JgALQBYoCDAgAEAEYYSBhKGEwDw==&rs=AOn4CLBnCHu4aGeqtlPObcy6RoGsZPdxNA)
▶︎
[TopOx] Steve Awodey: Path Types in Algebraic Type Theory
![[Berkeley Seminar] William Troiani | Programs as Singularities](https://i.ytimg.com/vi/3DwkYrleuLU/hqdefault.jpg?sqp=-oaymwE9CNACELwBSFryq4qpAy8IARUAAAAAGAElAADIQj0AgKJDeAHwAQH4AboJgALQBYoCDAgAEAEYZSBlKGUwDw==&rs=AOn4CLAFcDfRieg2XXAU4Vpi8bHGUvwgxw)
▶︎
[Berkeley Seminar] William Troiani | Programs as Singularities

▶︎
The Hardest Questions in Physics | World Science Festival
![Yann LeCun's $1B Bet Against LLMs [Part 1]](https://i.ytimg.com/vi/kYkIdXwW2AE/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLDbV4izF3i-wxevCVIn7FJjoy1vlA)
▶︎
Yann LeCun's $1B Bet Against LLMs [Part 1]

▶︎
William Dunham, A tribute to Euler

▶︎
Brian Cox breaks down the most mysterious scale in the cosmos

▶︎
Train Your Brain to Never Forget (5 Feynman Habits)

▶︎
Anthropic is Completely F*cked.

▶︎
Five years in 49 minutes

▶︎
Analogy as the Core of Cognition

▶︎
Weird Things Happen When Energy Goes Negative

▶︎
Scientists Stopped Light Completely — Then Brought It Back | PROF. LENE HAU

▶︎
Oligarchy is worse than you think

▶︎
Yann LeCun: World Models: Enabling the next AI revolution

▶︎
Jeremy Gibbons: Total Functional Programming, Reloaded

▶︎
The Strange Math That Predicts (Almost) Anything

▶︎
The Riemann Hypothesis, Explained
![[2-torial] Toposes: from topological spaces to databases](https://i.ytimg.com/vi/mNFibqlr_Bk/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLC1r5zEDL88u7fBHdycH731xKm5ug)
▶︎
