May. 25th, 2017

дыбр

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

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

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

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

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

Profile

juan_gandhi: (Default)
juan_gandhi

July 2017

S M T W T F S
       1
2 3 4 5 67 8
9 10 11 1213 14 15
16 17 18 19 202122
23242526272829
3031     

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 21st, 2017 02:39 am
Powered by Dreamwidth Studios