Узнали себя?

Linux / Линукс 🥸

Завершена формальная верификация микроядра seL4 для архитектуры AArch64

Разработчики завершили масштабный проект математической формальной верификации надежности и безопасности микроядра seL4 для 64-битной процессорной архитектуры AArch64.

Процедура представляет собой строгое доказательство полного соответствия исполняемого машинного кода заданным формальным спецификациям. Это гарантирует абсолютную изоляцию процессов и исключает возможность распространения сбоев или несанкционированного доступа к защищенным данным. Ранее аналогичные математические доказательства корректности были успешно получены для 32-разрядных чипов ARM, а также архитектур x86-64 и RISC-V.

Успешное подтверждение надежности открывает возможности для применения seL4 в критически важных системах на базе процессоров ARM64, включая аэрокосмическую отрасль, медицинское оборудование, автомобильную электронику и оборонные комплексы.

Linux / Линукс 🥸

Релиз дистрибутива Vanilla OS 3: атомарные обновления и контейнеры для всего

После двух лет разработки состоялся релиз дистрибутива Vanilla OS 3. Проект базируется на пакетах Debian, но полностью переосмысливает традиционный подход к работе операционной системы. Главная архитектурная особенность заключается в том, что системное окружение монтируется исключительно в режиме только для чтения, а все пользовательские приложения запускаются в изолированных контейнерах. В качестве графической оболочки разработчики предлагают совершенно чистый GNOME 50 без каких-либо сторонних модификаций, работающий поверх свежего ядра Linux 7.1.

За атомарные обновления отвечает фирменный инструментарий ABRoot. Система создает на накопителе два полностью идентичных корневых раздела, разделяя их на активный и пассивный. Обновления скачиваются и устанавливаются в фоновом режиме на пассивный раздел при минимальной нагрузке на процессор, а для их применения требуется лишь обычная перезагрузка компьютера, во время которой разделы меняются ролями. Если свежий апдейт вызывает критическую ошибку, предусмотрен автоматический откат на предыдущую рабочую версию.

Установка дополнительного программного обеспечения реализована через собственный пакетный менеджер apx, построенный на базе переписанного на языке Go инструментария Distrobox. Этот подход позволяет быстро устанавливать пакеты из Ubuntu, Arch Linux или Fedora прямо в изолированные окружения внутри основной системы. Дополнительно из коробки предоставляется встроенный инструмент Waydroid для запуска мобильных приложений под Android. В третьей версии дистрибутива также произошла замена базовых программ: терминал Black Box уступил место Ptyxis, вместо просмотрщика документов Evince теперь используется Papers, а классический системный монитор заменен на утилиту Resources.

Среди важных нововведений третьей ветки выделяется полноценная поддержка архитектуры ARM64 и внедрение воспроизводимых сборок. Теперь любой пользователь может лично скомпилировать образ системы из исходных кодов и получить результат, побитово совпадающий с официальным релизом. Исключение составляют только образы с проприетарными драйверами от NVIDIA. Для резервного копирования файлов из домашнего каталога и метаданных ABRoot разработчики представили новую утилиту Vanilla Continuity, которая умеет сохранять снапшоты локально или отправлять их на удаленные серверы по протоколам SFTP и FTP.

Linux / Линукс 🥸

Linux / Линукс 🥸

Быстро создаем RAM-диск

sudo mount -t tmpfs -o size=2G tmpfs /mnt/ramdisk

Все файлы в /mnt/ramdisk будут храниться только в оперативной памяти, что обеспечивает очень высокую скорость работы. После перезагрузки содержимое исчезнет. Это удобно для временных файлов, сборки проектов и тестирования.

Linux / Линукс 🥸

В CPython появилась официальная поддержка архитектуры RISC-V

Разработчики эталонной реализации языка Python официально приняли архитектуру RISC-V в свою кодовую базу. Пока что нововведение получило лишь третий уровень поддержки. На практике это означает, что сборка функционирует и за ней присматривает как минимум один участник из основной команды. Однако жестких гарантий по времени исправления багов пока нет, а наличие серьезных проблем с этой архитектурой не станет поводом для отмены или переноса новых релизов языка.

Для отладки специфичных ошибок инфраструктура проекта уже пополнилась несколькими аппаратными хостами на базе RISC-V. Сейчас инженеры активно интегрируют новую архитектуру в платформу непрерывной интеграции и пишут узкоспециализированные патчи для оптимизации производительности. В обозримом будущем статус платформы планируют повысить до второго уровня. Как только это произойдет, любые профильные критические сбои начнут блокировать формирование новых версий CPython, а на устранение проблем мейнтейнерам будет отводиться не более суток.

Linux / Линукс 🥸

Финальный босс

Linux / Линукс 🥸

Юристы X Corp закрыли Nitter и XCancel под угрозой судебных исков

