Linux / Линукс

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

Patroni: управляем кластерами PostgreSQL PostgreSQL работает стабильно, пока отказ одного узла не превращается в отказ всей системы. Для систем с высокой нагрузкой это вопрос архитектуры: база данных должна сохранять доступность даже при сбоях. 📅 23 сентября в 20:00 МСК на открытом уроке разберём Patroni - инструмент для построения и управления высокодоступными кластерами PostgreSQL. Рассмотрим его архитектуру, основные компоненты и настройку. На практических примерах покажем, как управлять кластером, контролировать его состояние и оптимизировать работу. Урок будет полезен системным администраторам, разработчикам серверной части и инженерам по эксплуатации. Зарегистрируйтесь и разберитесь, как повысить отказоустойчивость PostgreSQL с помощью Patroni. Узнать больше #реклама 16+ otus.ru О рекламодателе

Узнали себя? Linux / Линукс 🥸

«Нейросети для руководителей» от Яндекса и НИУ ВШЭ ⚡ Команда Яндекс Практикума собрала интенсив «Нейросети для руководителей», чтобы за 3 недели подготовить менеджеров к работе по новым правилам рынка. ✅ В программе: - 14 нейросетей — ChatGPT, Claude, n8n, Cursor и другие. - Практики под руководством топ-экспертов по ИИ из Яндекса и НИУ ВШЭ. - 6 воркшопов, которые легко совмещать с работой. - 6 проектов на ваших реальных кейсах — от аналитической справки до мини-продуктов и агентных цепочек. На выходе — весь спектр ИИ-навыков: отчёты и аналитика без ручной работы, гипотезы за часы, стратегия вместо операционки. Руководители перестают «тушить пожары» и начинают по-настоящему управлять. Узнать больше #реклама 16+ practicum.yandex.ru О рекламодателе

Ядру Linux стукнуло 35 лет 🎉 То, что начиналось 25 августа 1991 года как ламповый бунт финского студента против проприетарных ограничений, навсегда изменило правила игры и превратилось в основу, на которой сейчас держится буквально вся планета. Крошечный архив весом в сейчас 62 килобайта раздулся до сорока четырех миллионов строк исходного кода. Архитектура усложнилась настолько, что теперь даже сам создатель вынужден использовать алгоритмы искусственного интеллекта для отладки драйверов и поиска багов, а ядро постепенно переписывают на модный Rust. Правда, если посмотреть на статистику авторов в свежих релизах, то энтузиастов со стороны там подавляющее меньшинство. Почти семьдесят процентов всех строчек кода сегодня пишут штатные программисты из корпораций вроде Intel, Google, Meta, AMD и Qualcomm. Техногигантам просто жизненно необходимо вливать миллионы человеко-часов в разработку бесплатного ядра, потому что именно на нем бесперебойно крутятся все их гиперскейлеры, дата-центры и фермы для обучения нейросетей. Однако, в то время как бигтех сжигает миллиарды в ИИ-гонке и агрессивно упаковывает пользователей в закрытые платные экосистемы, реальный мир продолжает надежно крутиться благодаря тому самому студенту и тысячам безымянных героев открытого кода. С днём рождения, Линукс! 🎉 Linux / Линукс 🥸

Точка в многолетнем споре. Апелляционный суд США окончательно отклонил иск Xinuos к IBM о правах на Linux Федеральный апелляционный суд США отклонил апелляционную жалобу компании Xinuos, выкупившей в свое время активы скандально известной SCO Group, и отказался возобновлять масштабное судебное разбирательство против корпораций IBM и Red Hat. Коллегия из трех судей оставила в силе вердикт суда первой инстанции, указав на истечение срока исковой давности и полную несостоятельность претензий истца, который безуспешно пытался переквалифицировать давний конфликт о принадлежности исходного кода Unix в спор о нарушении условий лицензирования при разработке открытого ядра Linux. История противостояния берет начало еще в 2003 году, когда SCO развернула серию судебных атак на свободное сообщество, пока в ходе разбирательств не выяснилось, что права на спорную интеллектуальную собственность компании вовсе не принадлежали и оставались у Novell. В 2021 году компания Xinuos в статусе правопреемника попыталась инициировать новый виток процесса, обвинив IBM в антимонопольных нарушениях и неправомерном вытеснении конкурентов, однако суды вновь признали обвинения безосновательными. Несмотря на намерение истца запросить повторные слушания полным составом апелляционного суда, шансы на удовлетворение такого ходатайства оцениваются юристами как практически нулевые. Linux / Линукс 🥸

