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

AM LiveПодписывайтесь на канал "AM Live" в Telegram, чтобы первыми узнавать о главных событиях и предстоящих мероприятиях по информационной безопасности.

Росстат не использует 80% закупленных планшетов

Счетная палата обнаружила, что более 80% планшетов, закупленных Росстатом для Всероссийской переписи населения 2021 года, до сих пор остаются нераспакованными. Речь идет о 318 тыс. устройств.

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

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

Согласно результатам аудита, в 2011–2020 годах Росстат закупил около 392 тыс. планшетов общей стоимостью более 9 млрд рублей. По состоянию на 1 сентября 2024 года в работу было введено 17,7 тыс. устройств (4,5% от общего объема), 42,7 тыс. (10,9%) переданы другим организациям, а 318,5 тыс. все еще находятся на складах в запечатанном виде. Данных о 3,3 тыс. планшетов в отчетах не обнаружено. Также отсутствует информация о количестве устройств, пришедших в негодность и списанных.

Особое внимание в Счетной палате обратили на то, что основная часть закупленных планшетов (360 тыс. устройств на сумму 8,4 млрд рублей) была приобретена у «Ростелекома» в 2020 году. Производителями выступили компании «Аквариус» и «БайтЭрг». Эти планшеты предназначались исключительно для проведения переписи, а их передача другим организациям требует переустановки программного обеспечения, что повлечет дополнительные расходы.

«Росстат закупил количество планшетов, необходимое для проведения переписи. Часть устройств оставили для текущих задач ведомства, а оставшиеся отправили на хранение до передачи в другие учреждения», — пояснил источник РБК.

Однако, по его словам, передача осложняется тем, что операционная система «Аврора» не подходит большинству организаций. Кроме того, Росстату хранение столь большого количества техники невыгодно: «Это не два ящика черешни».

В ведомстве сообщили РБК, что уже передали или находятся в процессе передачи 60 тыс. планшетов. Они планируются к использованию для проверки электронных охотничьих билетов, а также в государственных, образовательных и благотворительных учреждениях новых регионов, Белгородской и Курской областей. При этом в Росстате заявили, что новых закупок планшетов не планируют.

AM LiveПодписывайтесь на канал "AM Live" в Telegram, чтобы первыми узнавать о главных событиях и предстоящих мероприятиях по информационной безопасности.

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