Proof Theory Foundations, Lecture 4

Type Theory Foundations, Lecture 1

Proof Theory Foundations, Lecture 1

Type Theory Foundations, Lecture 5

Category Theory Foundations, Lecture 1

Oregon Programming Languages Summer School 2012

Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман

Why particles might not exist | Sabine Hossenfelder, Hilary Lawson, Tim Maudlin

11-летняя девочка поражает своей игрой! Алиса Генриетта Юнкер - Будущая Звезда Мировых Шахмат!

Крах Jaguar: Как “повестка” в рекламе добила легенду британского автопрома

Yuval Noah Harari: Why advanced societies fall for mass delusion

Венеция Стоит На СВАЯХ? Инженерная ложь о сваях, которые не гниют 1000 лет

«Вот теперь я задумался об эмиграции»: зачем Кремль заблокировал Roblox и как реагируют россияне

Types for Program Modules - Robert Harper

Category Theory Foundations, Lecture 3

Proof Theory Foundations, Lecture 3

Как устроена ФСБ России

КАК СОЗДАВАЛСЯ КОРАН: История, которую не рассказывают в мечетях

Kleene Algebras and Applications - Alexandra Silva [1/4]

Куда исчезает пространство, если уменьшить его до Планковской длины?

Anatomy of AI Agents: Inside LLMs, RAG Systems, & Generative AI