Christopher Townsend — Escardo’s Patch

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

Peter Dybjer — Are universes open or closed?

LLM и GPT - как работают большие языковые модели? Визуальное введение в трансформеры

Жириновский: остатки Ирана и Турции войдут в состав России! Воскресный вечер с Соловьевым. 13.05.18

Alex Simpson — Martín's interval in Scotland

Учащимся об информатике и компьютерах, 1988

Фильм Алексея Семихатова «ГРАВИТАЦИЯ»

🧠 ГЕНИЙ, КОТОРЫЙ ВИДИТ БОЛЬШЕ ДРУГИХ 🎬 Профессор Т 🏷 ДЕТЕКТИВНЫЙ СЕРИАЛ. 1 сезон.

АУДИО. Как звучал древнерусский язык? • Подкаст Arzamas о русском языке • s01e01

Ulrich Berger — Non-strictly positive induction for breadth-first search

Weng Kin Ho — The "Collatz problem" of domain theory: Is FS = RB?

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

Thierry Coquand — Sheaf models of dependent type theory

GLM-5 УНИЧТОЖИЛА DeepSeek! Бесплатная нейросеть БЕЗ ограничений. Полный тест 2026

Как Гений Математик разгадал тайну вселенной

Andrew Swan — The cohomology of the natural numbers in cubical assemblies

Закон Джоуля-Ленца

РАЗВИВАЕМ СЛУХ - Интервалы на слух за 20 минут

Парадокс дней рождения | Лекции по математике – математик Алексей Савватеев | Научпоп

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