Tutorial 1 Dan Licata A Fibrational Framework for Modal Simple Type Theories

Цепи Маркова — математика предсказаний [Veritasium]

Как Сделать Настольный ЭЛЕКТРОЭРОЗИОННЫЙ Станок?

Tutorial 5 Dan Licata A Fibrational Framework for Modal Dependent Type Theories

Что такое квантовая теория

Почему эллипс это сложно и не существует формулы периметра эллипса

Grigori Perelman documentary

4 Hours Chopin for Studying, Concentration & Relaxation

Tutorial 2 Felix Wellen The Shape Modality in Real cohesive HoTT and Covering Spaces

Парадокс разгибания кривой доски

Первый взгляд на новый одноплатный компьютер Orange pi 4 pro. Тест производительности.

The Hard Limits of Software Engineering (No Silver Bullet)

Michael Shulman Semantics of higher modalities

Nvidia's Jensen Huang on an AI Bubble, Trump, and the Arms Race with China

Что такое СПИН? спин 1/2 и 3/2

Учебник по Excel за 15 минут

Травматолог №1: Суставы в 40, будут как в 20! Главное внедрите эти простые привычки

Откуда в ядерном реакторе появляется плутоний

КУСТО УВИДЕЛ ЧТО СКРЫВАЛИ НА ДНЕ БАЙКАЛА! О ЧЕМ МОЛЧАЛ СССР?

Уоррен Баффет: Если вы хотите разбогатеть, перестаньте покупать эти 5 вещей.

Самая Сложная Задача В Истории Самой Сложной Олимпиады