ru_lambda, posts by tag: mskhug - LiveJournal (original) (raw)

MskHUG Fall 2013 - напоминание.	[Oct. 29th, 2013\|01:28 pm]Лямбда - функциональное программирование
[Tags\|mskhug]http://tech.yandex.ru/events/yagosti/mskhug-fall-2013/Вот.Сегодня последний день регистрации, завтра в 18:30 регистрация и в 19:00 начало.Милости прошу.
link	post comment

MskHUG 13/1	[Jan. 7th, 2013\|03:36 pm]Лямбда - функциональное программирование
[Tags\|mskhug]Хочу напомнить, что 10-го января, в 19:00, в конференц-центре на Филипповском (зал 4.11) будет как всегда внеочередное собрание интересующихся программированием на Хаскеле.Докладов будет два, на этот раз - Врадимир Комендантский расскажет про Agda2/Coq в обучении логике и я собираюсь рассказать про насыщение равенствами (это такой простой подход к оптимизации) и смежные вопросы.Как всегда, будут чай, кофе и печеньки.
link	8 comments\|post comment

MskHUG 13/1

[Jan. 7th, 2013|03:36 pm]Лямбда - функциональное программирование

[**Tags**|mskhug]Хочу напомнить, что 10-го января, в 19:00, в конференц-центре на Филипповском (зал 4.11) будет как всегда внеочередное собрание интересующихся программированием на Хаскеле.Докладов будет два, на этот раз - Врадимир Комендантский расскажет про Agda2/Coq в обучении логике и я собираюсь рассказать про насыщение равенствами (это такой простой подход к оптимизации) и смежные вопросы.Как всегда, будут чай, кофе и печеньки.

link

8 comments|post comment

MskHUG-13-01	[Dec. 17th, 2012\|04:20 pm]Лямбда - функциональное программирование
[Tags\|mskhug]Следующая встреча планируется в четверг, 10-го января, в 19:00, в том же месте на Филипповском переулке.Первый доклад будет делать Володя Комендантский - про Agda и Coq. Володя наш с awson коллега по Parallel Scientific, он приедет в Москву читать в МГУ лекции по обеим системам.Я тоже хочу сделать доклад, про equality saturation и чем она может помочь разработчикам EDSL. Как обычно, я постараюсь уложиться в полчаса, чтобы было время пообщаться.
link	12 comments\|post comment

MskHUG-13-01

[Dec. 17th, 2012|04:20 pm]Лямбда - функциональное программирование

[**Tags**|mskhug]Следующая встреча планируется в четверг, 10-го января, в 19:00, в том же месте на Филипповском переулке.Первый доклад будет делать Володя Комендантский - про Agda и Coq. Володя наш с

awson коллега по Parallel Scientific, он приедет в Москву читать в МГУ лекции по обеим системам.Я тоже хочу сделать доклад, про equality saturation и чем она может помочь разработчикам EDSL. Как обычно, я постараюсь уложиться в полчаса, чтобы было время пообщаться.

link

12 comments|post comment

Грядущая встреча.	[Dec. 12th, 2012\|02:07 am]Лямбда - функциональное программирование
[Tags\|mskhug]Хочу напомнить, что в четверг, 13-го, в восемь вечера (20:00) в конференц-центре "На Филипповском" запланирована встреча интересующихся языком программирования Haskell.Будет один кратенький доклад про ускорение работы с большими данными для создания стержня и много общения - с бумагой, карандашиками, чаем, кофе и выпечкой. Если кто захочет, можно сделать доклад.Милости прошу!Напишите на sergueyz@gmail.com своё имя и фамилию, если ещё не написали или написали, но не получили ответа.На всякий случай мой телефон +7(916)605-97-88, Зефиров Сергей.
link	2 comments\|post comment

Грядущая встреча.

[Dec. 12th, 2012|02:07 am]Лямбда - функциональное программирование

