Вышел GHC 7.4.1 – новый релиз компилятора функционального языка программирования Haskell. Это первый релиз стабильной ветки 7.4, которая станет основой для будущих версий платформы Haskell. Предыдущая ветка 7.2 была скорее полигоном для новых идей.

Основные изменения по сравнению с веткой 7.0:

• Класс типов Num более не наследуется от классов Eq и Show. Как следствие, многие функции получили явные ограничения Eq и Show.
• Новая возможность Safe Haskell (-XSafe, -XTrustworthy, -XUnsafe). Позволяет ввести более строгую проверку безопасности типов во время компиляции, а также служит для компиляции и выполнения «ненадёжного» кода.
• Новая возможность полиморфизм видов (kind polymorhphism) (-XPolyKinds).
• Новая возможность виды-ограничения (constraint kinds) (-XConstraintKinds). Любой тип вида Constraint может использоваться как ограничение типа.
• Теперь можно задавать любые объявления в строке ввода ghci.
• Реализации профилирования и hpc (проверки покрытия кода программ) были объединены и капитально переработаны.
• Теперь можно писать плагины для компилятора.
• Поддержка DPH (Data Paralell Haskell) значительно улучшена.
• Предварительная поддержка регистровой (registerised) компиляции для платформы ARM, использующей LLVM.

Эта сертификация является самой старшей ступенью сертификаций Red Hat. Сертификация RHCA появилась в 2005 году и предназначена она для специалистов, определяющих стратегию развития IT-инфраструктуры организации. Типичные функции RHCA - планирование, разработка и управление системами. Для того чтобы получить эту сертификацию, необходимо сдать пять экзаменов (Expertise Exams). Все они с февраля 2012 года доступны и в России.

Представляю вашему вниманию работу Елены Гавриловой по переводу справочных страниц популярных утилит Gentoo, входящих в состав Calculate Linux: portage (версия 2.2), eix, layman, openrc, portage-utils, gentoolkit, gentoolkit-dev.
Всего 51 man.

Выпущен порт языка программирования Shen на Javascript.

Протестировать работу Shen на JS можно тут.

Для освежения памяти:

Shen - это функциональный язык программирования, являющийся продолжением языка Qi II. Имеет опциональную статическую систему типов, основанную на секвенциальном исчислении, и общее направление на логическое программирование.

Важной целью языка является переносимость. Ядро реализовано с использованием всего 45 функций Kernel Lisp (KL), поэтому язык достаточно быстро может быть перенесён на любую платформу.

Предыдущие посты на ЛОРе по теме:

• http://www.linux.org.ru/forum/development/7062347
• http://www.linux.org.ru/news/opensource/3927680
• http://www.linux.org.ru/news/opensource/3299938

Выложен Pre Release Apache Wave In A Box (открытая замена Google Wave) с поддержкой импорта из GWave и поиска.

Ознакомится с ситуацией можно здесь http://fundwiab.com

RunaWFE — это система управления бизнес-процессами предприятия и административными регламентами с открытым кодом (лицензия LGPL), основанная на популярном ядре JBOSS-JBPM и ориентированная на конечного пользователя.

Характеристики:

• графический редактор бизнес-процессов
• гибкая система определения исполнителей на основе ролей
• удобный веб-интерфейс пользователя
• боты для выполнения автоматических заданий
• простая интеграция с существующими реляционными базами данных
• поддержка веб-сервисов
• поддержка портлетов
• интеграция с Alfresco
• возможность интеграции существующих разнородных приложений предприятия
• система безопасности, позволяющая интеграцию с LDAP/MS Active Directory
• локализация на русский, украинский, английский, французский, немецкий, голландский, итальянский, испанский китайский и греческий языки
• поддержка операционных систем Linux, Solaris, FreeBSD, Windows

Изменения после версии 3.3:

- Возможность запуска экземпляров МультиДействия по членам группы и по результату применения отношения к пользователю
- Полноценный программный интерфейс для взаимодействия с системой через веб-сервисы
- Специальный тег для отношения
- Поддержка дистрибутивов для Fedora и Ubuntu
- Локализация на греческий язык
- Обновлена документация

Online-демо находится здесь - http://wf.runa.ru/rus/Демонстрация

Завершена сертификация операционной системы специального назначения «Astra Linux Special Edition» в системе сертификации ФСТЭК России (сертификат соответствия № 2557 от “27” января 2012 г.). Проведенные испытательной лабораторией ЗАО «НПО «Эшелон» сертификационные испытания подтвердили соответствие операционной системы требованиям руководящих документов ФСТЭК России по 3-му классу защищенности СВТ и 2-му уровню контроля отсутствия недекларированных возможностей. Операционная система может использоваться при создании автоматизированных систем до класса защищенности 1Б включительно.

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

Общее количество поддерживаемых языков пока достаточно мало, и буквально вчера Ласло Немет (Németh László) анонсировал первую версию редактора правил для проверки грамматики движком Lightproof, который как раз используется в LibreOffice.

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

В начале январе в разделе для нетехнических дискуссий ЛОР был задан очередной, двеститритысячипятисотый по счёту вопрос о поддержке в СПО проприетарного формата чертежей DWG.

Редакция проекта linuxgraphics.ru решила выяснить причины, по которым существующая библиотека LibreDWG не используется в таких активных проектах как LibreCAD и FreeCAD. Для этого были проинтервьюированы создатели библиотеки, авторы некоторых свободных САПР, соразработчик Open Assets Library, руководитель Blender Foundation и, наконец, представитель Free Software Foundation — правообладателя кода LibreDWG.

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

Первый фактор обусловил неполноту реализации поддержки форматов, второй — потерю одним из создателей LibreDWG интереса к разработке ввиду невозможности увидеть практическое применение результатов двух лет работы. Всё вместе это стало причиной приостановки разработки LibreDWG в январе 2011 года.

Обновление лицензии самих САПР до совместимости с GPLv3+ существенно осложнено ввиду использования унаследованного и третьестороннего кода, чья лицензия накладывает ограничения на лицензирование САПР.

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

Напомним, что поддержка DWG в свободном ПО была в 2008 году объявлена приоритетным проектом FSF. Несмотря на это, до сих пор FSF и Ричард Столлман высказывались категорически против релицензирования LibreDWG, тем самым препятствуя достижению поставленной ими же цели.

После года разработки представлен релиз новой стабильной ветки почтового сервера Postfix - 2.9.0.

Из особенностей можно отметить:

• Поддержка длинных идентификаторов сообщений, используемых в качестве имён файлов для сохраняемых в очереди сообщений. Наиболее важным достоинством не повторяющихся идентификаторов является упрощение анализа лог-файлов.
• Поддержка Memcached для хранения кэшей систем verify и postscreen, получающих доступ к данным через сервер proxymap.
• Реализована поддержка установки предельного времени обработки операций записи и чтения для клиента и сервера, что позволяет защититься от DoS-атак, манипулирующих большим числом вялотекущих соединений, при которых данные передаются очень медленно или читаются по одному байту.

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