Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Политика конфиденциальности | Согласие на обработку персональных данных
Спор о первом языке программирования: окончательное решение / Виталий Брагилевский (JetBrains)
Виталий Брагилевский — Монады - не приговор
Зачем нужен Zig, и чем он отличается от других языков
Цепи Маркова — математика предсказаний [Veritasium]
1. Доказательство в интуиционистской и классической логиках
Шевченко Денис. Зачем нужен Haskell: ленивые вычисления
Haskell - лень против строгости #Хаскелл (часть 1 из 2)
Виталий Брагилевский — JavaScript на службе у теоретической информатики
Вводная лекция по теории алгоритмов