[**Tags**|mskhug]Хочу напомнить, что в четверг, 13-го, в восемь вечера (20:00) в конференц-центре "На Филипповском" запланирована встреча интересующихся языком программирования Haskell.Будет один кратенький доклад про ускорение работы с большими данными для создания стержня и много общения - с бумагой, карандашиками, чаем, кофе и выпечкой. Если кто захочет, можно сделать доклад.Милости прошу!Напишите на sergueyz@gmail.com своё имя и фамилию, если ещё не написали или написали, но не получили ответа.На всякий случай мой телефон +7(916)605-97-88, Зефиров Сергей.

link

2 comments|post comment

Встреча MskHUG.	[Nov. 30th, 2012\|03:23 pm]Лямбда - функциональное программирование
[Tags\|haskell, mskhug, встречи]В четверг, 13-го декабря, в 20:00, в конференц-центре на Филипповском можно будет собраться и обсудить Haskell и близко лежащие темы.Зал на 80 человек. Планируется проектор с экраном, доска-тетрадка и чай-кофе с легкими закусками. Я принесу бумаги и карандашей.Я смогу рассказать, как писать быстрые программы и постараюсь уложиться в разумное время наподобие получаса.Если не сложно, напишите мне на sergueyz на gmail.com свои ФИО, если собираетесь придти.PSАлексей Махоткин обещает принести на продажу книжек - переводов TAPL. 1000р/штука.
link	6 comments\|post comment

Встреча MskHUG.

[Nov. 30th, 2012|03:23 pm]Лямбда - функциональное программирование

[**Tags**|haskell, mskhug, встречи]В четверг, 13-го декабря, в 20:00, в конференц-центре на Филипповском можно будет собраться и обсудить Haskell и близко лежащие темы.Зал на 80 человек. Планируется проектор с экраном, доска-тетрадка и чай-кофе с легкими закусками. Я принесу бумаги и карандашей.Я смогу рассказать, как писать быстрые программы и постараюсь уложиться в разумное время наподобие получаса.Если не сложно, напишите мне на sergueyz на gmail.com свои ФИО, если собираетесь придти.PSАлексей Махоткин обещает принести на продажу книжек - переводов TAPL. 1000р/штука.

link

6 comments|post comment

Летняя топосная конференция	[Jan. 27th, 2009\|02:25 am]Лямбда - функциональное программирование
[Tags\|mskhug, встреча, категории, топосы]Пускай этот пост будет "официальной страничкой" будущей конференции!Итак, ключевые моменты.Доклады- Основы теории категорий- Топосы, логики и системы типов (в т.ч. dependent types).- "Топосный язык" - попытка построить язык программирования с прозрачной топосной семантикой, зависимыми типами и прочими прелестями.Другими словами, будет рассказано, что нам дают категории, как красиво на них строятся типы, логики, может даже геометрия :)Это всё Николай Иванович.Также прозвучала хорошая идея пригласить Вольфенгагена ;)Я сам хотел бы выступить с докладом о построении функциональной среды/ОС (наподобие Squeak), точнее, о главной её составляющей - базе данных, хранящей состояние. Собственно, о ней я говорил в самом конце конференции MskHUG. Правда, незнаю, будет ли это интересно кому-либо :)Как всегда, дополнительные доклады приветствуются ;)Дата и времяПока ориентируемся на начало июня. Окончательное решение будет принято в апреле, то есть более чем за месяц до встречи, чтобы все могли заранее распланировать своё время.Объём материала большой, так что займёт мероприятие весь день.МестоВсё то же, спасибо Максиму Талдыкину.Масштабируемость - более ста человек.ЛюдиОжидаются все те, кого интересуют категории в программировании.Многие, вот, знают хотябы общие вещи о полиморфной лямбде, лямбда-кубе, PTS'ах (pure type systems). А вот о топосах - нет. Надо исправляться :)Хочется привлечь и просто математиков, для чего планируется разместить афиши в основных московских ВУЗах.ОбсуждениеВсяческие идеи, поправки, предложения приветствуются!Вообще, что бы вы хотели услышать на конференции? О чём узнать?На какой уровень подготовки слушателя следует рассчитывать?
link	69 comments\|post comment

Летняя топосная конференция

[Jan. 27th, 2009|02:25 am]Лямбда - функциональное программирование

