Завершена работа над математической формальной верификацией надёжности и безопасности работы микроядра seL4 на системах с архитектурой набора команд AArch64. Верификация сводится к математическому доказательству корректности работы seL4, которое свидетельствует о полном соответствии заданным на формальном языке спецификациям. Доказательство надёжности позволяет использовать seL4 в критически важных системах на базе процессоров ARM64, требующих повышенного уровня безопасности и гарантирующих отсутствие сбоев. Изначально микроядро seL4 было верифицировано для 32-разрядных процессоров ARM, а позднее для 64-разрядных процессоров x86 и RISC-V. Верификация гарантирует, что в случае сбоя в одной части системы, данный сбой не распространится на остальную систему и её критические части. В контексте обеспечения безопасности … Читать далее Выполнена формальная верификация безопасности микроядра seL4 для архитектуры AArch64

Федеральный апелляционный суд США отклонил апелляцию компании Xinuos (UnXis), которая в 2011 году выкупила бизнес SCO Group. Компания Xinuos добивалась возобновления судебного разбирательства против IBM и Red Hat, которым вменяется передача интеллектуальной собственности SCO в ядро Linux. Коллегия из трёх судей отказалась пересматривать ранее вынесенное решение окружного суда США по Южному округу Нью‑Йорка из-за истечения срока исковой давности. Апелляционный суд также поддержал решение о несостоятельности иска так как компания Xinuos пыталась представить дело как спор о лицензировании чужой собственности, но по мнению суда фактически спор затрагивал право собственности. В поданном иске компания Xinuos утверждала, что корпорация IBM знала, что код, … Читать далее Апелляционный суд отказал в возобновлении разбирательства с IBM, касающегося прав на Linux

Разработчики графического редактора GIMP сообщили о работе над новым форматом изображений, который придёт на смену формату XCF, обеспечивающему сохранение всех данных, сопутствующих работе над изображением, включая сведения о слоях, выделенных областях, каналах и выставленных направляющих. Отмечается, что формат XCF имеет ряд ограничений и плохо подходит для больших или сложных проектов, таких как многостраничные и анимированные изображения, которые планируют реализовать в ветке GIMP 3.6. Вместо жёстко структурированного бинарного формата новая реализация, по аналогии с OpenDocument, будет использовать набор файлов с разметкой XML, упакованных в ZIP-архив. Детали реализации пока находятся в разработке, но предполагается, что новый формат ускорит операции сохранения, так как … Читать далее Проект GIMP развивает новый формат изображений, идущий на смену XCF

Опубликована новая версия дистрибутива PorteuX 2.8, основанного на Slackware и развиваемого под впечатлением от проектов Slax и Porteus. Из особенностей PorteuX отмечается наличие преднастроенных окружений на базе рабочих столов Cinnamon, COSMIC, GNOME, KDE, LXDE, LXQt, MATE и Xfce, включение аппаратного ускорения обработки мультимедийных файлов на GPU Intel, AMD и NVIDIA, загрузка в Live-режиме за 3 секунды, системный образ в режиме только для чтения с доустановкой приложений из каталога PorteuX App Store, поддержка отката установки обновлений, режим загрузки в ОЗУ (copy2ram) и возможность загрузки по сети. Проектом сформировано 8 сборок, размером от 577 до 759 МБ. Ключевые изменения: Для организации работы … Читать далее Выпуск PorteuX 2.8, дистрибутива на основе Slackware

Опубликован RDPClient для операционной системы KolibriOS, написанной на ассемблере. В качестве инструментария кросс-компиляции использовался Kos-32 на базе GCC-5.4.0. Для реализации шифрованного канала задействована статически скомпонованная библиотека BearSSL. Учитывая ограничения самой KolibriOS и её инструментария, разработка велась на языке Си с обращением к системным вызовам напрямую. При разработке использовался AI-ассистент Claude. Реализованные возможности: динамическое изменение размера окна, воспроизведение звука с удалённого рабочего стола, поддержка 15/16/24/32-битных глубин цвета. EGFX-режимы, двунаправленный текстовый буфер обмена. Нереализованные возможности: иные буферы обмена кроме текста, проброс диска, H264-кодек, проброс устройств. Один из возможных сценариев использования — реализация тонкого клиента, подобного RDPKiosk, но на KolibriOS. Источник: http://www.opennet.ru/opennews/art.shtml?num=66104 Читать далее Подготовлен RDP-клиент для KolibriOS

