На Лямблаконфе. Встретил там кучку знакомых. Не мог найти Тони Морриса; потом Глеб сказал, что у него нога сломана; ну ладно, завтра, по ноге, опознаю.
Главное, для меня, событие - это доклад Даны Скотта про лямбды, и как там теория типов возникает "естественным образом", и на что там топологии (известные как топологии Скотта), и как они связаны с финитарностью. Я конспектировал; думал, что сегодня вечером подчищу этот конспект и запощу - но не вышло. Завтра, или как нибудь. Не все понял.
После этого всего пошли в даунтаун, попили пива, поговорили про скалу, спарк, все такое. Потом ужинали ("ужин спикеров"). Потом пешком домой, в смысле в гостиницу. Вот пол-одиннадцатого уже, сил нет никаких; спать залягу, все. Пока.
Кстати, пока слушал, еще погонял word2vec. Ну что, после ста итераций все равно разброс собственных чисел от 0.8 до 0.2.
Да, уже кое-что занятное выяснил про роман. Ну потом.
Главное, для меня, событие - это доклад Даны Скотта про лямбды, и как там теория типов возникает "естественным образом", и на что там топологии (известные как топологии Скотта), и как они связаны с финитарностью. Я конспектировал; думал, что сегодня вечером подчищу этот конспект и запощу - но не вышло. Завтра, или как нибудь. Не все понял.
После этого всего пошли в даунтаун, попили пива, поговорили про скалу, спарк, все такое. Потом ужинали ("ужин спикеров"). Потом пешком домой, в смысле в гостиницу. Вот пол-одиннадцатого уже, сил нет никаких; спать залягу, все. Пока.
Кстати, пока слушал, еще погонял word2vec. Ну что, после ста итераций все равно разброс собственных чисел от 0.8 до 0.2.
Да, уже кое-что занятное выяснил про роман. Ну потом.