May. 25th, 2017

дыбр

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

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

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

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

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

Profile

juan_gandhi: (Default)
juan_gandhi

September 2017

S M T W T F S
      1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
1718 1920 21 22 23
24252627282930

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 25th, 2017 06:46 pm
Powered by Dreamwidth Studios