Представлен релиз дистрибутива Bazzite Deck 44 (Handheld Edition), предназначенного для использования на телеприставках и игровых консолях, таких как Steam Deck, Asus Ally, GPD, Ayn и MSI Claw. Дистрибутив оптимизирован для управления через геймпады и предлагает программный стек, близкий к SteamOS, но построенный на технологиях атомарно обновляемых редакций Fedora Linux 44 (Fedora Kinoite и Fedora Silverblue). В отличие от основной версии для ПК редакция Bazzite Deck предлагает по умолчанию интерфейс на базе игрового режима Steam (Game Mode) с возможностью запуска традиционных рабочих столов KDE и GNOME в качестве опции. Приложения устанавливаются в формате Flatpak или в форме контейнеров. По данным сервиса … Читать далее Доступен Bazzite Deck 44, дистрибутив для игровых консолей

Опубликован релиз Phosh 0.57, экранной оболочки для мобильных устройств, основанной на технологиях GNOME и библиотеке GTK. Окружение изначально развивалось компанией Purism в качестве аналога GNOME Shell для смартфона Librem 5, но затем вошло в число неофициальных проектов GNOME и используется в postmarketOS, Mobian, ALT Mobile, Droidian, некоторых прошивках для устройств Pine64 и редакции Fedora для смартфонов. Phosh использует композитный сервер Phoc, работающий поверх Wayland, а также собственную экранную клавиатуру. Наработки проекта распространяются под лицензией GPLv3+. Среди изменений: При горизонтальной ориентации экрана реализована двухколоночная верхняя панель, активируемая скользящим жестом сверху-вниз. В одной колонке показывается меню быстрых настроек, а во второй список … Читать далее Выпуск Phosh 0.57.0, GNOME-окружения для смартфонов

Объявлено о переводе на русский язык официальной документации по языку программирования Python. На русском языке доступны руководство по Python, а также первые три главы справочника по языку Python. Источник: http://www.opennet.ru/opennews/art.shtml?num=66116 Читать далее Проект Python опубликовал документацию на русском языке

Опубликован экспериментальный выпуск открытой реализации Win32 API — Wine 11.16. С момента выпуска 11.15 был закрыто 35 отчётов об ошибках и внесено 244 изменения. Наиболее важные изменения: Реализована возможность аппаратного ускорения декодирования видео, используя VA-API. Движок Wine Mono обновлён до выпуска 11.3.0, в котором добавлена поддержка сборки для архитектуры ARM64. Wine Mono представляет собой дистрибутив Framework Mono, предназначенный для использования в Wine вместо проприетарного компонента .NET Framework. Улучшена обработка исключений в сборках для архитектуры ARM64EC (ARM64 Emulation Compatible), которая применяется для упрощения портирования на системы ARM64 приложений, изначально написанных для систем x86_64, и позволяет выполнять в окружении ARM64 отдельные модули … Читать далее Новые версии Wine 11.16 и Proton 11.0-2

По данным издания Bloomberg, Министерство государственной безопасности КНР предписало ряду государственных учреждений отказаться от использования операционной системы Windows 10 China Government Edition в пользу китайских дистрибутивов Linux, таких как Kylin OS и UOS (UnionTech OS на базе Deepin). Миграция реализуется в рамках долгосрочной стратегии по замене иностранных технологий в государственных ведомствах на открытые решения, развиваемые в Китае. Предполагается, что замена позволит укрепить цифровой суверенитет, избавиться от зависимости от продуктов иностранных компаний и укрепить защиту данных. Источник: http://www.opennet.ru/opennews/art.shtml?num=66109 Читать далее Китай переводит некоторые госучреждения с Windows на Linux

Давид Хейнемейер Ханссон (David Heinemeier Hansson), автор веб-фреймворка Ruby on Rails, объявил о создании некоммерческой организации Omacom Foundation, которая в долгосрочной перспективе обеспечит поддержание разработки дистрибутива Omarchy Linux и связанной с ним инфраструктуры. Организация также будет распоряжаться товарными знаками, обеспечивать финансирование и поддерживать открытые проекты и разработчиков, от которых зависит дистрибутив. Стартовый бюджет организации, составляющий 8 миллионов долларов, сформирован благодаря вкладу 8 основателей фонда, каждый из которых передал проекту 1 млн долларов. В число основателей вошли Майкл Делл (создатель компании Dell), Тоби Лютке (глава Shopify), Патрик Коллисон (руководитель Stripe), Мэтью Принс (руководитель Cloudflare), Давид Хейнемейер Ханссон (автор дистрибутива Omarchy), Джек … Читать далее Для поддержания дистрибутива Omarchy создана организация Omacom Foundation, получившая 8 млн долларов

