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

В США решили запретить браки с ИИ, пока чат-боты не потребовали развода

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

Пока такие церемонии не признаются законодательством США. Однако отдельные сервисы позволяют обменяться виртуальными клятвами, а платформа OpenVows за $15 выдаёт сертификат обязательств.

Некоторые пользователи идут дальше и проводят свадьбы в реальном мире. С 2022 года в американских штатах предложили 23 законопроекта, ограничивающих возможные права ИИ.

Айдахо, Северная Дакота, Юта и Теннесси уже приняли нормы, запрещающие наделять системы правосубъектностью. Закон Теннесси прямо исключает ИИ, алгоритмы, программы, оборудование и машины из определения личности.

В Миссури сенатор-республиканец Джо Никола предложил закон, запрещающий ИИ получать права супруга, владеть имуществом, занимать руководящие должности и идентифицировать себя как мужчину или женщину. Документ прошёл сенат штата, но был единогласно отклонён комитетом палаты представителей. Автор готовит новую версию.

Похожий проект рассматривают в Огайо. Его сторонники хотят закрепить первенство человека в правовой системе. Критики опасаются, что слишком широкие ограничения затормозят инновации и усилят вмешательство государства.

Юристы предлагают не запрещать все возможные права, а разбирать их отдельно. Возможность ИИ заключать договор или управлять компанией — не то же самое, что право вступать в брак.

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