Computers were a mistake

Доброго времени суток!

Представляю вам мини-дайджест около-айтишных новостей за прошедшую неделю (24 - 30 ноября).

* Инициатива по верификации стандартной библиотеки Rust. Все по классике - "безопасный" язык в stdlib очень активно использует небезопасные операции (в случае с Rust - ключевое слово unsafe). Примечателен случай тем, что Amazon совместно с Rust Foundation решили платить деньги за формальное доказательство безопасности (а не за доказательства наличия уязвимостей). Если вы не в РФ - можете попробовать, ибо сомневаюсь, что исследователям из РФ будут выплачивать вознаграждения.
* Релиз открытой цифровой звуковой рабочей станции Zrythm 1.0.0. Выглядит интересно, особенно учитывая переход с С/GTK на C++20/JUCE/Qt6. Как-нибудь попробую что-нибудь поделать там вместо LMMS.
* Выпуск свободной системы 3D-моделирования Blender 4.3. Мне больше понравилось известие о наличии экспериментального бэкенда на Vulkan.
* Проект OpenStreetMap перевёл серверную инфраструктуру с Ubuntu на Debian. Одной из причин миграции называется поставка некоторого софта только в формате snap. Мертворожденный пакетник топит убунту, однако. К слову, я не пользую Ubuntu в том числе и по этой причине, snap мне не нравится.
* Выпуск среды рабочего стола Cinnamon 6.4. Теперь там все более круглое 🙃. Ну а еще Night Light, управление питанием через dbus (наверное, нужен power-profiles-daemon будет).
* В пакетном менеджере APT 2.9.15 прекращено использование apt-key. Основной интересностью релиза 2.9.15 стало окончательное прекращение поддержки apt-key. Если вы вдруг используете его где-то в скриптах или ansible - время переезжать на поддерживаемое решение (а это складировать ключи в отдельную директорию для каждого репозитория).
* В KDE повышена надёжность работы при наличии сбойных виджетов. Теперь из-за кривых виджетов будет еще меньше падений плазмы. К слову, у меня она уже давно не падает, наверное, все из-за неиспользования кривых виджетов в принципе.
* Релизы дистров и ОСей: Elementary 8, Tails 6.10, Proxmox Backup Server 3.3, NixOS 24.11.

www.tgoop.com/coweram/407

1.8K viewsStanislav N., Dec 1 at 10:01

Доброго времени суток!

Представляю вам мини-дайджест около-айтишных новостей за прошедшую неделю (24 - 30 ноября).

* Инициатива по верификации стандартной библиотеки Rust. Все по классике - "безопасный" язык в stdlib очень активно использует небезопасные операции (в случае с Rust - ключевое слово unsafe). Примечателен случай тем, что Amazon совместно с Rust Foundation решили платить деньги за формальное доказательство безопасности (а не за доказательства наличия уязвимостей). Если вы не в РФ - можете попробовать, ибо сомневаюсь, что исследователям из РФ будут выплачивать вознаграждения.
* Релиз открытой цифровой звуковой рабочей станции Zrythm 1.0.0. Выглядит интересно, особенно учитывая переход с С/GTK на C++20/JUCE/Qt6. Как-нибудь попробую что-нибудь поделать там вместо LMMS.
* Выпуск свободной системы 3D-моделирования Blender 4.3. Мне больше понравилось известие о наличии экспериментального бэкенда на Vulkan.
* Проект OpenStreetMap перевёл серверную инфраструктуру с Ubuntu на Debian. Одной из причин миграции называется поставка некоторого софта только в формате snap. Мертворожденный пакетник топит убунту, однако. К слову, я не пользую Ubuntu в том числе и по этой причине, snap мне не нравится.
* Выпуск среды рабочего стола Cinnamon 6.4. Теперь там все более круглое 🙃. Ну а еще Night Light, управление питанием через dbus (наверное, нужен power-profiles-daemon будет).
* В пакетном менеджере APT 2.9.15 прекращено использование apt-key. Основной интересностью релиза 2.9.15 стало окончательное прекращение поддержки apt-key. Если вы вдруг используете его где-то в скриптах или ansible - время переезжать на поддерживаемое решение (а это складировать ключи в отдельную директорию для каждого репозитория).
* В KDE повышена надёжность работы при наличии сбойных виджетов. Теперь из-за кривых виджетов будет еще меньше падений плазмы. К слову, у меня она уже давно не падает, наверное, все из-за неиспользования кривых виджетов в принципе.
* Релизы дистров и ОСей: Elementary 8, Tails 6.10, Proxmox Backup Server 3.3, NixOS 24.11.

BY Computers were a mistake