Проект Pine64, занимающиёся созданием открытых устройств, объявил о приостановке производства Linux-устройств из-за дефицита памяти DRAM и накопителей eMMC. Возможность возобновления производства будет рассмотрена во второй половине следующего года и будут зависеть от цен на DRAM и eMMC. Запасы уже произведённых устройств PineNote и PineTab2 закончатся примерно через 3 месяца. Производство устройств на базе микроконтроллеров, таких как PineTime, PineVoice и Pinecil, продолжится в обычном режиме. Источник: http://www.opennet.ru/opennews/art.shtml?num=66112 Читать далее Проект Pine64 приостановил производство Linux-устройств

Представлен выпуск платформы Bun 1.4, предназначенной для обособленного выполнения приложений, написанных на языках JavaScript и TypeScript, и нацеленной на использование в качестве прозрачной замены платформы Node.js. Ветка 1.4 примечательная переводом кодовой базы с языка Zig на язык Rust, осуществлённым с использованием AI-инструментов Claude. Код продолжает распространяться под лицензией MIT. В качестве причины переписывания на Rust отмечается желание устранить проблемы в Bun, вызванные утечками памяти, а также наличие разногласий с авторами Zig в плане применения AI для написания кода и неприемлемая для крупных проектов политика Zig в отношении принятия в язык изменений, нарушающих совместимость. В качестве главного преимущества перехода на Rust … Читать далее Релиз серверной JavaScript-платформы Bun 1.4, переписанной с Zig на Rust

Опубликован релиз языка программирования Rust 1.98, основанного проектом Mozilla, но ныне развиваемого под покровительством независимой некоммерческой организации Rust Foundation. Язык сфокусирован на безопасной работе с памятью и предоставляет средства для достижения высокого параллелизма выполнения заданий, при этом обходясь без использования сборщика мусора и runtime (runtime сводится к базовой инициализации и сопровождению стандартной библиотеки). Методы работы с памятью в Rust нацелены на исключение ошибок при манипулировании указателями и защиту от проблем, возникающих из-за низкоуровневой работы с памятью, таких как обращение к области памяти после её освобождения, разыменование нулевых указателей, выход за границы буфера и т.п. Для распространения библиотек, обеспечения сборки и … Читать далее Выпуск Rust 1.98.0. Компрометация пакета arrayref, насчитывающего 53 млн загрузок за 3 месяца

Опубликован релиз пакетного менеджера RPM 6.1, который будет задействован в выпуске дистрибутива Fedora Linux 45. Проект развивается компанией Red Hat и используется в таких дистрибутивах, как RHEL, Fedora, SUSE, openSUSE, ALT Linux, Rosa Linux, OpenMandriva, Mageia, PCLinuxOS и Tizen. Код проекта распространяется под лицензиями GPLv2 и LGPLv2. При подготовке RPM 6.1 осуществлён переход на новую схему нумерации релизов. Первая цифра версии меняется при изменении формата RPM-пакетов, а вторая — при добавлении новой функциональности и исправлений, не нарушающих обратную совместимость. Третья цифра указывает на наличие только исправлений ошибок или уязвимостей. Вместо формирования альфа- и бета-версий для тестирования теперь публикуются кандидаты в … Читать далее Релиз пакетного менеджера RPM 6.1

Опубликован проект SoLo, позволяющий полностью статическим Linux-программам, собранным с musl, загружать через dlopen() установленные в системе glibc-библиотеки, в первую очередь GPU-драйверы. Обычно статическая сборка несовместима с драйверами Vulkan и OpenGL, которые дистрибутивы поставляют в виде разделяемых библиотек, собранных с glibc. SoLo снимает это ограничение при помощи встроенного в исполняемый файл загрузчика ELF и прослойки, транслирующей вызовы glibc в musl-рантайм процесса — сам glibc в процесс не загружается, второго libc в процессе не появляется. Код написан на C++ и распространяется под лицензией MIT. В репозиторий входит наглядный пример: статический исполняемый файл, в котором нет ни интерпретатора, ни динамической секции, штатным для … Читать далее Проект SoLo развивает загрузчик системных so-библиотек для полностью статических Linux-программ

