deniok: (lambda cube)
[personal profile] deniok
Напоминаю, что очередная встреча SPbHUG, которую теперь зовут FProg, пройдёт в четверг, 12 июля в 19:00 в офисе компании Яндекс. Предполагается, что нашему вниманию будут предложены следующие доклады:
  • Jan Malakhovski Введение в Agda.
  • Evgeny Kotelnikov Зависимые типы в Haskell.
  • Andrey Vlasovskikh Команда spb-archlinux на ICFP Contest 2009.

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

Date: 2012-07-09 09:29 am (UTC)
From: [identity profile] nealar.livejournal.com
Предупреждать же надо!

Date: 2012-07-09 09:30 am (UTC)
From: [identity profile] deni-ok.livejournal.com
Ну так было же в рассылке SpbHUG 5 дней назад (см. первую ссылку)!

Date: 2012-07-10 04:27 am (UTC)
From: [identity profile] nealar.livejournal.com
Если учитывать неместных, то поздновато.

Date: 2012-07-09 09:56 am (UTC)
From: [identity profile] ulysses4ever.livejournal.com
Переименование в журнал, который не подаёт признаков жизни больше года, это любопытная стратегия… ;)

Date: 2012-07-09 10:05 am (UTC)
From: [identity profile] deni-ok.livejournal.com
Вошедший в редколлегию этого журнала оказывается на западе с вероятностью равной 1. Correlation or causation?

Date: 2012-07-09 10:07 am (UTC)
From: [identity profile] ulysses4ever.livejournal.com
То есть вы рассчитываете всем SPbHUG'ом войти? =)

Date: 2012-07-09 10:27 am (UTC)
From: [identity profile] deni-ok.livejournal.com
Вот с этой стороны я проблему не рассматривал!

Date: 2012-07-09 10:08 am (UTC)
From: [identity profile] ulysses4ever.livejournal.com
*в смысле, оказаться

Date: 2012-07-09 10:06 am (UTC)
From: [identity profile] astoon.livejournal.com
Спасибо что здесь сообщили. Я как-то пропустил это.
Edited Date: 2012-07-09 10:06 am (UTC)

Date: 2012-07-09 11:37 am (UTC)
From: [identity profile] migmit.livejournal.com
Не смогу никак.

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

Date: 2012-07-09 11:42 am (UTC)
From: [identity profile] deni-ok.livejournal.com
Жалко, что не сможешь! Ну а я понаблюдаю за практическим ответом на вопрос о том, сколько агды можно ужать в 30 минут.

Date: 2012-07-09 12:02 pm (UTC)
From: [identity profile] nivanych.livejournal.com
> сколько агды

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

Date: 2012-07-09 12:08 pm (UTC)
From: [identity profile] deni-ok.livejournal.com
ну как в каких - в миллиОлегах, конечно.

Date: 2012-07-09 03:50 pm (UTC)
From: [identity profile] nivanych.livejournal.com
Может быть, я и неправ, конечно...
Но имхо, только окамёль и хацкёль может так измеряться ;-)

Date: 2012-07-09 05:39 pm (UTC)
From: [identity profile] deni-ok.livejournal.com
Ну не, на http://okmij.org/ftp/formalizations/ есть и Twelf, и Logical Frameworks. Так что, думаю, миллиОлеги подойдут:)
(deleted comment)

Date: 2012-07-09 05:41 pm (UTC)
From: [identity profile] deni-ok.livejournal.com
Я, к сожалению, не организатор, ничего не могу сказать...

Date: 2012-07-10 03:39 am (UTC)
From: [identity profile] udpn.livejournal.com
Так нужно же организатора отпинать, чтобы запись была :)

Date: 2012-07-10 05:48 am (UTC)
From: [identity profile] deni-ok.livejournal.com
Бедный организатор!

Date: 2012-07-10 06:11 am (UTC)
From: [identity profile] udpn.livejournal.com
Всякий организатор должен знать, что его могут невзлюбить, если темы докладов были хорошие, а записи не было.

Я же так понимаю, что доступных текстов докладов не будет, в лучшем случае слайды?
Edited Date: 2012-07-10 06:12 am (UTC)

Date: 2012-08-30 04:14 pm (UTC)
From: [identity profile] yantayga.livejournal.com
Так отпинали?

Date: 2012-08-30 04:49 pm (UTC)
From: [identity profile] yantayga.livejournal.com
Огромное спасибо!

Date: 2012-08-30 04:53 pm (UTC)
From: [identity profile] deni-ok.livejournal.com
вообще-то эта ссылка была в рассылке гуглгруппы SPbHUG полтора месяца назад

Date: 2012-08-30 05:00 pm (UTC)
From: [identity profile] yantayga.livejournal.com
Я ж не в Питере, не вхож в SPbHUG

Date: 2012-08-30 05:47 pm (UTC)
From: [identity profile] deni-ok.livejournal.com
На рассылку-то подписаться можно и не по прописке https://groups.google.com/forum/?hl=ru&fromgroups=#!topic/spbhug/sIwrRFVFtsw

Date: 2012-07-09 06:46 pm (UTC)
From: [identity profile] dmytro starosud (from livejournal.com)
Скажите пожалуйста, а слайды или видео будет доступно?
Очень хочу послушать, но нет возможности быть в живую.

Date: 2012-07-10 05:42 am (UTC)
From: [identity profile] deni-ok.livejournal.com
В рассылке SPbHUG отвечают: "Слайды будут. Попробуем сделать скринкаст. Видео пока под вопросом."

Date: 2012-07-10 06:22 pm (UTC)
From: [identity profile] dmytro starosud (from livejournal.com)
Спасибо большое!

Profile

deniok: (Default)
deniok

February 2022

S M T W T F S
  12345
6789101112
13141516171819
20212223 242526
2728     

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 23rd, 2025 12:18 pm
Powered by Dreamwidth Studios