36:27

[RUS] Александр Кошкин: "PyPy: так ли он страшен? (возможно)"

46:37

Михаил Гельфанд — Типичные задачи биоинформатики

1:39:30

Кузнецов С.Л. Coq: построение и проверка математических доказательств на компьютере (22.04.2020)

1:59:14

Разбор МЭ ВсОШ РТ 2024 / Miston Solo

1:37:26

Абдуламин Исмаилов//Введение в теорию типов

31:01

Я 20 лет писал код и вот что я думаю

1:30:06

Per Martin Löf: How did 'judgement' come to be a term of logic ?

22:30

Неожиданный эксперимент! GPT4 объясняет гомотопическую теорию типов. Смотреть до конца // Vital Math