• 7 ноября 2019, четверг
  • Москва, Покровский бульвар, д. 11, корп. Z (Вход с улицы между корпусами R и Z) 2й этаж, мал. конференц-зал (Z202)

FProg Msk (November 2019)

Регистрация на событие закрыта

Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.

Другие события организатора

1861 день назад
7 ноября 2019 c 19:00 до 22:00
Москва
Покровский бульвар, д. 11, корп. Z (Вход с улицы между корпусами R и Z) 2й этаж, мал. конференц-зал (Z202)

Продолжаем серию московских FProg митапов!

Вторая встреча состоится 7-го ноября в стенах Высшей Школы Экономики в 19-00. 

В программе вечера:

«Практика использования hasql»Александр Вершилов, разработчик в Сириус.

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

«Тестирование численного кода»,  Алексей Худяков, haskell-разработчик.

Арифметика с плавающей точкой легко и непринужденно утопит любые наивно написанные тесты. На примере тестов для math-functions Алексей расскажет, как можно писать работающие тесты, как можно оценивать численные ошибки и какие графики надо рисовать, чтобы понять, что означает падающий тест.

«TLA+ — от котиков к смарт-контрактам»,  Михаил Потанин, разработчик языка смарт-контрактов Ride.

Задача проверка моделей встречается часто: от решения логических головоломок, до спецификации смарт-контрактов. Рассказ будет про TLA+ — один из инструментов, помогающий решать данную задачу.

«Фреймворк Gaudi для эксперимента LHCb»,  тайный спикер “Это я”.

Будет обзорный мини-доклад, посвященный обработке событий на детекторе LHCb и тому, без каких фичей функционального программирования тут не обошлось. 

 

Ждем всех желающих! Обещаем чай и печеньки =)

 

Когда: 7-е ноября 2019 г. 

Где: Покровский бульвар, 11 (НИУ ВШЭ, корпус Z, 2-й этаж, малый конференц-зал. Вход с улицы между корпусами R и Z)

Во сколько: с 19:00 до 22:00

 

Вход бесплатный, регистрация обязательна. Просьба взять с собой паспорта для входа!

 

По всем вопросам Вы всегда можете написать в наш Telegram канал или группу ВК.

 

Регистрация

Рекомендуемые события

Организуете события? Обратите внимание на TimePad!

Профессиональная билетная система, статистика продаж 24/7, выгрузка списков участников, встроенные инструменты продвижения, личный кабинет для самостоятельного управления и еще много чего интересного.

Узнать больше