Выполнена формальная верификация безопасности микроядра seL4 для архитектуры AArch64
2026-08-24 22:01
Завершена работа над математической формальной верификацией надёжности и безопасности работы микроядра seL4 на системах с архитектурой набора команд AArch64. Верификация сводится к математическому доказательству корректности работы seL4, которое свидетельствует о полном соответствии заданным на формальном языке спецификациям. Доказательство надёжности позволяет использовать seL4 в критически важных системах на базе процессоров ARM64, требующих повышенного уровня безопасности и гарантирующих...
В CPython реализована официальная поддержка архитектуры RISC-V
2026-08-25 08:01
Разработчики языка программирования Python объявили о реализации официальной поддержки архитектуры RISC-V в кодовой базе CPython, эталонной реализации языка программирования Python. Для архитектуры RISC-V заявлен третий уровень поддержки, подразумевающий рабочую сборку и сопровождение как минимум одним участником из Core Team, но без гарантированного времени рассмотрения сбоев и без блокирования публикации релиза в случае наличия серьёзных проблем. Для тестирования сборок и отладки специфичных...
Представлен ультрабук Acer Go Air с Core 5 320 и экраном 120 Гц
2026-08-25 08:37
Acer представила ультрабук Go Air на базе процессора Intel Core 5 320. Ноутбук получил 12 ГБ оперативной памяти LPDDR5 и SSD на 512 ГБ. Обычная цена составляет 4999 юаней, однако с учетом государственной субсидии в Китае она снижается до 4249,15 юаня. Модель представляет собой китайскую версию Swift Air 14 (SFA14-I31), которая на международном рынке выпускается в четырех цветах: зеленом, синем, розовом и фиолетовом. Ультрабук оснащен 14-дюймовым дисплеем с разрешением 1920 × 1200 пикселей,...
Представлена новейшая бритва Xiaomi за 15 долларов: 90 минут работы и защита IPX7
2026-08-25 08:37
Xiaomi представила в Китае электробритву Mijia Electric Shaver S100 Cloud Pattern Blade Edition. Новинка уже продается на JD.com по цене около 15 долларов. Модель получила компактный корпус размером 90,8 × 58,5 × 30,3 мм и защищена от воды по стандарту IPX7. Бритвенную головку можно снять одной рукой для очистки, а длительное нажатие кнопки питания активирует блокировку для транспортировки. В основе системы бритья лежит металлическая сетка с двухкольцевым «облачным» рисунком, изготовленная по...
Представлен новый мини-ПК Asus Dawn
2026-08-25 08:37
Asus расширила линейку компактных компьютеров Dawn новой конфигурацией с процессором Intel Core i5-13500H, 16 ГБ оперативной памяти DDR4-3200 и SSD на 512 ГБ. Мини-ПК получил корпус размером 128,4 × 128,4 × 40,5 мм с матовой отделкой. Установленный Core i5-13500H имеет 12 ядер и 16 потоков. Для беспроводной связи предусмотрены Wi-Fi 6 и Bluetooth 5.2. Набор разъемов включает два USB-A 3.2 Gen 2, USB-C 3.2 Gen 1 и 3,5-мм аудиовыход на передней панели. Сзади расположены два USB-A 3.2 Gen 1, два HDMI,...
Intel подтвердила 256-ядерные Xeon Diamond Rapids и представила GPU Crescent Island с поддержкой до 480 ГБ памяти LPDDR5X
2026-08-25 08:37
Intel раскрыла новые подробности серверных процессоров Xeon следующего поколения Diamond Rapids. Компания подтвердила, что флагманские конфигурации будут иметь до 256 ядер. В процессоре Diamond Rapids в полной мере используются запатентованные технологии Intel, сочетающие в себе технологический процесс Intel 18A-P, технологию 3D-упаковки Foveros Direct. Процессор поддерживает расширения APX и AMX; оснащен 28 ГБ кэш-памяти последнего уровня (LCL); поддерживает 16-канальную память со скоростью...
Представлены умные часы Garmin Fenix 9 и Fenix 9 Pro
2026-08-25 08:37
Представлены смарт-часы Garmin Fenix 9/Pro. Некоторые модели Pro будут поддерживать солнечную зарядку. В этой серии часов продолжается классический дизайн семейства Fenix, они получили цельнометаллический корпус из титанового сплава, с выгравированным на правой стороне корпуса логотипом Fenix, при этом сохранены 5 физических кнопок. В версии Pro будут доступны модели с AMOLED-экраном (43 мм и 47 мм), а также полуотражающая, полупрозрачная модель с солнечной зарядкой (47 мм). Стандартная версия...
Необычно широкий экран 16:9,5, рамка 1 мм, аккумулятор 7000 мА•ч и HarmonyOS 7. Huawei Pura X View поступит в продажу 7 сентября
2026-08-25 08:37
Huawei определилась с датой начала продаж нового флагманского смартфона Pura X View. Как сообщил глава потребительского бизнеса компании Хэ Ган, устройство, представленное на прошлой неделе, поступит в продажу 7 сентября. В этот же день Huawei представит складной смартфон Mate XT 2. Pura X View позиционируется как первый смартфон-моноблок с широким экраном. Он получил 6,39-дюймовую панель с соотношением сторон 16:9,5 и рекордной, по заявлению производителя, площадью экрана относительно корпуса — 96,1%....
До презентации первого складного iPhone и iPhone 18 Pro представят Huawei Mate XT 2 с HarmonyOS 7
2026-08-25 08:37
Huawei официально объявила дату презентации нового складного смартфона Mate XT 2 Ultimate Design. Устройство представят 7 сентября в рамках крупного мероприятия компании, посвященного новым продуктам и HarmonyOS 7. Mate XT 2 станет преемником первого смартфона Huawei с тройным складыванием. Компания пока не раскрывает характеристики и дизайн новинки, ограничившись промо-постером с абстрактной графикой в стилистике HarmonyOS 7. Источник изображения: Huawei Ожидается, что презентация окажется...
Представлен умный фонтан-поилка Xiaomi для животных
2026-08-25 08:37
Xiaomi начала продажи Mijia Smart Pet Water Fountain 2 Sterilization Edition — автоматического фонтана-поилка для домашних животных с системой очистки и УФ-стерилизацией. Стоимость устройства в Китае составляет 199 юаней. Устройство получило резервуар объемом 3 л. Производитель утверждает, что встроенная система УФ-С обеспечивает 99% стерилизации воды. Дополнительно используется четырехступенчатая фильтрация с микропористым полипропиленом, активированным углем, ионообменной смолой и антибактериальным...
Мини-ПК на Intel Panther Lake с 32 ГБ ОЗУ и тремя M.2. Представлен Minisforum M2 Pro
2026-08-25 08:37
Minisforum начала международные продажи мини-ПК M2 Pro на базе процессора Intel Core Ultra третьего поколения. Пока доступна только одна конфигурация с чипом Core Ultra X7 358H, 32 ГБ оперативной памяти LPDDR5X и SSD на 1 ТБ. В США стоимость компьютера начинается от 1439 долларов, а в Европе — от 1519 евро. M2 Pro получил корпус размером 195 × 195 × 47,5 мм и весит 1,39 кг. Встроенная память работает со скоростью 7467 МТ/с. Для накопителей предусмотрены три слота M.2 2280 емкостью до 8 ТБ каждый:...
7 лет обновлений: GrapheneOS появится на смартфонах Lenovo Motorola
2026-08-25 08:37
GrapheneOS Foundation объявила, что «ориентированная на конфиденциальность мобильная операционная система с открытым исходным кодом» GrapheneOS будет поддерживать смартфоны Lenovo Motorola в следующем году. Команда разработчиков первоначально будет отдавать приоритет поддержке традиционных флагманских моделей Motorola в форм-факторе моноблока, а затем расширит поддержку на устройства со складными экранами. По сравнению с обычными системами на базе Android, GrapheneOS уделяет больше внимания...
|
Комментариев нет:
Отправить комментарий