Апелляционный суд отказал в возобновлении разбирательства с IBM, касающегося прав на Linux
Федеральный апелляционный суд США отклонил апелляцию компании Xinuos (UnXis), которая в 2011 году выкупила бизнес SCO Group. Компания Xinuos добивалась возобновления судебного разбирательства против IBM и Red Hat, которым вменяется передача интеллектуальной собственности SCO в ядро Linux. Коллегия из трёх судей отказалась пересматривать ранее вынесенное решение окружного суда США по Южному округу Нью‑Йорка из-за истечения срока исковой давности.
Читать полностью
#OpenNet
@linux_potok
Федеральный апелляционный суд США отклонил апелляцию компании Xinuos (UnXis), которая в 2011 году выкупила бизнес SCO Group. Компания Xinuos добивалась возобновления судебного разбирательства против IBM и Red Hat, которым вменяется передача интеллектуальной собственности SCO в ядро Linux. Коллегия из трёх судей отказалась пересматривать ранее вынесенное решение окружного суда США по Южному округу Нью‑Йорка из-за истечения срока исковой давности.
Читать полностью
#OpenNet
@linux_potok
👻7
Выполнена формальная верификация безопасности микроядра seL4 для архитектуры AArch64
Завершена работа над математической формальной верификацией надёжности и безопасности работы микроядра seL4 на системах с архитектурой набора команд AArch64. Верификация сводится к математическому доказательству корректности работы seL4, которое свидетельствует о полном соответствии заданным на формальном языке спецификациям. Доказательство надёжности позволяет использовать seL4 в критически важных системах на базе процессоров ARM64, требующих повышенного уровня безопасности и гарантирующих отсутствие сбоев.
Читать полностью
#OpenNet
@linux_potok
Завершена работа над математической формальной верификацией надёжности и безопасности работы микроядра seL4 на системах с архитектурой набора команд AArch64. Верификация сводится к математическому доказательству корректности работы seL4, которое свидетельствует о полном соответствии заданным на формальном языке спецификациям. Доказательство надёжности позволяет использовать seL4 в критически важных системах на базе процессоров ARM64, требующих повышенного уровня безопасности и гарантирующих отсутствие сбоев.
Читать полностью
#OpenNet
@linux_potok
🫡4❤1⚡1
В CPython реализована официальная поддержка архитектуры RISC-V
Разработчики языка программирования Python объявили о реализации официальной поддержки архитектуры RISC-V в кодовой базе CPython, эталонной реализации языка программирования Python. Для архитектуры RISC-V заявлен третий уровень поддержки, подразумевающий рабочую сборку и сопровождение как минимум одним участником из Core Team, но без гарантированного времени рассмотрения сбоев и без блокирования публикации релиза в случае наличия серьёзных проблем.
Читать полностью
#OpenNet
@linux_potok
Разработчики языка программирования Python объявили о реализации официальной поддержки архитектуры RISC-V в кодовой базе CPython, эталонной реализации языка программирования Python. Для архитектуры RISC-V заявлен третий уровень поддержки, подразумевающий рабочую сборку и сопровождение как минимум одним участником из Core Team, но без гарантированного времени рассмотрения сбоев и без блокирования публикации релиза в случае наличия серьёзных проблем.
Читать полностью
#OpenNet
@linux_potok
⚡2
Новая версия почтового сервера Exim 4.100
Опубликован релиз почтового сервера Exim 4.100, в который внесены накопившиеся исправления и добавлены новые возможности. Код проекта написан на языке Си и распространяется под лицензией GPLv2+.
Читать полностью
#OpenNet
@linux_potok
Опубликован релиз почтового сервера Exim 4.100, в который внесены накопившиеся исправления и добавлены новые возможности. Код проекта написан на языке Си и распространяется под лицензией GPLv2+.
Читать полностью
#OpenNet
@linux_potok
⚡1🤔1
Релиз дистрибутива Vanilla OS 3, использующего контейнеры и атомарные обновления
После двух лет разработки опубликован выпуск пользовательского дистрибутива Vanilla OS 3, основанного на пакетной базе Debian, но выходящего за рамки обычной пересборки. Системное окружение в Vanilla OS монтируется в режиме только для чтения и обновляется атомарно, а приложения запускаются в отдельных контейнерах, используя прослойку на базе инструментария Distrobox. В качестве пользовательского окружения предлагается немодифицированный GNOME, поставляемый в том виде, в каком он изначально выпускается разработчиками. Собственные графические конфигураторы написаны на GTK4 с использованием Libadwaita. Размер iso-образа - 1.8 ГБ (x86_64, arm64).
Читать полностью
#OpenNet
@linux_potok
После двух лет разработки опубликован выпуск пользовательского дистрибутива Vanilla OS 3, основанного на пакетной базе Debian, но выходящего за рамки обычной пересборки. Системное окружение в Vanilla OS монтируется в режиме только для чтения и обновляется атомарно, а приложения запускаются в отдельных контейнерах, используя прослойку на базе инструментария Distrobox. В качестве пользовательского окружения предлагается немодифицированный GNOME, поставляемый в том виде, в каком он изначально выпускается разработчиками. Собственные графические конфигураторы написаны на GTK4 с использованием Libadwaita. Размер iso-образа - 1.8 ГБ (x86_64, arm64).
Читать полностью
#OpenNet
@linux_potok
👍5🤯2
Ядру Linux исполнилось 35 лет
25 августа 1991 года после пяти месяцев разработки 21-летний студент Линус Торвальдс объявил в телеконференции comp.os.minix о создании рабочего прототипа новой операционной системы Linux, для которой было отмечено завершение портирования bash 1.08 и gcc 1.40. Первый публичный выпуск ядра Linux был представлен 17 сентября. Ядро 0.0.1 имело размер 62 Кб в сжатом виде и содержало примерно 10 тысяч строк исходного кода. Современное ядро Linux насчитывает около 44 млн строк кода.
Читать полностью
#OpenNet
@linux_potok
25 августа 1991 года после пяти месяцев разработки 21-летний студент Линус Торвальдс объявил в телеконференции comp.os.minix о создании рабочего прототипа новой операционной системы Linux, для которой было отмечено завершение портирования bash 1.08 и gcc 1.40. Первый публичный выпуск ядра Linux был представлен 17 сентября. Ядро 0.0.1 имело размер 62 Кб в сжатом виде и содержало примерно 10 тысяч строк исходного кода. Современное ядро Linux насчитывает около 44 млн строк кода.
Читать полностью
#OpenNet
@linux_potok
🎉15❤1
Доступен Firefox 154.0.1. В Firefox 157 намечено включение JPEG-XL
Доступен корректирующий выпуск Firefox 154.0.1, в котором представлены шесть исправлений.
Читать полностью
#OpenNet
@linux_potok
Доступен корректирующий выпуск Firefox 154.0.1, в котором представлены шесть исправлений.
Читать полностью
#OpenNet
@linux_potok
🎉2👍1
Выпуск текстового редактора GNU Emacs 31
Проект GNU опубликовал релиз текстового редактора GNU Emacs 31.1 (первый выпуск серии 31.x, ветка 31.0 использовалась для разработки). Вплоть до выпуска GNU Emacs 24.5 проект развивался под личным руководством Ричарда Столлмана, который передал пост лидера проекта осенью 2015 года. Код проекта написан на языках Си и Lisp и распространяется под лицензией GPLv3.
Читать полностью
#OpenNet
@linux_potok
Проект GNU опубликовал релиз текстового редактора GNU Emacs 31.1 (первый выпуск серии 31.x, ветка 31.0 использовалась для разработки). Вплоть до выпуска GNU Emacs 24.5 проект развивался под личным руководством Ричарда Столлмана, который передал пост лидера проекта осенью 2015 года. Код проекта написан на языках Си и Lisp и распространяется под лицензией GPLv3.
Читать полностью
#OpenNet
@linux_potok
👍1🎉1