The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Уязвимости в Please, альтернативе sudo, написанной на языке Rust , opennews (ok), 18-Май-21, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


55. "Уязвимости в Please, альтернативе sudo, написанной на языке ..."  +1 +/
Сообщение от Аноним (55), 18-Май-21, 10:25 
Пора уже выпускать убийцу раста, где нужно математически доказать корректность логики, иначе программа не скомпилится
Ответить | Правка | Наверх | Cообщить модератору

182. "Уязвимости в Please, альтернативе sudo, написанной на языке ..."  +/
Сообщение от Аноним (182), 18-Май-21, 15:23 
а против уязвимостей класса time-of-check-to-time-of-use :-) -- каким образом доказывать собираешься?

"допустим многопоточности не существует" :-D :-D :-D :-D

Ответить | Правка | Наверх | Cообщить модератору

288. "Уязвимости в Please, альтернативе sudo, написанной на языке ..."  +1 +/
Сообщение от red75prim (?), 18-Май-21, 22:59 
Да давно уже есть. Idris, Agda, Coq и другие. Но математиков намного меньше чем программистов.
Ответить | Правка | К родителю #55 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру