BitFunctor Meetup

102 views
Skip to first unread message

Alex

unread,
Dec 26, 2014, 10:22:00 AM12/26/14
to spb...@googlegroups.com
Привет всем!

Командировки закончились, наш проект Bitfunctor http://bitfunctor.net/ оброс некоторым кодом и пониманием, но вместе с тем есть еще очень много белых пятен, которые хотелось бы обсудить в приятной атмосфере ) Предлагаю собраться в конце праздников(8-9 января), или сразу после. Кто желает участвовать ?




Best regards, Alexander

Николай Рыжиков

unread,
Dec 27, 2014, 9:16:55 AM12/27/14
to spb...@googlegroups.com
Привет мы думали собрать общефункциональный митап где-нибудь во второй декаде января - haskell, cloujure, erlang! Предлагаю объединиться!

Николай Рыжиков

unread,
Dec 27, 2014, 9:23:01 AM12/27/14
to spb...@googlegroups.com
Вот выбиралка для времени - http://doodle.com/iteei3wbni7sn6ih

--
Отправить сообщение в SPb HUG: spb...@googlegroups.com
Отменить подписку: spbhug-un...@googlegroups.com
Страница группы: http://groups.google.com/group/spbhug?hl=ru
---
Вы получили это сообщение, поскольку подписаны на одну из тем в группе "SPb Haskell User Group".
Чтобы отменить подписку на эту тему, перейдите по ссылке https://groups.google.com/d/topic/spbhug/M33JwYfmeJg/unsubscribe.
Чтобы отменить подписку на эту группу и все ее темы, отправьте письмо на электронный адрес spbhug+un...@googlegroups.com.
Чтобы настроить другие параметры, перейдите по ссылке https://groups.google.com/d/optout.

Alex

unread,
Dec 27, 2014, 3:02:57 PM12/27/14
to spb...@googlegroups.com
Отлично, давайте вместе, будет интереснее!

Проголосовал

Best regards, Alexander

Николай Рыжиков

unread,
Jan 6, 2015, 4:39:02 PM1/6/15
to spb...@googlegroups.com
Дата определилась - 16 января. Место JetBrains на васильевском. Время 19:00

Мы хотели  завтра уже анонсировать встречу - как насчет докладов от Haskell группы?

73's nicola

пятница, 26 декабря 2014 г., 18:22:00 UTC+3 пользователь Alex написал:

Николай Рыжиков

unread,
Jan 8, 2015, 3:24:22 PM1/8/15
to spb...@googlegroups.com
Регистрация на встречу - http://spb-fp-meetup.timepad.ru/event/manage/174162/


пятница, 26 декабря 2014 г., 18:22:00 UTC+3 пользователь Alex написал:
Привет всем!

Alex

unread,
Jan 12, 2015, 10:59:30 AM1/12/15
to spb...@googlegroups.com
Ждем всех желающих на обсуждение проекта bitFunctor!

Проект bitFunctor. Распределенная система хранения специфицированных элементов функционального кода  Андрей Ляшин

В докладе рассказывается о проекте, ставящего своей целью создание распределенной программной среды, позволяющей хранить и осуществлять поиск элементов фунционального кода (функций и типов), их строгих спецификаций и доказательств соответствия кода спецификации в рамках среды Coq. Описываются возможные подходы к созданию подобной системы, выносятся на обсуждение ряд потенциальных проблем, могущих возникнуть при ее эксплуaтации. Дается обзор текущей стадии разработки. Доклад нацелен в большей степени на профессиональную дискуссию.


Reply all
Reply to author
Forward
0 new messages