Опубликован кандидат в релизы X.Org Server 26.1.0 (xorg-server 26.0.99.901), который ознаменовал начало фазы тестирования перед финальным стабильным релизом. X.Org Server 26.1.0 станет первым крупным релизом X.Org Server за последние пять лет — предыдущая значимая ветка 21.1 была выпущена в 2021 году. Ключевые изменения по сравнению с xorg-server 21.1: Удаление системы сборки autoconf/automake в пользу поддержки только Meson. Xwayland выделен в отдельный проект и больше не входит в состав xorg-server (из кодовой базы удалено более 21 тысячи строк кода). Отключены по умолчанию байтово-инвертированные клиенты (byte-swapped clients), позволяющие на клиенте и сервере использовать разный порядок байтов. Отключены по умолчанию соединения с сервером … Читать далее Доступен кандидат в релизы X.Org Server 26.1

После четырёх месяцев разработки представлено августовское сводное обновление приложений KDE Gear 26.08, развиваемых проектом KDE. В составе набора опубликованы выпуски более 250 программ, библиотек и плагинов. Информацию о наличии Live-сборок с новыми выпусками приложений можно получить на данной странице. Новые версии отдельных приложений можно загрузить из каталогов Flathub и SnapCraft. Наиболее заметные изменения: В файловом менеджере Dolphin улучшена интеграция с KDE Connect для сопряжения смартфона с рабочим столом — при навигации по файлам на смартфоне в панели теперь отображается кнопка «Open KDE Connect», позволяющая перейти в приложение «KDE Connect» для взаимодействия с мобильным устройством. При просмотре директории с большим числом … Читать далее Опубликован KDE Gear 26.08, набор приложений от проекта KDE

Компания Canonical анонсировала проект, развиваемый совместной с Бристольским университетом и нацеленный на разработку инструментария для автоматической трансляции кода с языка Си на Rust. Проект ориентирован на перевод больших репозиториев, содержащих сотни тысяч строк кода на Си, в безопасное (без unsafe-операций) и легко сопровождаемое представление на языке Rust. Canonical профинансирует работу исследователей над проектом в течение 3 лет. Развиваемая технология будет опробована для перевода на Rust пакетов AppArmor и snap-confine, чтобы проверить применимость метода к реальным системным компонентам. В инструментарии будет задействована гибридная модель, комбинирующая технологии на основе машинного обучения с классическими методами анализа, тестирования и формальной верификации. В процессе работы … Читать далее Компания Canonical представила проект по разработке транслятора с Си на Rust

Компания System76, разрабатывающая Linux-дистрибутив Pop!_OS, опубликовала выпуск среды рабочего стола COSMIC 1.6.0. Пакеты с COSMIC 1.6.0 доступны в дистрибутиве Pop!_OS 24.04 и в ближайшее время ожидаются в Fedora, NixOS, Arch Linux, openSUSE, Aeyrin OS, Redox и CachyOS. Код написан на языке Rust и распространяется под лицензиями GPLv3 (приложения) и MPL-2.0 (библиотеки). COSMIC развивается как универсальный проект, не привязанный к конкретному дистрибутиву и соответствующий спецификациям Freedesktop. Для построения интерфейса в COSMIC задействована библиотека Iced, которая использует безопасные типы, модульную архитектуру и модель реактивного программирования, а также предлагает архитектуру, привычную для разработчиков, знакомых с языком декларативного построения интерфейсов Elm. Предоставляется несколько движков … Читать далее Выпуск среды рабочего стола COSMIC 1.6.0

Опубликован выпуск проекта IncidentRelay 2.0, развивающего открытую систему для организации дежурств, маршрутизации оповещений и сопровождения инцидентов, разворачиваемую на собственном сервере (self-hosted). Проект ориентирован на SRE, DevOps и инфраструктурные команды, которым требуется локальная альтернатива облачным платформам управления дежурствами. Код написан на Python и распространяется под лицензией MIT. IncidentRelay принимает события из Prometheus Alertmanager, Grafana Alerting, Zabbix, Sentry, LibreNMS, RMON, AWS SNS/CloudWatch, Datadog, Uptime Kuma и произвольных webhook-обработчиков. После нормализации событие связывается с сервисом, командой и ротацией, к нему применяются правила маршрутизации и политики эскалации, после чего уведомление направляется текущему дежурному. Для доставки поддерживаются Mattermost, Slack, Telegram, Discord, Microsoft Teams, email, webhook, … Читать далее Выпуск IncidentRelay 2.0, системы для организации дежурств и маршрутизации оповещений