LINUX.ORG.RU
Форум — Development  

Встреча FProg 2012-07 в Петербурге

 ,


0

3

Для тех кто в танке^W^W не читает лямбда-планету

В четверг, 12 июля 2012 года в 19:00 в петербургском офисе компании Яндекс при поддержке компании JetBrains и журнала «Практика функционального программирования» пройдёт очередная встреча FProg.

бла-бла-бла

Обязательная запись на встречу для доступа в офис осуществляется на странице встречи через Twitter-аккаунт.

Темы докладов:

  • Евгений Котельников. Зависимые типы в Haskell
  • Ян Малаховски. Введение в Agda
  • Андрей Власовских. Команда spb-archlinux на ICFP Contest 2009
★★★★★

Не знаешь, после будут выложено видео докладов? К сожалению, не могу попасть.

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

про видео не знаю, но раньше у spbhug всегда были доступны слайды. про видео узнаю и отпишусь.

ymn ★★★★★
() автор топика

На выходных никак? Я бы из дс приезжал. :(

tensai_cirno ★★★★★
()

Обязательная запись … через Twitter-аккаунт

Да они совсем оборзели!

kim-roader ★★
()
Ответ на: комментарий от ymn

А чем это — «Википедия закрывается на сутки» — не оффтопик? И ведь даже не мини-новость!

buddhist ★★★★★
()

Agda уже мейнстрим, как я погляжу :)

jtootf ★★★★★
()

и журнала «Практика функционального программирования»

кстати, кто-нибудь в курсе, он еще жив? Последний выпуск больше года назад был

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

не видел сообщений о его закрытии.

Последний выпуск больше года назад был

а ты написал статью в fprog? ;)

ymn ★★★★★
() автор топика

Увы, не смогу. А то интересно, чего можно нарассказать про агду за полчаса?

Miguel ★★★★★
()

когда в Киеве встречу проведут?

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