[**Tags**|mskhug, встреча, категории, топосы]Пускай этот пост будет "официальной страничкой" будущей конференции!Итак, ключевые моменты.Доклады- Основы теории категорий- Топосы, логики и системы типов (в т.ч. dependent types).- "Топосный язык" - попытка построить язык программирования с прозрачной топосной семантикой, зависимыми типами и прочими прелестями.Другими словами, будет рассказано, что нам дают категории, как красиво на них строятся типы, логики, может даже геометрия :)Это всё Николай Иванович.Также прозвучала хорошая идея пригласить Вольфенгагена ;)Я сам хотел бы выступить с докладом о построении функциональной среды/ОС (наподобие Squeak), точнее, о главной её составляющей - базе данных, хранящей состояние. Собственно, о ней я говорил в самом конце конференции MskHUG. Правда, незнаю, будет ли это интересно кому-либо :)Как всегда, дополнительные доклады приветствуются ;)Дата и времяПока ориентируемся на начало июня. Окончательное решение будет принято в апреле, то есть более чем за месяц до встречи, чтобы все могли заранее распланировать своё время.Объём материала большой, так что займёт мероприятие весь день.МестоВсё то же, спасибо Максиму Талдыкину.Масштабируемость - более ста человек.ЛюдиОжидаются все те, кого интересуют категории в программировании.Многие, вот, знают хотябы общие вещи о полиморфной лямбде, лямбда-кубе, PTS'ах (pure type systems). А вот о топосах - нет. Надо исправляться :)Хочется привлечь и просто математиков, для чего планируется разместить афиши в основных московских ВУЗах.ОбсуждениеВсяческие идеи, поправки, предложения приветствуются!Вообще, что бы вы хотели услышать на конференции? О чём узнать?На какой уровень подготовки слушателя следует рассчитывать?

link

69 comments|post comment

MskHUG	[Jan. 22nd, 2009\|06:41 pm]Лямбда - функциональное программирование
[Tags\|mskhug, Хаскель]http://maps.yandex.ru/moscow?upoint=899655a078c524-го, в пять (17:00).Как добираться.Метро Кропоткинская, выход не к храму Христа Спасителя. Около выхода начинается Гоголевский бульвар - бульварчик с деревьями между двух оград. Вот по нему и надо идти, до первого поворота налево - на улицу Сивцев Вражек. Там должна быть лестничка налево, прямо к переходу. Кстати, это неподалёку от паматника Шолохову.По Сивцеву Вражку идти до первого поворота направо, на Филипповский переулок. Возле поворота должен быть магазин продукты. После поворота направо третий дом - точка назначения. По пути слева будет церковь - это на всякий случай.Вот.nivanych, скорее всего, не придёт, поэтому из докладчиков, скорее всего, только я один. Я буду обязательно.
link	17 comments\|post comment

MskHUG

[Jan. 22nd, 2009|06:41 pm]Лямбда - функциональное программирование

[**Tags**|mskhug, Хаскель]http://maps.yandex.ru/moscow?upoint=899655a078c524-го, в пять (17:00).Как добираться.Метро Кропоткинская, выход не к храму Христа Спасителя. Около выхода начинается Гоголевский бульвар - бульварчик с деревьями между двух оград. Вот по нему и надо идти, до первого поворота налево - на улицу Сивцев Вражек. Там должна быть лестничка налево, прямо к переходу. Кстати, это неподалёку от паматника Шолохову.По Сивцеву Вражку идти до первого поворота направо, на Филипповский переулок. Возле поворота должен быть магазин продукты. После поворота направо третий дом - точка назначения. По пути слева будет церковь - это на всякий случай.Вот.

nivanych, скорее всего, не придёт, поэтому из докладчиков, скорее всего, только я один. Я буду обязательно.

link

17 comments|post comment