Разрабы популярных сервисов Nitter и XCancel, позволявших читать X (Twitter) без регистрации и рекламы, объявили о немедленном прекращении работы. Жесткое досудебное уведомление от корпорации Илона Маска потребовало полностью остановить деятельность.

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

Главная претензия заключается в том, что сервисы несанкционированно обращались к внутреннему API социальной сети, а также неправомерно использовали чужие токены сессий и учетные записи для массового извлечения данных. Уведомления с аналогичными угрозами уже получили и другие разработчики прокси-сервисов, чьи продукты базировались на исходном коде Nitter.

Linux / Линукс 🥸

Первый релиз Multikernel Linux для одновременного запуска нескольких ядер на одном железе

Состоялся первый публичный релиз весьма амбициозного проекта Multikernel Linux. Разработчики представили масштабную модификацию, которая позволяет запускать сразу несколько независимых экземпляров ядра на одном физическом компьютере без использования гипервизоров и классической виртуализации.

Базируется эта технология на свежем релизе Linux 7.0 и пока работает исключительно на процессорах архитектуры x86_64. Примечательно, что вся новая архитектура завязана на один единственный сборочный параметр "CONFIG_MULTIKERNEL", при отключении которого получается абсолютно стандартная операционная система без каких-либо изменений.

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

Под капотом все устроено предельно прагматично и эффективно. Хостовое ядро выступает в роли дирижера, который нарезает доступные мощности процессора, оперативную память и устройства PCI, жестко распределяя их между параллельными ядрами. Каждому запускаемому экземпляру выдается выделенное физическое ядро CPU и собственный кусок оперативной памяти, а за всю оркестрацию без виртуализации отвечает модифицированный SMP-обработчик. Поскольку в такой схеме отсутствует стадия передачи управления виртуальным машинам и двойная трансляция адресов памяти, производительность практически не отличается от работы на голом железе. Тесты показывают, что по сравнению с популярным гипервизором KVM, скорость выполнения базовых системных вызовов в Multikernel вырастает от семи процентов до внушительных двух с половиной раз.

Linux / Линукс 🥸

Linux / Линукс 🥸

Главные новшества LibreOffice 26.8

Общие изменения
— Смена цветовой темы без перезапуска пакета.
— Встроенная поддержка вариативных шрифтов (OpenType).
— Возможность вырезать лишние трекинговые параметры из URL при вставке гиперссылок.
— Использование escape-последовательностей Unicode в регулярных выражениях при поиске.

Writer (Текст)
— Умное выравнивание: Новый алгоритм (Paragraph Composer) анализирует абзац целиком и равномерно распределяет пробелы между словами по ширине.
— Режим «Черновик» (Draft) скрывает картинки, отступы и колонтитулы, оставляя только текст.
— Режим наглядного сравнения двух версий документа бок о бок в одном окне.

Calc (Таблицы)
— Вставка столбцов с вычисляемыми значениями в сводные таблицы (Pivot Tables).
— Новая команда Shuffle для случайного перемешивания ячеек.
— Impress и Draw (Презентации и векторы)
— Поддержка слайдов и страниц разного размера в пределах одного файла.
— Группировка слайдов в секции для удобной навигации.
— Новые встроенные шаблоны с соотношением сторон 16:9.

Linux / Линукс 🥸

Linux / Линукс 🥸

DuckDuckGo выпустил «обычные, *****, солнцезащитные очки», высмеяв все умные гаджеты и ИИ технологии, которые суют куда ни попадя. В очках принципиально нет ни встроенных камер, ни микрофонов, ни функций искусственного интеллекта.

#предложка

Linux / Линукс 🥸

Релиз графической оболочки COSMIC 1.7.0 от создателей Pop!_OS

System76 представила новую версию пользовательского окружения COSMIC 1.7.0. В композитном менеджере появилась поддержка масштабируемых курсоров, которые теперь сохраняют идеальную четкость при любом увеличении. Специально для больших мониторов добавлена опция временного увеличения указателя при активном движении мышью, что позволяет мгновенно найти его на экране. Инструмент экранной лупы получил увеличенный шаг зумирования, избавляющий от необходимости многократно нажимать горячие клавиши.

Значительной доработке подвергся штатный файловый менеджер. Инженеры ускорили работу с сетевыми хранилищами и разрешили переходить по сетевым адресам из любых открытых вкладок. В панели закладок появилась долгожданная функция переименовывания избранных путей. Диалоговое окно выбора программы для открытия файла обзавелось поисковой строкой, а подсистема порталов теперь корректно работает с эмулируемыми устройствами ввода вроде Steam Input.

Помимо этого, авторы исправили ошибки, приводившие к падению системной панели, и обеспечили совместимость скрипта запуска с POSIX sh вместо обязательного использования интерпретатора bash.

Linux / Линукс 🥸

Мир, если бы не было дистро холиваров

Linux / Линукс 🥸