Alex Simpson — Martín's interval in Scotland

Похожие видео

Andrej Bauer — How to use excluded middle safely

Nicolai Kraus — From Hedberg's theorem to truncation elimination and two-level type theory

Ti9niyat L'Malik f les intégrales. (kat3t9 wlh)

Как заговорить на любом языке? Главная ошибка 99% людей в изучении. Полиглот Дмитрий Петров.

4 Hours Chopin for Studying, Concentration & Relaxation

Steve Vickers — Escardó-Simpson interval objects and point-free trigonometry

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

ЛУЧШИЕ хиты у нас - ПРОХОДНЫЕ песни НА ЗАПАДЕ. Hurts, Savage и другие

Трампу запретили тарифы / Возврат доллара на Мосбиржу / Трансфер из OpenClaw в OpenAI

Комплексные числа. Как мнимое стало реальным // Vital Math

Fredrik Nordvall Forsberg — Representing type theory in type theory

Зачем нужна топология?

Математический анализ Спивака: правильное начало

Ламповый звук: физика, психология, анатомия приятного звучания

Почему работают магниты? Единственный вопрос, на который Фейнман отказался дать ответ.

Dag Normann — Quantifiers in real analysis

Why Intelligent Life Is So Unlikely | Leonard Susskind

Межзвёздный полёт через кротовую нору

ВЕКТОРЫ ЕГЭ ПРОФИЛЬ 2026

Введение в шейдеры: изучите основы!