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 и внести свой вклад.

В магазины и кафе по QR-коду: в Питере готовят цифровую проверку возраста

В Петербурге придумали, как избавить продавцов от вечного вопроса «А вам точно есть 18?». В Смольном подготовили законопроект, который позволит подтверждать возраст покупателей и посетителей заведений с помощью QR-кода из «Госуслуг» или мессенджера МАКС.

Документ представила на заседании комиссии по законности Заксобрания заместитель председателя комитета по образованию Елена Замышляева.

По задумке авторов, новый механизм поможет предпринимателям быстрее проверять возраст посетителей в ситуациях, когда это требуется по закону.

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

По словам Замышляевой, только за прошлый год в Петербурге составили протоколы в отношении 194 школьников и 293 родителей за нарушение действующих ограничений.

Новая схема выглядит просто: пользователь сможет сформировать специальный QR-код через «Госуслуги» или платформу МАКС. При сканировании проверяющий увидит только информацию о возрасте, без раскрытия других персональных данных.

Таким образом, вместо демонстрации паспорта достаточно будет показать смартфон.

Как отмечают в Смольном, соответствующие механизмы уже предусмотрены на федеральном уровне, поэтому региональный законопроект лишь адаптирует их применение в Петербурге.

Ожидается, что документ будет рассмотрен и принят Законодательным собранием в ближайшее время.

Если инициатива заработает на практике, смартфон окончательно закрепит за собой статус главного документа на все случаи жизни.

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