Kategorija: Blogs

Veikta formāla seL4 mikro kodola drošības verifikācija AArch64 arhitektūrā

Завершена работа над математической формальной верификацией надёжности и безопасности работы микроядра seL4 на системах с архитектурой набора команд AArch64. Верификация сводится к математическому доказательству корректности работы seL4, которое свидетельствует о полном соответствии заданным на формальном языке спецификациям. Доказательство надёжности позволяет использовать seL4 в критически важных системах на базе процессоров ARM64, требующих повышенного уровня безопасности и […]

Izlaidums PorteuX 2.8, Slackware bāzētā distribūcija

Опубликована новая версия дистрибутива PorteuX 2.8, основанного на Slackware и развиваемого под впечатлением от проектов Slax и Porteus. Из особенностей PorteuX отмечается наличие преднастроенных окружений на базе рабочих столов Cinnamon, COSMIC, GNOME, KDE, LXDE, LXQt, MATE и Xfce, включение аппаратного ускорения обработки мультимедийных файлов на GPU Intel, AMD и NVIDIA, загрузка в Live-режиме за 3 […]

Подготовлен RDP-клиент для KolibriOS

Опубликован RDPClient для операционной системы KolibriOS, написанной на ассемблере. В качестве инструментария кросс-компиляции использовался Kos-32 на базе GCC-5.4.0. Для реализации шифрованного канала задействована статически скомпонованная библиотека BearSSL. Учитывая ограничения самой KolibriOS и её инструментария, разработка велась на языке Си с обращением к системным вызовам напрямую. При разработке использовался AI-ассистент Claude. Реализованные возможности: динамическое изменение размера […]

Новые версии Wine 11.16 и Proton 11.0-2

Опубликован экспериментальный выпуск открытой реализации Win32 API — Wine 11.16. С момента выпуска 11.15 был закрыто 35 отчётов об ошибках и внесено 244 изменения. Наиболее важные изменения: Реализована возможность аппаратного ускорения декодирования видео, используя VA-API. Движок Wine Mono обновлён до выпуска 11.3.0, в котором добавлена поддержка сборки для архитектуры ARM64. Wine Mono представляет собой дистрибутив […]

Китай переводит некоторые госучреждения с Windows на Linux

По данным издания Bloomberg, Министерство государственной безопасности КНР предписало ряду государственных учреждений отказаться от использования операционной системы Windows 10 China Government Edition в пользу китайских дистрибутивов Linux, таких как Kylin OS и UOS (UnionTech OS на базе Deepin). Миграция реализуется в рамках долгосрочной стратегии по замене иностранных технологий в государственных ведомствах на открытые решения, развиваемые […]

Для поддержания дистрибутива Omarchy создана организация Omacom Foundation, получившая 8 млн долларов

Давид Хейнемейер Ханссон (David Heinemeier Hansson), автор веб-фреймворка Ruby on Rails, объявил о создании некоммерческой организации Omacom Foundation, которая в долгосрочной перспективе обеспечит поддержание разработки дистрибутива Omarchy Linux и связанной с ним инфраструктуры. Организация также будет распоряжаться товарными знаками, обеспечивать финансирование и поддерживать открытые проекты и разработчиков, от которых зависит дистрибутив. Стартовый бюджет организации, составляющий […]

Проект Pine64 приостановил производство Linux-устройств

Проект Pine64, занимающиёся созданием открытых устройств, объявил о приостановке производства Linux-устройств из-за дефицита памяти DRAM и накопителей eMMC. Возможность возобновления производства будет рассмотрена во второй половине следующего года и будут зависеть от цен на DRAM и eMMC. Запасы уже произведённых устройств PineNote и PineTab2 закончатся примерно через 3 месяца. Производство устройств на базе микроконтроллеров, таких […]

Выпуск Rust 1.98.0. Компрометация пакета arrayref, насчитывающего 53 млн загрузок за 3 месяца

Опубликован релиз языка программирования Rust 1.98, основанного проектом Mozilla, но ныне развиваемого под покровительством независимой некоммерческой организации Rust Foundation. Язык сфокусирован на безопасной работе с памятью и предоставляет средства для достижения высокого параллелизма выполнения заданий, при этом обходясь без использования сборщика мусора и runtime (runtime сводится к базовой инициализации и сопровождению стандартной библиотеки). Методы работы […]

Релиз пакетного менеджера RPM 6.1

Опубликован релиз пакетного менеджера 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 осуществлён переход на новую […]

Проект SoLo развивает загрузчик системных so-библиотек для полностью статических Linux-программ

Опубликован проект SoLo, позволяющий полностью статическим Linux-программам, собранным с musl, загружать через dlopen() установленные в системе glibc-библиотеки, в первую очередь GPU-драйверы. Обычно статическая сборка несовместима с драйверами Vulkan и OpenGL, которые дистрибутивы поставляют в виде разделяемых библиотек, собранных с glibc. SoLo снимает это ограничение при помощи встроенного в исполняемый файл загрузчика ELF и прослойки, транслирующей […]

Доступен кандидат в релизы X.Org Server 26.1

Опубликован кандидат в релизы 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 в пользу поддержки […]

Опубликован KDE Gear 26.08, набор приложений от проекта KDE

После четырёх месяцев разработки представлено августовское сводное обновление приложений KDE Gear 26.08, развиваемых проектом KDE. В составе набора опубликованы выпуски более 250 программ, библиотек и плагинов. Информацию о наличии Live-сборок с новыми выпусками приложений можно получить на данной странице. Новые версии отдельных приложений можно загрузить из каталогов Flathub и SnapCraft. Наиболее заметные изменения: В файловом […]

Iegādājieties uzticamu tīmekļa hostingu ar DDoS aizsardzību, VPS VDS serveriem 🔥 Iegādājieties uzticamu tīmekļa hostingu ar DDoS aizsardzību, VPS VDS serveriem | ProHoster