Microsoft представила на GitHub язык программирования Project Verona

Microsoft представила на GitHub язык программирования Project Verona

Microsoft представила на GitHub язык программирования Project Verona

Специалисты Microsoft работают над новым языком программирования, позаимствовав отдельные идеи у популярного Rust. Новый проект, предназначенный для безопасного кодинга, получил название Project Verona.

Исследователь из Microsoft Мэттью Паркинсон впервые познакомил общественность с Project Verona в прошлом году, пообещав, что корпорация вскоре сделает проект общедоступным.

Теперь Project Verona доступен на GitHub, там же есть дополнительная информация о проекте и его задаче — создать более безопасные системы за счёт лучшего управления памятью и работы песочниц.

По словам Паркинсона, Project Verona поможет защитить код, написанный на языках C, C# и присутствующий в отдельных устаревших разработках Microsoft. Речь идёт о таких местах кода, от которых техногигант не хочет избавляться, но желает их лучше защитить.

Помимо Rust, на создание Project Verona Microsoft вдохновили концепты Cyclone и Pony. Корпорация надеется, что общедоступность проекта привлечёт специалистов, которые захотят изучить задумку Project Verona и внести свой вклад.

Microsoft исправила баг, блокировавший Chrome в Windows

Microsoft закрыла проблему, из-за которой служба родительского контроля Family Safety блокировал запуск Google Chrome и некоторых других браузеров в Windows. Сбой впервые признали ещё в конце июня 2025 года, когда пользователи начали массово жаловаться, что Chrome либо не запускается вовсе, либо внезапно закрывается на устройствах с Windows 10 22H2 и Windows 11 22H2 и новее.

Как выяснилось, корень проблемы находился в механизме веб-фильтрации Family Safety. По задумке он должен запрашивать у родителей разрешение, если ребёнок пытается использовать альтернативный браузер.

Но из-за ошибки система начинала блокировать даже уже одобренные браузеры после их обновления. Новая версия приложения просто не запускалась или аварийно завершалась.

Microsoft объясняла это тем, что обновлённые версии браузеров нужно отдельно добавлять в список блокировки. Пока они туда не попадали, возникал конфликт, который приводил к сбоям.

На этой неделе корпорация подтвердила, что проблему устранили с помощью серверного исправления. Распространение фикса началось в начале февраля 2026 года, практически через восемь месяцев после первых сообщений о сбое. Обновление доставляется автоматически.

Пользователям, столкнувшимся с проблемой, достаточно подключить устройство к интернету, никаких дополнительных действий не требуется. В Microsoft уточняют, что исправление постепенно дойдёт до всех затронутых устройств в течение ближайших недель.

Тем, кто по каким-то причинам не может подключиться к сети, Советуют включить функцию «Отчёты об активности» в настройках Microsoft Family Safety. Это позволит родителям получать запросы на одобрение и вручную добавлять новые версии браузеров в список разрешённых.

RSS: Новости на портале Anti-Malware.ru