Документация Python теперь на русском 🙂 Уже доступны переводы базового вводного руководства по языку, а также первых трёх глав фундаментального справочника по синтаксису и архитектуре платформы. 🥸 Новости IT: 📱 Telegram | 📱 ВК | 📲 MAX

Проект GIMP разрабатывает новый модульный формат файлов с поддержкой автосохранения Разработчики свободного графического редактора GIMP объявили о проектировании нового формата рабочих файлов, который придёт на смену устаревшему стандарту XCF. Текущий формат хранения рабочих данных со слоями, цветовыми каналами, масками и направляющими накопил множество ограничений и плохо справляется со сложными задачами, включая обработку многостраничных документов и расширенную анимацию, запланированную к внедрению в ветке GIMP 3.6. Вместо монолитного бинарного контейнера новый стандарт будет построен по модульному принципу пакетов OpenDocument — в виде набора XML-файлов разметки и графических компонентов, упакованных в ZIP-архив. Такая архитектура позволит ускорить операции промежуточного сохранения благодаря обновлению только измененных частей проекта без полной перезаписи массива данных, а также откроет дорогу для реализации надежного механизма фонового автосохранения. Классический формат XCF останется доступен для обеспечения обратной совместимости, однако все будущие специализированные функции редактора будут поддерживаться исключительно в новом формате. Linux / Линукс 🥸

Яндекс Музыка до 360 дней бесплатно Яндекс Музыка для вас и 3-х ваших близких. Кинопоиск и Яндекс Книги тоже в мультиподписке Плюс. Попробуйте бесплатно❤️ Слушать #реклама 18+ music.yandex.ru О рекламодателе

ИИ-агенты думали, что проверяют безопасность гособъектов. На деле - четыре дня взламывали их. 12 волн атак, 85 скомпрометированных аккаунтов, тысячи слитых записей о сотрудниках. Ни один человек не стоял за штурвалом атаки. Официально не называют ни авторов атаки, ни её цель. Но Financial Times уже выяснили, какую страну взломали. Какую именно — в «Нейродозоре» 👉 Прочитать тут

Linux / Линукс 🥸

Релиз игрового дистрибутива Bazzite Deck 44 Разработчики представили крупное обновление дистрибутива Bazzite Deck 44, ориентированного на портативные игровые консоли и телеприставки, включая Steam Deck, Asus ROG Ally, MSI Claw, а также устройства брендов GPD и Ayn. Проект построен на базе атомарно обновляемой платформы Fedora Linux 44 и предлагает программное окружение в стиле SteamOS с запуском игр в режиме Steam Game Mode и поддержкой изолированных Flatpak-приложений. На сегодняшний день система занимает четвертое место по популярности среди игровых дистрибутивов на сервисе ProtonDB, генерируя существенную долю трафика в каталоге Flathub. Главным фокусом новой версии стало углубление интеграции с интерфейсом Steam: пользователи получили возможность управлять параметрами энергопотребления TDP и настраивать RGB-подсветку оборудования прямо из штатного меню оверлея. Для расширенной конфигурации устройств ввода в систему интегрировали окружение OpenGamepadUI и стек InputPlumber, а также открыли доступ к установке пользовательских плагинов. Переключение графических адаптеров на устройствах с гибридными видеокартами теперь выполняет утилита CardWire с наглядным интерфейсом, работающая на базе высокопроизводительных eBPF-обработчиков. За производительность и графику в релизе отвечает ядро Linux 7.2 с игровыми патчами от проектов OGC и Valve, дополненное оптимизациями планировщика задач и сетевого стека через утилиту bpftune. Графический стек включает свежую версию Mesa 26.2.1 и композитор Gamescope, а для видеокарт AMD реализована поддержка протокола HDMI 2.1 FRL, обеспечивающего вывод несжатого изображения вплоть до 4K при 120 Гц при подключении к внешним экранам. Начальную настройку системы упростили за счет полностью переписанного экрана приветствия Bazzite Portal. Linux / Линукс 🥸

