May. 25th, 2017

дыбр

May. 25th, 2017 10:28 pm
juan_gandhi: (Default)
 На Лямблаконфе. Встретил там кучку знакомых. Не мог найти Тони Морриса; потом Глеб сказал, что у него нога сломана; ну ладно, завтра, по ноге, опознаю.

Главное, для меня, событие - это доклад Даны Скотта про лямбды, и как там теория типов возникает "естественным образом", и на что там топологии (известные как топологии Скотта), и как они связаны с финитарностью. Я конспектировал; думал, что сегодня вечером подчищу этот конспект и запощу - но не вышло. Завтра, или как нибудь. Не все понял.

После этого всего пошли в даунтаун, попили пива, поговорили про скалу, спарк, все такое. Потом ужинали ("ужин спикеров"). Потом пешком домой, в смысле в гостиницу. Вот пол-одиннадцатого уже, сил нет никаких; спать залягу, все. Пока.

Кстати, пока слушал, еще погонял word2vec. Ну что, после ста итераций все равно разброс собственных чисел от 0.8 до 0.2.

Да, уже кое-что занятное выяснил про роман. Ну потом.

Profile

juan_gandhi: (Default)
juan_gandhi

June 2017

S M T W T F S
     1 2 3
4 5 67 8 9 10
11 12 13 14 15 16 17
18 19 20 21 222324
252627282930 

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 22nd, 2017 11:52 pm
Powered by Dreamwidth Studios