21 сентября 2015 года на платформе stepic.org стартует совместный курс СПбАУ РАН и Computer Science Center по основам функционального программирования на языке Haskell.

В рамках курса мы рассмотрим ленивую и энергичную семантики, алгебраические типы данных и их использование для сопоставления с образцом. Знакомясь с богатой системой типов Haskell, мы обсудим параметрический и специальный полиморфизм и, в частности, механизм классов типов. Мы изучим основные классы типов из стандартной библиотеки Haskell, в том числе функторы и монады. Мы научимся программировать, используя стандартные монады, в частности обсудим проблему ввода-вывода в чистых языках и его реализацию в Haskell с помощью монады IO, а также работу с изменяемым состоянием с помощью монады State.

Подробности тут.

Прямой эфир на NASA TV. Пуск назначен на 14-50 мск.

Открыта регистрация на онлайн курс «Introduction to functional programming in OCaml», который стартует 19 октября 2015 года и продлится 7 недель:

• Week 0: Introduction and overview
• Week 1: Basic types, definitions and functions
• Week 2: Basic data structures
• Week 3: More advanced data structures
• Week 4: Higher order functions
• Week 5: Exceptions, input/output and imperative constructs
• Week 6: Modules and data abstraction

Язык: английский.
Предварительные требования: базовые знания основ информатики и любого языка программирования.

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

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

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

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

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

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

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

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

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

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

Есть ли тут регистранты, изучающие немецкий язык? Как у вас организован процесс обучения? Какие материалы используете?

Про себя могу сказать следующее:

немецкий язык никогда не учил, занимаюсь самостоятельно каждый день (плюс-минус, разумеется, ибо не всегда хватает свободного времени) по 30-90 минут, разбираю «Begegnungen A1. Kurs und Arbeitsbuch», мимоходом смотрю «Полиглот» с Культуры, подумываю купить подписку на busuu.com. Пару раз разговаривал с нейтивами по скайпу плюс в моем городе есть бесплатный разговорный клуб.

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

Z3 — SMT решатель от Microsoft Research — опубликован под лицензией MIT.

Исходные коды доступны на гитхабе.

Nikolaj Bjørner — ведущий научный сотрудник MSR, как-то выступал с докладом в Яндексе о своей работе. Смотреть тут.

!Ъ — тыц

Ъ:

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

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

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

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

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

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

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

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

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

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

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

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

• репозиторий GitHub;
• сайт Института экологии Волжского бассейна РАН.

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

Собственно, сабж.

www.linux.org.ru/view-all.jsp?section=1

Not under a public suffix: go.espresso.dance К сожалению, произошла исключительная ситуация при генерации страницы.

Произошла непредвиденная ошибка. Администраторы получили об этом сигнал.

Всем привет!

На следующей неделе у нас лекция для математиков и им сочувствующих.

18 ноября, 19:30: Автоматическое доказательство теорем (Ренат Идрисов, к.ф.-м.н., ИСИ СО РАН)

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

Как именно работают системы автоматических доказательств и что за языки лежат в их основе? Похоже ли построение автоматических доказательств на программирование? Могу ли я доказывать свои любимые теоремы на C или C++?

В рамках лекции прозвучат ответы на эти и другие вопросы, а также будет проведен небольшой вводный инструктаж по Coq.»

Лекция пройдет в аудитории 223 нового спорткомплекса НГУ, вход свободный.

Онлайн-трансляция будет доступна вот тут: https://plus.google.com/events/cdtakpptlcidhk43o2sq7se3pqo

Все подробности, как всегда, на http://techtalks.nsu.ru

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».

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

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

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

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

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

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

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

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

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

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

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

Боян, не?

Для Ъ: 15 октября стартанет сабж на edX. Копипаста описания:

Broadly speaking, functional programming is a style of programming in which the primary method of computation is the application of functions to arguments. Among other features, functional languages offer a compact notation for writing programs, powerful abstraction methods for structuring programs, and a simple mathematical basis that supports reasoning about programs.

Functional languages represent the leading edge of programming language design, and the primary setting in which new programming concepts are introduced and studied. All contemporary programming languages such as Hack/PHP, C#, Visual Basic, F#, C++, JavaScript, Python, Ruby, Java, Scala, Clojure, Groovy, Racket, … support higher-order programming via the concept of closures or lambda expressions.

This course will use Haskell as the medium for understanding the basic principles of functional programming. While the specific language isn't all that important, Haskell is a pure functional language so it is entirely appropriate for learning the essential ingredients of programming using mathematical functions. It is also a relatively small language, and hence it should be easy for you to get up to speed with Haskell.

Once you understand the Why, What and How that underlies pure functional programming and learned to “think like a fundamentalist”, we will apply the concepts of functional programming to “code like a hacker” in mainstream programming languages, using Facebook’s novel Hack language as our main example.

This course assumes no prior knowledge of functional programming, but assumes you have at least one year of programming experience in a regular programming language such as Java, .NET, Javascript or PHP.

This course will be taught by Erik Meijer, founder of Applied Duality, Inc. and professor of Cloud Programming at TUDelft. He is perhaps best known for his contributions to programming languages such as Haskell, C#, Visual Basic, and Hack, and his work on LINQ and the Rx Framework.

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

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

• Быстрая аналитика с использованием Spark и Cassandra.
• Cassandra в Крипте.
• Опыт использования Cassandra в условиях жёстких требований по времени ответа.
• Использование Apache Cassandra в случаях, когда данные умещаются в памяти.

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

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

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

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.

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

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

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

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

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

N2O разрабатывался как многофункциональный websocket-сервер приложений широкого назначения. Будучи ответвлен изначально от классического сервер-рендер фреймворка Nitrogen, он развился в мощное средство (включающее и поддержку SPA-приложений) обеспечения пула долгоживущих TCP-соединений и доставки кода/данных, выступая в качестве высокоемкостного релея, благодаря надежной и высокоустойчивой платформе Erlang/OTP.

Соединяя в себе все черты full-stack веб-фреймворков — роутинг, шаблоны, Pub/Sub, сессии, хранилище, REST и поддержка собственных протоколов — N2O добавляет совершенно уникальные возможности для создания различных DSL. Вы можете транслировать в JavaScript бизнес-логику, написанную на языках Erlang (Elixir, Erlang, Joxa), генерировать трансформации Erlang-записей в JSON, определять JavaScript-протоколы на языке Erlang и многое другое.

Сейчас N2O развивается в сторону поддержки SVG-клиентов и бинарных протоколов.

Основные изменения в версии 1.8:

• полная семантическая верстка HTML5 в DSL;
• автоматические реконнекты;
• новый сессионный менеджер автогенерируемых логинов;
• расширение бинарного протокола для Data-on-Wire;
• зависимость от jQuery стала опциональной;
• Shen: компилятор JavaScript из Erlang;
• улучшенная rebar-совместимая система сборки MAD;
• возможность запаковать сайт в виде исполняемого файла, который можно запустить на Windows, Linux и Mac;
• улучшенный REST-эндпойнт;
• возможность создания SPA-приложений;
• новые примеры приложений Skyline (DSL) и Games (SPA).
• улучшенный Secure сериализатор;
• вышла книга по N2O.

Страница проекта на GitHub: https://github.com/5HT/n2o

Домашняя страница: https://synrc.com/apps/n2o/

Презентация: http://slides.com/maximsokhatsky/n2o