LINUX.ORG.RU

Лекции по гомотопической теории типов

 ,


3

2

!Ъ — тыц

Ъ:

6 февраля в 19:00 на 4-м этаже бизнес-центра «Таймс» (рядом с Кантемировским мостом) на базе института биоинформатики JetBrains стартует курс лекций Валерия Исаева (СПбАУ), напрямую посвященный гомотопической теории типов.

Первую лекцию можно посмотреть вот здесь

★★★★★

Ээээ, мда, как бы, вот.

alexru ★★★★ ()

Не нужен нам в Духовной России никакой гомосекс.

anonymous ()

Съемка планируется на протяжении всего цикла? Я б посмотрел.

cdshines ★★★★ ()

Борщ дистиллированный.

anonymous ()
Ответ на: комментарий от postman_

Не нужно в саенс ничего тащить! Анонимусу в саенс нельзя и что? Вон там напильник что творит!

anonymous ()
Ответ на: комментарий от anonymous

Клоунаду устраивает, а что не так?

anonymous ()
Ответ на: комментарий от anonymous

science

клоунада

linux.org.ru

а, точно. прошу прощения.

anonymous ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.