Category: россия

krotillo

Первая встреча пользователей kdb+ / q в Санкт-Петербурге, 11 марта

В среду, 11-го марта 2015 года состоится первая встреча пользователей технологий Kx Systems: kdb+, СУБД, широко применяющейся для работы с временными рядами в алгоритмическом трейдинге и других областях, и q, встроенного в неё мощного языка программирования, наследника APL.

Она пройдёт в очень красивом историческом здании Опекунского совета на ул. Казанской, дом 7, в библиотеке на втором этаже. Начало в 18:30.

В программе:

* введение в kdb+ и q от разработчиков;
* обмен опытом и общение с пользователями и разработчиками kdb+/q за чаем с печеньем;
* возможность попробовать kdb+ в деле — приходите со своими ноутбуками!

Регистрация на встречу — по ссылке:
http://www.meetup.com/Kx-St-Petersburg/events/220893038/

Лекции по гомотопической теории типов (Санкт-Петербург)

6 февраля в 19:00 на 4-м этаже бизнес-центра "Таймс" (рядом с Кантемировским мостом) на базе института биоинформатики JetBrains стартует курс лекций Валерия Исаева (СПбАУ), напрямую посвященный гомотопической теории типов.

Первую лекцию можно посмотреть вот здесь:
светлое будущее

Вакансии на Haskell (I-Teco, Москва)

Старший программист
Просто Программист
И Веб - программист

Первые две предполагают разработку на Haskell.
Третья может быть и без Haskell, но разработка web-интерфейса на чем-то отличным от js будет кстати ;-).

Это разработка новых приложений, бремя совместимости минимально.

MskHUG 2

Добрый день.

От Сергея Зефирова (thesz) поступило предложение провести очередную встречу любителей функционального программирования в Москве [1].
Сам Сергей хочет рассказать, почему ему интересны системы типов [2].
Также ожидается доклад Николая Ковалёва (nivanych) о конструктивных категориях [3].

Послушать и позадавать вопросы можно будет 24-го января (это суббота) начиная с 17 часов.
Место примерно такое же как и в прошлый раз [4] (это недалеко от Гоголевского бульвара).

Пожелания по поводу времени, даты, формата проведения, тем для обсуждения и т.п. -- велкам!

[1] http://thesz.livejournal.com/908405.html
[2] http://thesz.livejournal.com/911679.html
[3] http://thesz.livejournal.com/911679.html?thread=7010111#t7010111
[4] http://community.livejournal.com/ru_lambda/69463.html