deniok: (ухмыляюсь)
deniok ([personal profile] deniok) wrote2007-11-18 12:31 am

Вторая встреча SPbHUG

Встреча прошла замечательно, все доклады понравились и свой тоже :) Правда свой я безбожно затянул - вместо положенного часа болтал часа полтора как минимум.

Подтверждения моей сугубо личной теории, что плотность правильных людей повышается при приближении к станции метро "Московская", наблюдались, как по факту поездки так и по косвенной информации :) Разрабатываю планы по вытаскиванию соседей в "Республику Кофе" :)

Выложил презентацию своего доклада на сайте SPbHUG.

[identity profile] deni-ok.livejournal.com 2007-11-17 11:06 pm (UTC)(link)
Ага, мне сообщили ;)
Пошли завтра кофе пить :)
У меня как раз вопрос был, насколько мои диаграмки честные с точки зрения ТК.

[identity profile] migmit.livejournal.com 2007-11-18 03:34 pm (UTC)(link)
Первое, боюсь, уже не актуально.
Второе - ну, нечестные, конечно, но, кажется, можно придать им вполне строгий смысл, работая по "When parametricity implies naturality". Впрочем, надо ли? Работает ведь.

[identity profile] deni-ok.livejournal.com 2007-11-18 04:30 pm (UTC)(link)
> Впрочем, надо ли? Работает ведь.

+10 :)))