5 - Kick-off afternoon : Vladimir Voevodsky, Univalent Foundations

6 - Lectures - Gérard Berry, Constructive semantics, electricity propagation in circuits... 1/2

Thorsten Altenkirch - 2/2 Towards a Syntax for Cubical Type Theory

La bifurcation de Vladimir Voevodsky

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

T2-2014 : Semantics of proofs and certified mathematics

12. Теорема Пуанкаре - Перельмана

БИБЛИЯ: а что там было на самом деле? Разговор без "священной цензуры". Андрей ДЕСНИЦКИЙ.

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

РОССИЯ НЕ МОЖЕТ ОТПРАВЛЯТЬ ЛЮДЕЙ В КОСМОС / 3I/АТЛАС МОЖНО ДОГНАТЬ? Владимир Сурдин

MSIE Webinar : How to Overcome Conflicts Between Associates

1 - Kick-off afternoon : introduction and welcoming word by Cédric Villani

ДНК создал Бог? Самые свежие научные данные о строении. Как работает информация для жизни организмов

4 Hours Chopin for Studying, Concentration & Relaxation

BODYBUILDERS VS CLEANER | Anatoly GYM PRANK #56

Разведчик о том, как использовать людей

Основные теоремы в теории игр — Алексей Савватеев на ПостНауке

Но что такое нейронная сеть? | Глава 1. Глубокое обучение

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

15 шедевров классической музыки для сердца и души | Моцарт, Бетховен, Бах, Шопен, Вивальди

Первое формальное определение вычислительной неприводимости