Нужен зарубежный сервис, но российская карта не работает? ❌ 💡 У GetCard есть простое решение — виртуальные карты с зарубежными платежными реквизитами. Мы предлагаем 2 варианта под разные задачи: 📱 Для подписок и сервисов ChatGPT, Google, Apple, зарубежные приложения, игры и любые цифровые платформы. ✈️ Для путешествий и поездок Карта для оплаты покупок, кафе, транспорта и других расходов за границей. Можно легко добавить в Apple Pay или Google Pay и платить смартфоном как раньше! Главные фишки GetCard: ✅ Оформление полностью онлайн за пару минут ✅ Пополнение баланса в рублях ✅ Мгновенный доступ к зарубежным платежам 🌟 GetCard — когда российская карта не подходит, а зарубежная нужна прямо сейчас. ➡️ Оформить карту: getcard.one Реклама. О рекламодателе

Linux / Линукс 🥸

Ушел из жизни бессменный автор и мейнтейнер подсистемы CIFS и SMB3 в ядре Linux Изначально в рассылке ядра появилась информация о том, что Стив просто уходит с поста мейнтейнера по состоянию здоровья, но вскоре коллеги из Samba team подтвердили самые худшие новости. Френч был настоящей легендой индустрии и главным автором клиента CIFS, начав пушить код в апстрим еще в далеком 2002 году. Долгие годы он работал инженером в IBM, а с 2018 года перешел в Microsoft, где занимался облачным хранилищем Azure Storage. При этом он до последнего оставался бессменным хранителем ядерного кода CIFS и нового in-kernel SMB-сервера KSMBD. С релизом ядра Linux 7.3 произойдет вынужденная смена караула: ⏺ Патч со сменой ответственных лиц уже смержен в основную ветку ядра. ⏺ Новыми ко-мейнтейнерами CIFS/SMB3 стали Пауло Алькантара и Намджае Чон. ⏺ Развитие сетевого протокола и поддержка совместимости продолжатся, но уже без участия главного архитектора. Это огромная потеря для всего сообщества. Стив был одним из тех невидимых титанов, на чьем коде десятилетиями держалась прозрачная сетевая совместимость и обмен файлами между корпоративными серверами и миллионами Linux-систем. Linux / Линукс 🥸

14 npm-пакетов притворялись библиотеками для дат и запускали в Linux боевой имплант RedC2 В каталоге менеджера пакетов npm обнаружили 14 вредоносных модулей, выдававших себя за вспомогательные математические библиотеки для работы с датами и календарями. Вредоносные пакеты из линеек streak-metrics, streak-map и kit-map безупречно выполняли заявленные функции, благодаря чему не вызывали подозрений у разработчиков при тестировании. Однако при первом же импорте через главный файл сборки модули скрытно активировали в Linux-системах нативный исполняемый компонент RedShell, входящий в состав коммерческого набора инструментов RedC2 4.0. Для маскировки авторы кампании отказались от стандартных установочных скриптов npm: бинарный файл прятался в системных каталогах под видом вспомогательного вычислительного модуля, получал права на выполнение и запускался отдельным изолированным фоновым процессом. После активации имплант связывался с командно-управляющим сервером, предоставляя операторам интерактивную командную оболочку, возможность кражи SSH-ключей и сохраненных учетных записей, создание прокси-туннелей SOCKS5, а также запуск кода напрямую в оперативной памяти. В свежую версию комплекса RedC2 создатели также интегрировали модуль Red Agent на базе языковой модели, который автоматически преобразует текстовые инструкции злоумышленника в готовые цепочки терминальных команд. Эксперты подчеркивают особую опасность сценария, при котором вредоносный пакет проникает в инфраструктуру через транзитивные зависимости в цепочке сборки. В этом случае разработчик может даже не знать о присутствии опасного модуля среди прямых зависимостей проекта, пока фоновый агент передает контроль над сервером атакующим. Linux / Линукс 🥸

