25 октября в Санкт-Петербурге состоится очередная встреча функциональных программистов.

Темы докладов:

• Обзор Clojure. Доклад рассматривает Clojure с практической точки зрения: основы синтаксиса, нужные утилиты и библиотеки, подводные камни. Предварительное знание Clojure не требуется.
• Зачем нужны зависимые типы. В докладе будут рассмотрены теоретические аспекты систем зависимых типов на примере системы Мартина-Лёфа. Также будут даны примеры использования зависимых типов: изоморфизм Карри-Ховарда, вычисления во время компиляции, инварианты, проверяемые во время компиляции, безопасный printf.

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

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

30 октября в Москве состоится неформальная встреча Haskell-программистов для общения и обмена опытом.

На встрече будут представлены два доклада:

• Web-crawler для дискуссий в расширенных RSS-агрегаторах.
• Динамика и статика — метрики графов социальных сетей.

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

30 октября, в среду, с 18:30 ждем участников по адресу: Москва, ул. Льва Толстого 16, офис Яндекса, зал Экстрополис.

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

С 28 сентября Джон Харрисон прочитает серию лекций об автоматическом доказательстве теорем:

• Background, history and propositional logic.
• First-order logic with and without equality.
• Decidable problems in logic and algebra.
• Interactive theorem proving and proof-checking.
• Applications to mathematics and computer verification.

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

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

Клуб открыт абсолютно для всех: вход свободный, лекции бесплатные, никакой предварительной регистрации не требуется.

Профессор Харрисон занимается формальной верификацией в компании Intel Corporation. Его основной специализацией является верификация алгоритмов, работающих с числами с плавающей точкой.

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

16 июля 2013 года проекту DragonFly BSD исполнилось 10 лет. Эта операционная система возникла из четвертой ветки FreeBSD из-за разногласий между разработчиками. Мэтт Диллон был недоволен работой по оптимизации ядра FreeBSD, поэтому принял решение о создании новой операционной системы, предназначенный для работы на высоконагруженных серверах и многопроцессорных системах.

За 10 лет работы команде разработчиков удалось построить операционную систему, ушедшую довольно далеко от оригинальной FreeBSD:

• в ядре используется легковесные потоки (LWKT);
• существенным образом переработан планировщик, который показывает неплохие результаты в синтетических тестах;
• для замены UFS разработана версионная файловая система HAMMER.

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

Опубликован очередной квартальный отчет, который охватывает проекты, развиваемые под эгидой FreeBSD.

Период с апреля по май выдался достаточно интересным для приверженцев этой открытой операционной системы:

• проведены BSDCan и FreeBSD Developer Summit;
• улучшена поддержка AMD GPU;
• добавлены новые драйверы для сетевого оборудования;
• поддержка ZFS TRIM;
• улучшена поддержка Xen.

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

OCaml-Top — интерактивный редактор, разработанный для новичков, изучающих язык программирования OCaml.

Этот редактор не претендует на место tuareg-mode и других плагинов, добавляющих поддержку OCaml в популярные IDE, поэтому довольно ограничен в возможностях:

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

На GNU/Linux и OSX OCaml-Top доступен из opam. Для операционных систем семейства Windows подготовлены бинарные пакеты.

Исходные коды OCaml-Top распространяются на условиях лицензии GPLv3.

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

CompCert — это компилятор языка программирования Си (ANSI C с незначительными ограничениями) для платформ PowerPC, ARM и IA32, предназначенный для сборки программ с повышенными требованиями надежности и дополняющий формальные методы проверки (статический анализ, проверка на модели и т.п.) на уровне исходного кода.

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

• поддержка типов long long и unsigned long long;
• предварительная поддержка отладочной информации;
• агрессивная стратегия исключения дублирующегося кода;
• уменьшено потребление памяти при компиляции;
• исправлены некоторые ошибки.

Исходные коды компилятора распространяются на условиях лицензии «INRIA Non-Commercial License Agreement».

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

