May. 25th, 2017

дыбр

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

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

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

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

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

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

September 2025

S M T W T F S
 1 2345 6
78 9 10 111213
14151617181920
21222324252627
282930    

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 13th, 2025 10:19 am
Powered by Dreamwidth Studios