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

В Москве робособак научат ловить нарушителей и делать им замечания

В конце августа в московском кластере «Ломоносов» пройдут демонстрационные испытания системы управления робособаками. Четвероногие машины смогут автономно патрулировать инфраструктурные объекты, фиксировать нарушения и общаться с людьми, сообщили в столичном департаменте предпринимательства и инновационного развития.

Ранее систему тестировали в Центре испытаний роботов Московского инновационного кластера в Сколково и пилотировали в РАНХиГС.

Оператор задаёт маршрут и отмечает контрольные точки на цифровой карте, после чего робот отправляется в самостоятельный обход. С помощью искусственного интеллекта и компьютерного зрения он объезжает препятствия, анализирует обстановку и в реальном времени передаёт сведения о происшествиях.

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

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

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

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

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