Кинопоиск до 360 дней бесплатно Кинопоиск — тысячи фильмов и сериалов без рекламы, в высоком качестве. Яндекс Музыка и Книги тоже в мультиподписке Плюс. Попробуйте бесплатно ❤️ Попробовать #реклама 18+ kinopoisk.ru О рекламодателе

Релиз мобильной оболочки Phosh 0.57.0 Опубликован релиз пользовательской оболочки Phosh 0.57.0, предназначенной для смартфонов и планшетов на базе технологий GNOME, библиотеки GTK и композитного сервера Phoc поверх Wayland. Окружение, изначально созданное для смартфона Librem 5, сегодня активно применяется в postmarketOS, Mobian, Fedora Mobile, Droidian и прошивках для устройств Pine64. Ключевым визуальным новшеством версии стало внедрение двухколоночной верхней шторки в горизонтальной ориентации экрана: при свайпе сверху вниз на дисплее одновременно отображаются меню быстрых системных настроек и отдельный список входящих уведомлений. Разработчики существенно оптимизировали экранную клавиатуру Stevia, перенеся клавиши Tab и Esc в верхнюю панель подсказок для терминальной раскладки, что позволило увеличить площадь основных буквенных кнопок. Мобильный конфигуратор получил обновленные панели управления беспроводными сетями Wi-Fi, Bluetooth и параметрами сотовых операторов, портированные из компонентов GNOME 50.4. Кроме того, в диалогах выбора файлов через системный портал xdg-desktop-portal-phosh появилась поддержка одновременного выделения нескольких объектов, а в мастере первого запуска добавили возможность гибкой настройки групп пользователей. Технический стек композитора Phoc перевели на библиотеку wlroots 0.20.2 и расширили поддержкой протокола phoc-foreign-toplevel-pidfd для эффективного взаимодействия с окнами верхнего уровня через файловые дескрипторы процессов. В подсистему gmobile добавили калибровки экранных панелей для смартфона Pixel 9a, а также поддержку аппаратных клавиш пробуждения для планшета Juno Tablet 4 и смартфона Nothing Phone 1. Linux / Линукс 🥸

Пользователи Арч, вы так выглядите? Linux / Линукс 🥸

Прошёл Docker, Terraform и Ansible по отдельности - а самостоятельно поднять инфраструктуру с нуля всё равно не получается? Дело не в пробелах в знаниях, а в пробеле между курсами: каждый инструмент живёт отдельно, а как собрать всё вместе - никто толком не показывает. Новый курс «Docker, Terraform, Ansible: от контейнера до инфраструктуры как код» строит один сквозной проект через все три слоя: Docker, Terraform на Yandex Cloud (с рабочим обходом блокировки реестра HashiCorp через network_mirror), Ansible-роли с Vault и идемпотентным деплоем. Учимся как в проде: сначала реальные баги (например, Docker Hub режется на VM), потом - фикс. Капстоун - отдельный проект, который вручную проверяет ментор на своей инфраструктуре. Первые 3 дня - промокод LINUX700, скидка 700₽. [ссылка на курс] Реклама. Зиновьев Д.Ф. ИНН 505311889875.