To whom it may concern

[deniok]

Напоминаю, что очередная встреча SPbHUG, которую теперь зовут FProg, пройдёт в четверг, 12 июля в 19:00 в офисе компании Яндекс. Предполагается, что нашему вниманию будут предложены следующие доклады:

• Jan Malakhovski Введение в Agda.
• Evgeny Kotelnikov Зависимые типы в Haskell.
• Andrey Vlasovskikh Команда spb-archlinux на ICFP Contest 2009.

Подробная информация и регистрация на странице встречи.

Comments

[nealar.livejournal.com]

Предупреждать же надо!

[deni-ok.livejournal.com]

Ну так было же в рассылке SpbHUG 5 дней назад (см. первую ссылку)!

[nealar.livejournal.com]

Если учитывать неместных, то поздновато.

[ulysses4ever.livejournal.com]

Переименование в журнал, который не подаёт признаков жизни больше года, это любопытная стратегия… ;)

[deni-ok.livejournal.com]

Вошедший в редколлегию этого журнала оказывается на западе с вероятностью равной 1. Correlation or causation?

[ulysses4ever.livejournal.com]

То есть вы рассчитываете всем SPbHUG'ом войти? =)

[deni-ok.livejournal.com]

Вот с этой стороны я проблему не рассматривал!

[ulysses4ever.livejournal.com]

*в смысле, оказаться

[astoon.livejournal.com]

Спасибо что здесь сообщили. Я как-то пропустил это.

[migmit.livejournal.com]

Не смогу никак.

Впрочем, что можно рассказать за полчаса...

[deni-ok.livejournal.com]

Жалко, что не сможешь! Ну а я понаблюдаю за практическим ответом на вопрос о том, сколько агды можно ужать в 30 минут.

[nivanych.livejournal.com]

> сколько агды

Это в каких единицах измерения? ;-)

[deni-ok.livejournal.com]

ну как в каких - в миллиОлегах, конечно.

[nivanych.livejournal.com]

Может быть, я и неправ, конечно...
Но имхо, только окамёль и хацкёль может так измеряться ;-)

[deni-ok.livejournal.com]

Ну не, на http://okmij.org/ftp/formalizations/ есть и Twelf, и Logical Frameworks. Так что, думаю, миллиОлеги подойдут:)

[deni-ok.livejournal.com]

Я, к сожалению, не организатор, ничего не могу сказать...

[udpn.livejournal.com]

Так нужно же организатора отпинать, чтобы запись была :)

[deni-ok.livejournal.com]

Бедный организатор!

[udpn.livejournal.com]

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

Я же так понимаю, что доступных текстов докладов не будет, в лучшем случае слайды?

[deni-ok.livejournal.com]

http://lanyrd.com/2012/fprog-07/schedule/

[udpn.livejournal.com]

Ага, спасибо большое.

[yantayga.livejournal.com]

Так отпинали?

[deni-ok.livejournal.com]

http://lanyrd.com/2012/fprog-07/schedule/

[yantayga.livejournal.com]

Огромное спасибо!

[deni-ok.livejournal.com]

вообще-то эта ссылка была в рассылке гуглгруппы SPbHUG полтора месяца назад

[yantayga.livejournal.com]

Я ж не в Питере, не вхож в SPbHUG

[deni-ok.livejournal.com]

На рассылку-то подписаться можно и не по прописке https://groups.google.com/forum/?hl=ru&fromgroups=#!topic/spbhug/sIwrRFVFtsw

[deni-ok.livejournal.com]

http://lanyrd.com/2012/fprog-07/schedule/

[dmytro starosud (from livejournal.com)]

Скажите пожалуйста, а слайды или видео будет доступно?
Очень хочу послушать, но нет возможности быть в живую.

[deni-ok.livejournal.com]

В рассылке SPbHUG отвечают: "Слайды будут. Попробуем сделать скринкаст. Видео пока под вопросом."

[dmytro starosud (from livejournal.com)]

Спасибо большое!

[deni-ok.livejournal.com]

http://lanyrd.com/2012/fprog-07/schedule/