Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.
Продолжаем серию московских 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 канал или группу ВК.