С первого февраля 2019 года ответы от серверов имён не поддерживающих RFC 6891 будут считаться нелегитимными. Как написано на сайте DNS flag day, публичные резолверы уберут «костыли» необходимые для взаимодействия со «сломанными» серверами.

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

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

Состоялся релиз Coq 8.9. Его разработка заняла 7 месяцев с момента выпуска Coq 8.8. Этот релиз является результатом ≈2000 коммитов и ≈500 pull request’ов.

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

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

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

В четвертую годовщину проекта, 28 ноября 2018 года, команда Devuan анонсировала свою первую конференцию, которая будет проведена в Амстердаме 5-7 апреля 2019 года. 18 января 2019, как и обещалось, стали известны подробности.

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

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

Вышел в релиз выпуск дистрибутива Deepin 15.9, основанного на пакетной базе Debian, но со своим собственным рабочим окружением Deepin Desktop Environment.

• Улучшено управление с сенсорных экранов
• Добавлены жесты для управления с сенсорных экранов (такие как клик по касанию, вызов контекстного меню по удержанию, прокрутка и т.д.)
• Добавлена экранная клавиатура
• Добавлена опция «Smart Mirror Switch» для выбора самого близкого зеркала для увеличения скорости загрузки пакетов
• Улучшен интерфейс настроек питания, переработаны опции перехода в спящий режим и отключения монитора
• В параметрах системы добавлена проверка стойкости пароля
• Оптимизированы эффекты при изменении размера панели
• В файловом менеджере оптимизировано фоновое переименование файлов, добавлен предпросмотр GIF-изображений, улучшено монтирование накопителей и улучшен интерфейс

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

Некоторое время назад, разработчики MongoDB сменили лицензию проекта с AGPLv3 на SSPLv1 (Server Side Public License). SSPLv1 — лицензия собственной разработки проекта MongoDB, основанная на AGPLv3, но включающая дополнительные ограничения, запрещающие предоставлять продукт под этой лицензией в виде сервиса без предоставления исходников всех систем, взаимодействующих с продуктом любым способом, даже через сеть.

Пока в OSI обсуждают, подходит ли SSPLv1 под определения Open Source, разработчики Debian и Fedora приняли решение не включать софт под этой лицензией в свои репозитории:

• Debian
• Fedora

В результате, пакеты MongoDB скорее всего будут удалены из репозиториев этих дистрибутивов ввиду невозможности дальнейшего их обновления. Бэкпортирование изменений из более новых версий MongoDB также невозможно из-за несовместимости SSPLv1 с AGPLv3.

В Red Hat также решили удалить MongoDB из RHEL 8.

>>> Текст лицензии SSPLv1