
▶︎
Europe Is KICKING OUT Palantir

▶︎
RESTORING THE ORDER 2026 - DAY-1 #dunsinoyekan #worship #intimacy
![[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
![[2-torial] Toposes: from topological spaces to databases](https://i.ytimg.com/vi/mNFibqlr_Bk/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLC1r5zEDL88u7fBHdycH731xKm5ug)
▶︎
[2-torial] Toposes: from topological spaces to databases
![[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

▶︎
One of the most important algebras -- The Witt Algebra

▶︎
2026 EMS Lecture Series on Mathematics Education. Lecture 6: Terence Tao
![[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

▶︎
The Hardest Questions in Physics | World Science Festival

▶︎
We're 99.9% sure this pattern is true, but no one can prove it

▶︎
Joe Moeller: Hybrid systems as coalgebras: Lyapunov morphisms for Zeno stability

▶︎
Turing Award Winner: Disagreeing with Google, Postgres, Future Problems | Mike Stonebraker

▶︎
Lie Algebras and Homotopy Theory - Jacob Lurie

▶︎
The Riemann Hypothesis, Explained

▶︎
Terence Tao: Nobody Understands Why AI Actually Works

▶︎
Weird Things Happen When Energy Goes Negative

▶︎
AI Was Never About Helping You | Cory Doctorow

▶︎
Anthropic is Completely F*cked.

▶︎
In Defense of String Theory

▶︎
