LINUX.ORG.RU

Сообщения ymn

 

Компилятор GHC языка Haskell: теория языков программирования в работе

Группа Конференции и встречи

31 марта в Санкт-Петербурге стартует двухдневный курс лекций Виталия Брагилевского о внутреннем устройстве компилятора GHC.

Компилятор GHC (The Glasgow Haskell Compiler) языка Haskell уже в течение почти 30 лет представляет собой площадку для экспериментов в области теории языков программирования. В рамках этого курса мы посмотрим, какие именно результаты теории в нём реализованы, а также обсудим, как можно подключиться к его разработке.

В первой части курса (две лекции) будет рассказываться о структуре компилятора GHC, принципах его разработки и порядке работы.

Вторая часть (три лекции) будет посвящена внутреннему языку GHC Core, в который транслируется код на Haskell и который представляет собой расширение системы полиморфного λ-исчисления высших порядков System Fω, а также вычислению выражений Core с использованием STG-машины.

Лекции будут проходить в ПОМИ РАН (Набережная реки Фонтанки, 27, Мраморный зал (2 этаж)).

Участие бесплатное, регистрация не требуется.

>>> Подробности

 , ,

ymn ()

N2O 4.5 для ненадёжных сетей и IoT периферии

Группа Open Source

N2O — высокопроизводительный и компактный full-stack релей-сервер приложений на Erlang, форкнутый от фреймворка Nitrogen и вобравший в себя когда-то лучшие его идеи. Четыре года назад N2O избавился от ненужных зависимостей и стал одновременно мощным средством для создания web-приложений. А сегодня, начиная с версии N2O 4.5, протоколы данных переведены на более высокий уровень и становятся лежащими поверх протокола MQTT 5.0, обеспечивающего доставку сообщений в ненадёжных сетях с уровнями QoS 0, 1 и 2.

( читать дальше... )

>>> Подробности

 ,

ymn ()

Очередная встреча сообщества RuHaskell

Группа Конференции и встречи

6 апреля сообщество RuHaskell и «Лаборатория Касперского» вновь приглашают всех заинтересованных на встречу, чтобы обсудить Haskell и другие языки в функциональной парадигме, поделиться опытом их применения в решении прикладных задач.

  • Дмитрий Зуйков в докладе «Haskell вместо СУБД» поделится опытом отказа от реляционной СУБД в веб-проекте в пользу in-memory структуры данных и CAS (Content-addressable storage).
  • Катерина Галкина в докладе «Интеграция с API внешних сервисов» расскажет о взаимодействии с чужими HTTP API с помощью servant, aeson и swagger2.
  • Алексей Пирогов расскажет о построении Web GUI с использованием GHCJS и библиотеки react-flux.
  • Антон Холомьёв выступит с докладом «Если нельзя писать на Haskell, но очень хочется», в котором поделится опытом использования Haskell для построения графических интерфейсов и UI.

Встреча пройдет 6 апреля 2017 года с 19:00 до 22:00 в штаб-квартире «Лаборатории Касперского», Москва, Ленинградское шоссе, 39Ас2.

Мероприятие бесплатное. Необходима предварительная регистрация.

>>> Подробности

 ,

ymn ()

Московская встреча сообщества RuHaskell

Группа Конференции и встречи

18 августа сообщество RuHaskell и «Лаборатории Касперского» приглашают всех заинтересованных, чтобы обсудить Haskell и другие языки в функциональной парадигме, поделиться опытом их применения в решении прикладных задач бизнеса, позадавать вопросы и пообщаться.

Список докладов:

  • Павел Филонов, разработчик-исследователь, Лаборатория Касперского — «Концепты C++ и классы типов Haskell».
    В ходе изучения различных технических идей очень помогает использование аналогий и задействований из близких областей знаний. Именно в таком контексте предлагается рассмотреть два инструмента из разных языков программирования. Какие проблемы они решают. Что в них похоже, и в чём отличие. Слушатели, знакомые с концептами C++, смогут лучше понять классы типов из Haskell и наоборот. Если эти два инструмента кажутся непонятными, то у вас есть уникальная возможность составить своё впечатление с чистого листа об обоих.
  • Юрий Сыровецкий, разработчик, Лаборатория Касперского — «Ivory — производительный код на Haskell».
    Обсудим проблемы написания программ с гарантиями производительности и потребления памяти, а также особенности разработки на C и Haskell с использованием language-c и Ivory.
  • Алексей Пирогов, разработчик, Lendmix — «Elm как идея и способ писать Web UI (почти) без боли».
    Этот доклад призван как дать общее представление о языке Elm, так и познакомить с некоторыми идеями, на взгляд докладчика, способными послужить примером того, как можно и нужно строить экосистему языка и сообщество вокруг неё.
  • Николай Кудасов, технический директор, GetShopTV — «Простые MMO игры на Haskell».
    В этом докладе мы с нуля реализуем многопользовательскую онлайн игру и познакомимся с организацией проекта при помощи Stack и Cabal, библиотеками gloss, servant, binary, stm. Если останется время, мы обсудим GHCJS и перенесём интерфейс игры на страницу браузера при помощи библиотеки reflex-gloss.