о перспективах московской встречи	[Apr. 14th, 2008\|06:23 pm]Лямбда - функциональное программирование
[Tags\|mskhug]Рассылка mskhug сломалась, поэтому, хочу поделиться информацией здесь.Сергей Зефиров с удивительным энтузиазмом исследует зависимые типы и надеется через пару недель подготовить доклад на тему _"Неглубокое и недолгое знакомство с зависимыми типами"._Предлагаю обсудить насколько интересно было бы встретиться и когда удобнее.Будет здорово, если кто-нибудь вдруг решится составить Сергею компанию и сделает доклад на смежную тему.Со своей стороны, готов за пару недель организовать помещение и чай.P.S.: В чуть более отдалённой перспективе можно ожидать серии докладов про Functional Reactive Programming и стрелки.
link	16 comments\|post comment

о перспективах московской встречи

[Apr. 14th, 2008|06:23 pm]Лямбда - функциональное программирование

[**Tags**|mskhug]Рассылка mskhug сломалась, поэтому, хочу поделиться информацией здесь.Сергей Зефиров с удивительным энтузиазмом исследует зависимые типы и надеется через пару недель подготовить доклад на тему _"Неглубокое и недолгое знакомство с зависимыми типами"._Предлагаю обсудить насколько интересно было бы встретиться и когда удобнее.Будет здорово, если кто-нибудь вдруг решится составить Сергею компанию и сделает доклад на смежную тему.Со своей стороны, готов за пару недель организовать помещение и чай.P.S.: В чуть более отдалённой перспективе можно ожидать серии докладов про Functional Reactive Programming и стрелки.

link

16 comments|post comment

MskHUG reminder	[Dec. 18th, 2007\|09:30 pm]Лямбда - функциональное программирование
[Tags\|mskhug]Здравствуйте.Хочу напомнить, что в следующую субботу, 22 декабря, с 17:00 до 21:00 будет проходить встреча Московской группы пользователей Haskell.Все желающие приглашаются по адресу: Москва, Филипповский пер., д.8, стр. 1, аудитория 5.8 (http://maps.yandex.ru/moscow?upoint=899655a078c5).Ожидаются следующие доклады (в произвольном порядке): - Опыт моделирования аппаратуры. Почему и зачем? Что? Как? (Сергей Зефиров); - Реализация Haskell в GHC (Виктор Назаров); - Haskell и concurrency (Максим Талдыкин).Всем кто хочет прийти, настоятельно рекомендуется зарегистрироваться до 21-го числа (это условие владельцев помещения, на входе вас будет встречать охранник со списком).Чтобы зарегистрироваться, достаточно сообщить своё имя и фамилию любым доступным способом: - в рассылку: http://groups.google.com/group/mskhug - в комментарии к этому посту - мне на почту: jorpic@gmail.com - по телефону: +7 916 845 42 04Тех, кто зарегистрируется позже или решится прийти в самый последний момент, тоже будем ждать (уверен, что здравый смысл возьмёт верх над охраной).
link	3 comments\|post comment

MskHUG reminder

[Dec. 18th, 2007|09:30 pm]Лямбда - функциональное программирование

[**Tags**|mskhug]Здравствуйте.Хочу напомнить, что в следующую субботу, 22 декабря, с 17:00 до 21:00 будет проходить встреча Московской группы пользователей Haskell.Все желающие приглашаются по адресу: Москва, Филипповский пер., д.8, стр. 1, аудитория 5.8 (http://maps.yandex.ru/moscow?upoint=899655a078c5).Ожидаются следующие доклады (в произвольном порядке): - Опыт моделирования аппаратуры. Почему и зачем? Что? Как? (Сергей Зефиров); - Реализация Haskell в GHC (Виктор Назаров); - Haskell и concurrency (Максим Талдыкин).Всем кто хочет прийти, настоятельно рекомендуется зарегистрироваться до 21-го числа (это условие владельцев помещения, на входе вас будет встречать охранник со списком).Чтобы зарегистрироваться, достаточно сообщить своё имя и фамилию любым доступным способом: - в рассылку: http://groups.google.com/group/mskhug - в комментарии к этому посту - мне на почту: jorpic@gmail.com - по телефону: +7 916 845 42 04Тех, кто зарегистрируется позже или решится прийти в самый последний момент, тоже будем ждать (уверен, что здравый смысл возьмёт верх над охраной).

link

3 comments|post comment