Рубрика: Блог

Микроядро seL4 математически верифицировано для архитектуры RISC-V

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

Релиз звуковой подсистемы Linux — ALSA 1.2.3

Представлен релиз звуковой подсистемы ALSA 1.2.3. Новая версия затрагивает обновление библиотек, утилит и плагинов, работающих на уровне пользователя. Драйверы развиваются синхронно с ядром Linux. Из изменений, кроме многочисленных исправлений в драйверах, можно отметить обеспечение поддержки ядра Linux 5.7, расширение API PCM, Mixer и Topology (загрузка драйверами обработчиков из пространства пользователя). Реализован перемещаемый (relocatable) вариант snd_dlopen […]

Второй бета-выпуск операционной системы Haiku R1

Опубликован второй бета-выпуск операционной системы Haiku R1. Изначально проект был создан как реакция на закрытие ОС BeOS и развивался под именем OpenBeOS, но был переименован в 2004 году из-за претензий, связанных с использованием в названии торговой марки BeOS. Для оценки работы нового выпуска подготовлено несколько загрузочных Live-образов (x86, x86-64). Исходные тексты большей части ОС Haiku […]

Релиз KDE Plasma 5.19

Вышла новая версия графической среды KDE Plasma 5.19. Основным приоритетом этого выпуска стала проработка дизайна виджетов и элементов рабочего стола, а именно более согласованный внешний вид. Пользователь получит больше контроля и возможностей по настройке системы, а улучшения удобства использованяя сделают использование Plasma еще более простым и приятным! Из основных изменений: Рабочий стол и виджеты: Улучшен […]

Первый выпуск Peer-to-Peer клиента федеративной сети Matrix

Состоялся выпуск экспериментального клиента Riot P2P. Riot — изначально клиент для федеративной сети Matrix. P2P-модификация добавляет в клиент реализацию сервера и федерацию без использования централизованного DNS посредством интеграции libp2p, которая также используется в IPFS. Это первая версия клиента, которая сохраняет сессию после перезагрузки страницы, но в следующих мажорных обновлениях (например, 0.2.0) данные всё равно будут […]

Elastic под замком: включаем опции безопасности кластера Elasticsearch для доступа изнутри и снаружи

Elastic Stack — известный инструмент на рынке SIEM-систем (вообще-то, не только их). Может собирать в себя много разнокалиберных данных, как чувствительных, так и не очень. Не совсем правильно, если доступ к самим элементам Elastic Stack не будет защищён. По умолчанию все коробочные элементы Elastic (Elasticsearch, Logstash, Kibana и коллекторы Beats) работают по открытым протоколам. А […]

Remote Desktop глазами атакующего

1. Введение Компании, у которых не были организованы системы удалённого доступа, в экстренном порядке разворачивали их пару месяцев назад. Не все администраторы были готовы к такой “жаре”, как следствие — упущения в безопасности: некорректная конфигурация сервисов или даже установка устаревших версий ПО с обнаруженными ранее уязвимостями. Одним эти упущения уже вернулись бумерангом, другим повезло больше, […]

Хостинг и выделенные серверы: отвечаем на вопросы. Часть 4

В этой серии статей мы хотим рассмотреть вопросы, которые возникают у людей при работе с хостинг-провайдерами и выделенными серверами в частности. Большинство из обсуждений мы вели на англоязычных форумах, стараясь пользователям в первую очередь помочь советом, а не саморекламой, дав максимально подробный и беспристрастный ответ, ведь наш опыт в сфере уже свыше 14 лет, сотни […]

Кибератака вынудила Honda приостановить на день производство по всему миру

Honda Motor сообщила во вторник о приостановке производства некоторых моделей автомобилей и мотоциклов по всему миру в связи с кибератакой, происшедшей в понедельник. По словам представителя автопроизводителя, хакерская атака затронула Honda в глобальном масштабе, вынудив компанию прекратить работы некоторых заводов из-за отсутствия гарантии полноценной работы систем контроля качества после вмешательства хакеров. Хакерская атака повлияла на […]

Microsoft перенесла июньскую трансляцию Xbox 20/20 на август из-за Sony

В прошлом месяце корпорация Microsoft анонсировала Xbox 20/20 — ряд ежемесячных мероприятий, посвящённых Xbox Series X, Xbox Game Pass, предстоящим играм и прочим новостям. Одно из них должно было пройти в июне, но похоже, что перенос трансляции Sony с демонстрацией проектов PlayStation 5 изменил планы издателя. Июньское мероприятие было передвинуто на август. С июльским мероприятием […]

Monolith Soft сосредоточится на развитии бренда Xenoblade Chronicles

Xenoblade Chronicles за последнее десятилетие стала для Nintendo крупной франшизой благодаря двум номерным частям и одному ответвлению. К счастью для поклонников, ни издатель, ни студия Monolith Soft не собираются забрасывать серию в ближайшие годы. Общаясь с Vandal, глава Monolith Soft и создатель серии Xenoblade Chronicles Тэцуя Такахаси (Tetsuya Takahashi) сказал, что студия сосредоточена на развитии […]

Неоновый экшен-платформер Neon Abyss выйдет на всех платформах 14 июля

Компания Team17 и студия Veewo Games объявили о том, что экшен-платформер Neon Abyss выйдет на ПК, PlayStation 4, Xbox One и Nintendo Switch 14 июля. Уже сейчас в Steam доступна ограниченная по времени демоверсия, которая предлагает сыграть 15 минут на лёгком уровне сложности, 18 минут на среднем и 24 минуты на сложном. В Neon Abyss […]