deniok: (lambda cube)
Сделал вчера на очередной встрече SPbHUG доклад про лямбда-куб Барендрегта (подробности см. на юзерпике).

Народ (которого было как селедок в бочке, ну то есть неожиданно много) сильно повеселила чудесная аксиома:


Выложил на сайте SPbHUG слайды к докладу и мой перевод на русский (с комментариями) первого раздела пятой главы замечательного обзора Хенка Барендрегта: Henk Barendregt, Lambda calculi with types, в Handbook of Logic in Computer Science. Угощайтесь на здоровье, кто в английском не столь искушен как в русском.
deniok: (Default)
Материал к завтрашнему обсуждению на SpbHUG "Устройство компилятора GHC"






Стырено из первоисточника.
deniok: (Default)
Выложу-ка я мой ответ [livejournal.com profile] kurilka про применение Theorems for free как пост, а то в докладе на SPbHUG я это как-то не успел рассказать.


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

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

Выложил презентацию своего доклада на сайте SPbHUG.
deniok: (Default)
Все уже отчитались: [livejournal.com profile] dtim  у себя, [livejournal.com profile] antilamer  у себя. Мне остается только запоздало выложить фотки.

Read more... )

Profile

deniok: (Default)
deniok

April 2017

S M T W T F S
      1
23 45678
9101112131415
16171819202122
23242526272829
30      

Syndicate

RSS Atom

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 24th, 2017 03:17 am
Powered by Dreamwidth Studios