Состоялся релиз Linux Mint 15 — наиболее значимый выпуск с момента старта проекта, по мнению разработчиков. Значительно улучшен MATE 1.6, Cinnamon 1.8 содержит множество изменений, таких как хранитель экрана и единый центр управления.

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

• MDM содержит три новых компонента:
  • GTK greeter;
  • GTK greeter с поддержкой множества тем оформления;
  • HTML greeter поддерживает анимированные темы оформления, созданные с использованием HTML5, CSS, Javascript, WebGL.
• В новый выпуск включено приложение Software Sources (MintSources) для управления источниками приложений.
• Новое приложение MintDrivers призвано упростить установку драйверов оборудования, включая проприетарные и альтернативные драйверы.

Подробный иллюстрированный обзор новшеств и изменений доступен на официальном сайте проекта.

«Рандомизация и бутстрап: статистический анализ в биологии и экологии с использованием R» — альманах статистических методов, иллюстрированный примерами биологического характера.

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

Электронная версия книги «как она есть» пока распространяется без всяких ограничений (до возможного появления договорных обязательств).

Скрипты на R по всем обсуждаемым примерам приведены в конце каждого раздела. Исходные данные для анализа и коды R доступны в электронном виде.

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

N2O (Nitrogen 2x Optimized) — это усовершенствованная версия знаменитого Erlang веб фреймворка Nitrogen, но работающая полностью на вебсокетах и в несколько раз быстрее оригинального Нитрогена.

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

• оптимизация всех слоев;
• использование бинарного протокола BERT для контролов;
• отложенная доставка JavaScript на клиент;
• совместим по стилям с Twitter Bootstrap;
• минимальное количество Erlang процессов на запрос;
• поддержка шаблонов DTL;
• быстрая разработка REST приложений;
• XHR Fallback для старых браузеров без поддержки WebSockets;
• размер исходников сокращен до 3000 строк;
• поддержка Zepto для не IE браузеров.

Страница проекта на GitHub.
Домашняя страница.
Презентация.

Стало известно о выходе новой версии Debian GNU/Hurd. Этот проект сочетает в себе окружение Debian «Wheezy», работающее поверх ядра GNU/Hurd.

Образы установочных дисков могут быть загружены с сайта Debian Ports. Debian GNU/Hurd в настоящее время доступен для архитектуры i386 и содержит более 10000 пакетов.

Следует отметить, что Debian GNU/Hurd 2013 выпущен по инициативе разработчиков этого порта и не является официальным релизом Debian.

Напоминаю, что GNU Hurd является заменой ядра Unix для проекта GNU. Он представляет собой набор серверов, которые запускаются на микроядре Mach для реализации файловых систем, сетевых протоколов, контроля доступа к файлам, а также других функций, которые реализованы в ядре Unix или аналогичных ядрах (например, Linux).

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

Команда разработчиков рада сообщить о выходе новой версии языка программирования Go — 1.1.

Go — компилируемый многопоточный язык программирования, разработанный компанией Google. Первоначальная разработка Go началась в сентябре 2007 года, а его непосредственным проектированием занимались Роб Пайк и Кен Томпсон.

Версия 1.1 включает в себя множество усовершенствований, наиболее значительные из которых связаны с производительностью:

• оптимизация компилятора и компоновщика;
• улучшение работы сборщика мусора;
• многочисленные улучшения в стандартной библиотеке.

Таким образом, код, собранный новой версией компилятора, скорее всего будет работать быстрее.

Кроме того, есть некоторые изменения и в самом языке:

• оператор return;
• добавлены механизмы обнаружения ошибок синхронизации.

С момента выхода Go 1.0 было внесено 2600 изменений от 161 разработчика за пределами Google.

На данный момент поддержка Go осуществляется для операционных систем FreeBSD, OpenBSD, Linux, Mac OS X, Windows.

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

Операционная система DragonFly BSD, основанная на FreeBSD4, обовилась до версии 3.4.

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

