Автор: Erik Peterson

Mistral опубликовал Leanstral, AI-модель для вайб-кодинга с формальной верификацией

Компания Mistral AI представила большую языковую модель Devstral, нацеленную на использование для разработки приложений (вайб-кодинга) и оптимизированную для формальной верификации кода. Предполагается, что Devstral может применяться для создания AI-ассистентов, позволяющих не просто генерировать код, но и гарантировать отсутствие в нём ошибок. Devstral стала первой открытой моделью, поддерживающей язык программирования Lean 4 и связанный с ним […]

Доступен FFmpeg 8.1 с поддержкой JPEG XS, новыми возможностями для 3D-звука и ускорения через Vulkan

После семи месяцев разработки опубликован мультимедиа-пакет FFmpeg 8.1, включающий набор приложений и коллекцию библиотек для операций над различными мультимедиа-форматами (запись, преобразование и декодирование звуковых и видеоформатов). Пакет написан на языке Си и распространяется под лицензиями LGPL и GPL. Среди изменений в FFmpeg 8.1: Добавлены парсер, кодировщик и декодировщик, а также упаковщик и распаковщик мультимедийных контейнеров […]

В Китае появится второй контрактный производитель 7-нм чипов

До сих пор компанию SMIC было принято считать лидером китайской полупроводниковой промышленности, как по объёмам производства чипов, так и по актуальности используемых технологий. Для нужд Huawei именно эта компания пару лет назад наладила выпуск 7-нм чипов, не имея доступа к передовому западному оборудованию. Её путь собирается повторить Hua Hong Group, если верить слухам. По крайней […]

Эксперты считают, что блокировка Telegram уже началась

Как полагает ряд экспертов, опрошенных «Ъ FM», блокировка Telegram, о приближении которой предупреждали СМИ, уже началась. В качестве косвенного подтверждения «Коммерсантъ» привёл данные сервиса «Сбой.РФ», согласно которым, в минувшую субботу насчитывалось 6 тыс. жалоб на некорректную работу мессенджера, а в воскресенье — 12 тыс. В частности, Владислав Войтенко, технический эксперт и автор интернет-издания «Код Дурова», […]

Для PS5 Pro вышел ИИ-апскейлер PSSR 2 — улучшенную графику получат Silent Hill 2, Alan Wake 2 и другие игры

Компания Sony сообщила о подготовке к развёртыванию обновления для игровой приставки PlayStation 5 Pro, которое принесёт поддержку технологии масштабирования PlayStation Spectral Super Resolution (PSSR 2). Выпуск обновления начнётся 16 марта в 10:00 по тихоокеанскому времени (17 марта, 03:00 по московскому времени). На старте поддержку технологии получат следующие игры: Silent Hill 2, Silent Hill f, Dragon […]

Выпуск файловой системы Bcachefs 1.37.0

Кент Оверстрит (Kent Overstreet) опубликовал выпуск файловой системы Bcachefs 1.37.0. Выпуск охватывает два пакета: bcachefs-kernel-dkms с модулем ядра, собираемым при помощи системы DKMS (Dynamic Kernel Module Support), и bcachefs-tools с запускаемой в пространстве пользователя утилитой bcachefs, реализующей команды для создания (mkfs), монтирования, восстановления и проверки ФС. Пакеты собраны для Debian, Ubuntu, Fedora, openSUSE, NixOS и […]

Моддер показал, как Resident Evil Requiem выглядела бы с классической фиксированной камерой

Вышедший недавно экшен-хоррор Resident Evil Requiem от Capcom предлагает режимы от первого и третьего лица. По мнению некоторых, среди опций должна была быть и классическая фиксированная камера — моддер показал, как бы это выглядело. Британский блогер Грифф Гриффин (Griff Griffin) недавно опубликовал на своём YouTube-канале 8-минутный ролик с демонстрацией концепта Resident Evil Requiem с фиксированной […]

«Яндекс» наметил волну увольнений, в том числе по ключевым направлениям

«Яндекс» может провести оптимизацию штата, сократив рабочие места, в том числе по ключевым направлениям, таким как «Поисковые сервисы и ИИ» сообщил «Коммерсантъ» со ссылкой на источники в отрасли. Направление поиска и ИИ в компании заметно снизило темпы роста рекламной выручки в последнее время. Источники «Коммерсанта» утверждают, что в этом году «Яндекс» может приступить к закрытию […]

Cyberpunk 2077 скоро получит продолжение, но это не то, что ждали фанаты — первый трейлер и подробности Cyberpunk 2077: Chrome Rush

Польская студия CD Projekt Red на прошлой неделе огорчила фанатов киберпанкового боевика Cyberpunk 2077 новостью об отсутствии планов на новые DLC, однако, как выяснилось, новая игра по мотивам франшизы совсем не за горами. Как подметили пользователи форума ResetEra, канадский производитель аркадных автоматов Unis Technology в партнёрстве с CD Projekt Red готовит боевую гоночную игру Cyberpunk […]

Выпуск свободной игры SuperTux 0.7.0

После более четырёх лет разработки опубликован выпуск классической игры-платформера SuperTux 0.7.0, напоминающей по стилю Super Mario. Игра распространяется под лицензией GPLv3 и доступна в сборках для Linux (AppImage, Flatpak), Android, Windows и macOS. Среди изменений в новом выпуске: Добавлены новые спрайты и реализованы такие возможности, как скольжение по склонам, ползание, прыжки на попе и катящиеся […]

Нет худа без добра: дефицит памяти из-за ИИ заставил разработчиков оптимизировать игры

По информации ресурса Polygon, разработчики игр на конференции GDC 2026 выражали различные точки зрения на влияние бума ИИ на свою сферу деятельности, но отдельно упоминалась тема дефицита памяти. Он не только откладывает выход новых игровых консолей и делает их более дорогими, но и заставляет разработчиков задумываться об оптимизации игр по аппаратным ресурсам. Прежде всего, источник […]

Мультимодальная ИИ-модель DeepSeek-V4 с контекстным окном в 1 млн токенов выйдет в апреле

С тех пор, как в январе прошлого года DeepSeek выпустила рассуждающую ИИ-модель DeepSeek-R1, которая получила широкую известность, крупных обновлений не выходило. Слухи о появлении новой ИИ-модели от DeepSeek время от времени вызывают волну обсуждений в интернете, но, по всей видимости, в следующем месяце состоится релиз мультимодальной модели DeepSeek-V4, которая получит значительные улучшения по сравнению с […]