Мероприятие бесплатное, необходима предварительная регистрация.

>>> Подробности

 ,

ymn ()

Очередная встреча Scala Moscow User Group

Группа Конференции и встречи

29 июня пройдет очередная встреча Scala User Group в Москве.

Список докладов:

  • «Пример реализации CRUD на базе Play и Slick», Александр Ларин и Александр Макоед.
  • «Тайпклассы в Scala», Николай Татаринов.
  • «Выпьем Vodka», Алексей Фомкин.

Встреча начнётся в среду, 29 июня, в 19:00 по адресу ул. Рочдельская, 15, стр.17-18, 3 этаж (Тех-хаб Ключ).

Участие бесплатное.

>>> Подробности

 ,

ymn ()

Весенний Go-митап

Группа Конференции и встречи

14 мая в московском офисе компании Badoo пройдет весенний Go-митап.

Программа встречи:

  • Марко Кевац, Badoo, «Оптимизация программ на Go». Из доклада вы узнаете:
    • про большинство утилит из арсенала Go, предназначенных для оптимизации производительности;
    • как и когда их (утилиты) использовать, а также мы посмотрим как они устроены внутри;
    • про применимость linux утилиты perf для оптимизации программ на Go.
  • Сергей Камардин, Mail.ru Group, «Семь тысяч rps, один Go». Из доклада вы узнаете:
    • как мы пришли к Go, оставив идею использования Node.js, Scala или Rust;
    • про первый сервис, который мы написали на Go и запустили в продакшен;
    • про ошибки, с которыми сталкивались под нагрузкой;
    • про оптимизации, которые мы сделали и еще планируем сделать;
    • про тестирование и предотвращение тестирования на продакшене (в частности, websocket'ов).
  • Алексей Палажченко, mc² software, «Reform: путь к лучшему ORM». Из доклада вы узнаете:
    • как работает database/sql;
    • интерфейс и реализации database/sql/driver;
    • обзор популярных ORM и что с ними не так;
    • как мы делали свой лучший ORM;
    • и почему столько раз его переделывали.

>>> Подробности

 ,

ymn ()

Выбран новый лидер проекта Debian

Группа Debian

Новым лидером проекта Debian выбран Мехди Догуи (Mehdi Dogguy).

В ежегодном голосовании приняли участие 282 разработчика (27,5% от общего количества).

>>> Подробности

 

ymn ()

Вышла Agda 2.5.1

Группа Open Source

Чистый функциональный язык программирования и система интерактивного доказательства Agda обновилась до версии 2.5.1.

Некоторые изменения:

  • представлена официальная пользовательская документация;
  • с помощью прагмы HASKELL можно добавлять к модулю произвольный код на Haskell;
  • многочисленные изменения в области метапрограммирования и рефлексии;
  • исправлены некоторые ошибки в бекэндах:
    • теперь нет необходимости указывать {-# COMPILED_DATA #-} для встроенных типов Bool, Int, Float и других;
    • клозы функций с разной арностью компилируются корректно;
    • поддержка co-patterns в бекэндах GHC/UHC;
  • поддержка Utrecht Haskell Compiler (UHC) в качестве бекэнда.

>>> Подробности

 ,

ymn ()

Релиз OpenBSD 5.9

Группа BSD

Команда разработчиков рада сообщить о досрочном выходе очередного релиза — OpenBSD 5.9.

Некоторые изменения:

  • на системах i386 в адресном пространстве ядра по умолчанию активирован режим, при котором страницы памяти не доступны на запись и исполнение одновременно (режим W^X);
  • добавлена поддержка WiFi IEEE 802.11n;
  • обработка входящих сетевых пакетов производится в параллельных потоках. Такой режим работы доступен для carp(4), trunk(4) и vlan(4);
  • улучшена поддержка таблиц разделов GPT, добавлена поддержка UEFI;
  • добавлен механизм pledge(2), обеспечивающий изоляцию системных вызовов;
  • поддержка работы в роли гостевой системы под Xen: добавлены драйверы xen(4) (инициализация Xen domU и режим PVHVM), viocon(4) (консоль virtio), xspd(4) и xnf(4);
  • отключена поддержка всех локалей, за исключением UTF-8;
  • многочисленные улучшения в драйверах устройств;
  • многочисленные обновления ПО;
  • новые песни.

>>> Подробности

 ,

ymn ()

Открыт предварительный заказ книги «Введение в статистическое обучение с примерами на языке R»

Группа Документация

В ближайшее время издательством «ДМК Пресс» будет выпущена книга «Введение в статистическое обучение с примерами на языке R» (перевод книги «An Introduction to Statistical Learning with Applications in R»). В этой книге описаны одни из наиболее важных методов моделирования и прогнозирования, а также примеры их практического применения.

Рассмотренные темы включают линейную регрессию, классификацию, создание повторных выборок, регуляризацию, деревья решений и другие методы анализа данных. Каждая глава включает примеры практической реализации соответствующих методов с помощью R.

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

Новость в блоге переводчика

>>> Подробности

 , ,

ymn ()

Открыт исходный код статического анализатора Infer

Группа Open Source

Компания Facebook опубликовала исходные коды статического анализатора Infer, который используется внутри компании для выявления ошибок в исходном коде программ без их непосредственного запуска.

В настоящее время Infer умеет обнаруживать следующие проблемы в программах, написанных на C, Java и Objective-C:

  • разыменование NULL-указателей;
  • утечки памяти и ресурсов.

Исходный код Infer написан на языке OCaml и распространяется на условиях лицензии BSD.

>>> Подробности

 , ,

ymn ()

Открыт предварительный заказ книги «Статистический анализ и визуализация данных с помощью R»

Группа Документация

В ближайшее время издательством «ДМК Пресс» будет выпущена печатная версия книги «Статистический анализ и визуализация данных с помощью R», в которой содержится:

  • детальное описание языка R и базовых графических возможностей системы;
  • доступно изложенные описания распространенных процедур обработки данных и построения статистических моделей, иллюстрированные несколькими десятками примеров;
  • многочисленные фрагменты кода R, которые можно легко модифицировать для собственных целей;
  • рекомендации по интерпретации и представлению получаемых результатов анализа.

Предыдущая редакция книги, исходные данные для анализа и примеры скриптов для их обработки доступны в репозитории на github и распространяются на условиях лицензии CC-BY-NC-SA.

Новость в блоге одного из авторов.

>>> Подробности

 ,

ymn ()

Январская встреча московской группы пользователей Scala

Группа Конференции и встречи

Очередная встреча московской группы пользователей Scala состоится в пятницу, 23 января, в 19-30.

Программа мероприятия:

  • «The dragons, It ain't the time» — программирование: переход от частного к общему в разрезе языков и соответствующих им платформ. Mike Taranov, HF Labs.
  • «Frontend-разработка на Scala» — рассказ о Scala.js. Алексей Фомкин, iDecide.
  • «Новости с PNWScala» — неформальный рассказ про самую хипстерскую Scala-конференцию и другие вести из-за океана. Успенский Владимир.

Место проведения: НИИ «Восход», г. Москва, ул. Удальцова, д. 85.

Участие бесплатное. Необходима предварительная регистрация (пройти смогут только граждане России и Беларуси, по причине того что место проведения конференции - режимный объект).

>>> Подробности

 ,

ymn ()

Книга «Статистический анализ и визуализация данных с помощью R» в открытом доступе

Группа Документация

Методическое пособие «Статистический анализ и визуализация данных с помощью R» адресовано преимущественно студентам, аспирантам, молодым и состоявшимся ученым, а также профессиональным аналитикам, прежде не имевшим опыта работы с R. Акцент делался, в первую очередь, на практическое применение — на то, чтобы читатель, руководствуясь прочитанным, смог проанализировать свои данные и изложить результаты коллегам.

Книга охватывают следующие темы:

  • Основные компоненты статистической среды R.
  • Описание языка R.
  • Базовые графические возможности R.
  • Описательная статистика и подгонка распределений.
  • Классические методы и критерии статистики.
  • Линейные модели в дисперсионном анализе.
  • Регрессионные модели зависимостей между количественными переменными.
  • Обобщенные, структурные и иные модели регрессии.
  • Пространственный анализ и создание картограмм.

Текущая версия книги в формате PDF доступна для свободного скачивания с двух сайтов:

>>> Подробности

 ,

ymn ()

Конференция F(by) 2014

Группа Конференции и встречи

22 ноября в Минске состоится первая конференция, посвященная функциональному программированию — F(by) 2014.

Конференция организована независимым сообществом функциональных программистов FuncBY при поддержке команды EventSpace. На мероприятии будут представлены доклады по Scala, F#, Erlang, Clojure, Haskell.

Программа мероприятия:

  • Heather Miller, аспирант EPFL, «Function-Passing Style, A New Model for Asynchronous and Distributed Programming».
  • Yan Cui, соавтор книги «F# Deep Dives», «Learn you to tame complex APIs with F# powered DSLs».
  • Phillipe Trelford, организатор лондонской группы пользователей F#, «F# eye for the C# guy».
  • Adam Warski, «Framework-less Scala Dependency Injection framework».
  • Evelina Gabasova, «Understanding social networks with F#».
  • Сергей Зефиров, «Haskell – от утилит до серверов».
  • Евгений Бурмако, аспирант EPFL, «scala.meta».
  • Никита Прокопов, «Мир глазами Clojure-программиста».
  • Макс Лапшин, «Практика разработки продукта на Erlang».

Участие платное.

>>> Подробности

 ,

ymn ()

Встреча сообщества функциональных разработчиков Беларуси

Группа Конференции и встречи

25 октября состоится очередная встреча сообщества функциональных разработчиков Беларуси.

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

Список докладов:

  • Олег Алешко, «Introduction to typeclasses in Scala»
  • Сергей Тихон, «F# for Data*»
  • Владимир Абрамчук, «Why Y?»
  • Андрей Кириленко, «Clojure и ClojureScript. Что? Зачем? Как?»
  • Юрий Жлоба, «Киллер-фичи Erlang»

Участие бесплатное, необходима предварительная регистрация.

>>> Подробности

 , ,

ymn ()

Представлен Revolution R Open

Группа Open Source

Revolution R Open — высокопроизводительная версия среды выполнения языка R, оптимизированная для многопоточных вычислений и серия библиотек, прежде всего, для массово-параллельной обработки в рамках концепции «больших данных».

  • Содержит новейшую версию R от R Foundation for Statistical Computing.
  • Стандартные методы из LAPACK и BLAS заменены соответствующими функциями из Intel Math Kernel Library, что привело к существенному увеличению производительности.
  • Полная совместимость с пакетами из CRAN и RStudio.
  • Работа с Reproducible R Toolkit.
  • Поддержка Windows, MacOS и Linux.

>>> Подробности

 

ymn ()

Cassandra MUG Meetup

Группа Конференции и встречи

4 октября в московском офисе Яндекса пройдёт Cassandra MUG Meetup — встреча сообщества специалистов по распределённой системе управления базами данных Cassandra (Moscow Cassandra Users).

Программа мероприятия:

Место проведения: Москва, ул. Льва Толстого, 16. Конференц-зал «Экстрополис».

Количество мест в зале ограничено, поэтому на мероприятие необходимо зарегистрироваться — до 3 октября, 17:00 по московскому времени.

>>> Подробности

 , ,

ymn ()

Первая встреча HadoopKitchen

Группа Конференции и встречи

27 сентября в московском офисе Mail.Ru Group (Ленинградский проспект 39, строение 79) состоится первая встреча HadoopKitchen.

Программа мероприятия:

  • 11:00 Регистрация.
  • 12:00 Алексей Филановский (Cloudera Certified Developer for Apache Hadoop, старший консультант отдела продаж, Oracle) выступит с обзором новых возможностей Hadoop v2, будут разобраны случаи их применения и ряд практических примеров.
  • 13:00 Никита Макеев (Data Team lead, IponWeb) расскажет о том, как расширить возможности Hadoop Streaming при работе с современными форматами данных Avro и Parquet.
  • 14:00 Максим Лапань (ведущий программист проекта Поиск, Mail.Ru Group) перейдет от теории к практике: его доклад будет посвящен управлению кластерами Hadoop в Mail.RuGroup. Отдельно Максим остановится на сложностях, с которыми команда столкнулась по мере роста системы.
  • 15:00 Обед.
  • С 15:45 до 17:45 в World Cafe вы получите отличную возможность коллективно выявить, выбрать и исследовать наиболее интересные для вас вопросы эксплуатации Hadoop.
  • В 18:00 слово возьмет Алексей Грищенко (Pivotal Enterprise Architect, EMC Corporation). Он поделится тонкостями архитектурного решения Pivotal HAWQ и расскажет о его взаимодействии с Hadoop.

>>> Подробности

 , ,

ymn ()

Вышел Minix 3.3.0

Группа Open Source

Представлен очередной релиз микроядерной операционной системы Minix — 3.3.0.

Некоторые изменения:

  • поддержка архитектуры ARM. Minix успешно запущен на широко распространенных одноплатных компьютерах Beagle;
  • экспериментальная поддержка USB для Beaglebone (hub и mass storage);
  • кросскомпиляция для ARM и x86.

>>> Подробности

 ,

ymn ()

RSS подписка на новые темы