• добавлена экспериментальная поддержка DPorts;
• существенное улучшение производительности на многоядерных системах;
• два основных компилятора поменялись ролями: GCC 4.7, представленный в качестве альтернативного компилятора в версии 3.2, в настоящее время осуществляет сборку всей операционной системы. GCC 4.4 остается в системе и до сих пор играет важную роль в качестве основного компилятора DPorts. Новый компилятор также предлагает улучшенную поддержку C++ и Objective-C, и предоставляет поддержку LTO;
• доступен стек USB4BSD.

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

Некоммерческая организация Linux Foundation объявила о включении Xen в состав курируемых проектов.

Компании Amazon Web Services, AMD, Bromium, Calxeda, CA Technologies, Cisco, Citrix, Google, Intel, Oracle, Samsung и Verizon заявили о намерении поддерживать разработку Xen.

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

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

Вышла новая версия популярной документо-ориентированной базы данных Apache CouchDB — 1.3.0.

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

• поддержка Server-Sent Events;
• экспериментальная поддержка Cross-Origin Resource Sharing (CORS);
• добавлен новый алгоритм utc_id для генерации UUID;
• улучшено определение компиляторов C/C++ в системе сборки;
• для хэширования паролей задействован алгоритм PBKDF2.

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

11 апреля в Санкт-Петербурге пройдет третья конференция для Scala-разработчиков.

Программа конференции:

• Илья Ключников (Huawei Research) «Введение в lightweight modular staging и scala virtualized»;
• Дмитрий Найданов (JetBrains) «Play 2.0 в IntelliJ IDEA»;
• Павел Фатин (JetBrains) «Поддержка компиляции в Scala Plugin с использованием Zinc»;
• Алексей Злобин (GridGain) «Легкое распределённое программирование со Scala и GridGain»;
• Багманов Рафаэль (Grid Dynamics) «Scala in a wild enterprise».

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

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

Состоялся релиз дистрибутива Scientific Linux 6.4, созданного совместными усилиями Fermilab и CERN на основе исходных кодов RHEL 6.4.

Основная цель базового дистрибутива — обеспечить полную бинарную совместимость с Red Hat Enterprise Linux при нескольких сделанных незначительных дополнениях или изменениях.

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

• процедура формирования пакетов с модулем ядра для поддержки OpenAFS претерпела существенные изменения: для каждого минорного выпуска собирается отдельный вариант модуля;
• пакет yum-conf-sl6x теперь ставится по умолчанию. Он нужен для осуществления автоматического обновления по мере выпуска новых версий SL;
• в yum-conf-sl-other добавлена поддержка репозитория sl-addons;
• прекращена поддержка Matahari API.

С полным списком изменений можно ознакомиться на официальном сайте проекта.

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

Анонсирована новая версия кроссплатформенной библиотеки элементов интерфейса — GTK+ 3.8.0.

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

• поддержка Wayland 1.0;
• добавлена поддержка broadwayd — отдельного сервера, обеспечивающего отрисовку элементов интерфейса GTK+ в браузере;
• поддержка CSS для шрифтов (свойства xx-small, medium, smaller, larger и др.);
• управление геометрией: невидимые виджеты теперь возвращают размер 0x0. Это экспериментальное новшество позволяет использовать GtkWidget::visible аналогично «display: none» в CSS;
• поддержка протокола оконного менеджера для кадровой синхронизации;
• оптимизирован рендеринг текста для GtkLabel и некоторых других виджетов;
• при загрузке иконок задействован кэш GtkIconInfo;
• в GtkTreeView и GtkIconView добавлена активация в один клик.

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

Представлена новая версия OpenSSH — 6.2.

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

• добавлена поддержка AES-GCM в протоколе SSH 2;
• добавлена поддержка режима encrypt-then-mac (EtM) подстановки MAC (Message Authentication Code). Этот режим считается более безопасным и отныне используется по умолчанию;
• поддержка алгоритма UMAC-128;
• исправлены некоторые известные ошибки.

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

Сегодня компанией Digia был официально представлен релиз интегрированной среды разработки Qt Creator 2.7.0.

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

• расширена поддержка стандарта C++11;
• многочисленные улучшения поддержки QML;
• экспериментальная поддержка системы сборки QBS;
• многочисленные улучшения и исправления ошибок.

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