Аnthropic развивает технику для формальной верификации существующего ПО при помощи AI

Компания Аnthropic представила результаты экспериментов по использованию AI-моделей для формальной верификации надёжности и безопасности уже существующих проектов. В ходе эксперимента при помощи AI-моделей для 123 открытых библиотек, протестированных в инфраструктуре OSS Fuzz, были сгенерированы математические доказательства отсутствия ошибок при работе с памятью.

Читать полностью

#OpenNet
@linux_potok

Бета-версия клиента Steam — 22 октября обновляет поддержку HDR в Remote Play

Valve только что выпустила очередное обновление бета-версии клиента Steam — обновление от 22 октября, в котором была полностью переработана поддержка HDR в Remote Play.

Читать полностью

#GamingOnLinux
@linux_potok

Магазин Legacy Games закрывается

Просуществовав в той или иной форме с 90-х годов, Legacy Games официально подходит к концу — магазин готовится закрыться.

Читать полностью

#GamingOnLinux
@linux_potok

METRO 2033 Redux и METRO Last Light Redux: обновление для нового поколения уже доступно

Совершенно новые обновления для нового поколения уже бесплатно доступны для METRO 2033 Redux и METRO Last Light Redux — вот всё, что было добавлено и улучшено.

Читать полностью

#GamingOnLinux
@linux_potok

Shelly 3.1.9: менеджер пакетов Arch Linux получил поддержку миграции файлов

Версия Shelly 3.1.9 добавляет поддержку миграции файлов, исправляет обновление пакетов из AUR и улучшает обработку обновления репозиториев.

Читать полностью

#Linuxiac
@linux_potok

Calibre 9.17: менеджер электронных книг получил поддержку JPEG XL и ускорил конвертацию

В Calibre 9.17 добавлена поддержка JPEG XL, ускорена конвертация в MOBI и AZW3, а также исправлены проблемы с PDF и EPUB, появившиеся в предыдущей версии.

Читать полностью

#Linuxiac
@linux_potok

В наборе Fanatical «Собери свой легендарный набор» (осень 2026) есть отличные хиты по дешёвке

Здесь сразу несколько игр, впервые появившихся в наборах, — Fanatical запустил «Собери свой легендарный набор» (осень 2026).

Читать полностью

#GamingOnLinux
@linux_potok

Оцените «Clicky Islands» — уникальное сочетание инкрементальной игры и градостроительного симулятора

Эта игра может незаметно отнять у вас немало часов! «Clicky Islands» от Karrot Games и Pocketpair Publishing предлагает интересное смешение жанров.

Читать полностью

#GamingOnLinux
@linux_potok

GameMaker объявила, что её среда выполнения нового поколения GMRT будет бесплатной для коммерческого использования

GameMaker продолжает развивать свою новую среду выполнения следующего поколения для разработчиков, и сегодня компания сделала приятное объявление, которое позволит разработчикам сэкономить немного денег.

Читать полностью

#GamingOnLinux
@linux_potok

В Bazzite Linux объявили о поддержке ROG XBOX Ally X20 и Acer Predator Atlas — она проходит тестирование

Готовится очередной выпуск популярного дистрибутива Bazzite Linux; в настоящее время тестируется поддержка новых устройств, таких как ROG XBOX Ally X20 и Acer Predator Atlas.

Читать полностью

#GamingOnLinux
@linux_potok

Linux 7.4 исправляет отображение размера TLB процессоров AMD для Zen 5 и новее

В продолжение статьи, опубликованной в сентябре, о патче Linux, исправляющем заниженное отображение размеров TLB AMD Zen 5, сообщаем: теперь эта работа включена в ядро Linux 7.4...

Читать полностью

#Phoronix
@linux_potok

Выпущен LibreSSL 4.4 с более быстрой SHA3 и исправлениями ошибок

В четверг состоялся выпуск LibreSSL 4.4 — новой версии этого форка OpenSSL, которому уже десять лет и который поддерживается разработчиками OpenBSD...

Читать полностью

#Phoronix
@linux_potok

Epic Games окончательно слетела с катушек из-за ИИ

О, Epic Games, во что же ты превратилась? Лишь ИИ-оболочка того, чем ты была раньше. Пожалуйста, прекратите это всё.

Читать полностью

#GamingOnLinux
@linux_potok

В Linux 7.4 появился новый драйвер для Nintendo Switch 2 — благодаря Valve

В ядро Linux 7.4 были включены обновления подсистемы HID, в состав которых вошло несколько новых драйверов...

Читать полностью

#Phoronix
@linux_potok

FFmpeg 9.1 готовится к выпуску с энкодером APV для Vulkan и FRUC на основе NVIDIA Optical Flow

Подготовка к выпуску FFmpeg 9.1 уже началась: это новый функциональный релиз широко используемой мультимедийной библиотеки с открытым исходным кодом...

Читать полностью

#Phoronix
@linux_potok

Total War: SHOGUN 2 — Complete Edition снята с продажи из-за массовых жалоб

О боже, о боже. Генеративный ИИ снова наносит удар? Недавно выпущенную Total War: SHOGUN 2 — Complete Edition сняли с продажи после массовых жалоб.

Читать полностью

#GamingOnLinux
@linux_potok

Выпущен LibreSSL 4.4: улучшения постквантового TLS и исправления безопасности

LibreSSL 4.4 повышает безопасность TLS 1.3 благодаря гибридному обмену ключами, устраняет уязвимости OCSP и исправляет проблемы, возникавшие при рукопожатии.

Читать полностью

#Linuxiac
@linux_potok

Factorio 2.1 уже вышла с нативной ARM64-версией для Linux, которая будет работать на Steam Frame, Raspberry Pi и других устройствах

Этот день настал! Стабильная версия Factorio 2.1 вышла в виде масштабного релиза по наведению порядка, а также добавила поддержку новых платформ благодаря нативной версии для Linux.

Читать полностью

#GamingOnLinux
@linux_potok

Около 10% выходных узлов Tor были вовлечены в атаку по перехвату SSH-подключений

Опубликованы детали инцидента, в ходе которого злоумышленникам удалось получить контроль над 333 выходными узлами сети Tor (всего в Tor около 3000 выходных узлов) и организовать на них перехват нешифрованного трафика и перенаправление SSH-соединений. Атака началась 2 октября (в пятницу вечером), но была выявлена и начала блокироваться 4 октября. 5 октября все скомпрометированные серверы были отключены операторами или самими атакующими. Разбирательство показало, что атакующие получили доступ к серверам за два месяца до начала атаки на пользователей Tor и установили в скомпрометированных системах вредоносное ПО Ebury 1.8.3.

Читать полностью

#OpenNet
@linux_potok

Выпущен Tails 7.15.1 — экстренное обновление безопасности Linux-дистрибутива для защиты приватности

Tails 7.15.1 устраняет проблему с скомпрометированными сертификатами центров сертификации, которые позволяли злоумышленникам выдавать себя за HTTPS-сайты через вредоносные выходные узлы Tor.

Читать полностью

#Linuxiac
@linux_potok