AC
Ну да
Size: a a a
2020 December 14
AC
Скорее всего придёт какой-то Сурков
A
я думаю то что будет в Укр можно предсказать на основании модели обученной на РФ
не очень понимаю о чём вы
AG
Я учусь сейчас с человеком, который "работает" в армии.
чему учишься?
A
чему учишься?
не бухать с офицерским составом - это основная опасность была в моё пребывание там
AG
где?
AG
так роман же не в армии
A
предположил, что может присутствовать похожая проблема у всего связанного с армией
AG
а чо кстати с астралинуксом
AG
с одной стороны в ФМ чатике есть чел, который для него доказательства пилит
AG
с другой я смотрю программисты-пролетарии про него пренебрежительно говорят, тип там паразитирует на дебиане, нинужен и тд
с одной стороны в ФМ чатике есть чел, который для него доказательства пилит
пилит доказательство, что астралинукс нинужен
а где почитать, что он умеет?
и что там пруфают?
R
чему учишься?
На прогромиста же, на завод без диплома не берут. Говорят вот диплом принесешь тогда и возьмем тебя штаны протирать с 7.45 до 16.45 с перерывом на обед и отпуском 28 календарных дней и 13 зарплатой. В без хвостика 40 прогромисты не нужны же, дорогу молодым.
AG
а где почитать, что он умеет?
из того что я видел
https://www.ispras.ru/publications/security_policy_modeling_and_verification.pdf Девянин, Ефремов, Кулямин, "Моделирование и верификация политик безопасности управления доступом в операционных системах"
https://arxiv.org/abs/1809.00626 Efremov, Mandrykin, Khoroshilov, "Deductive Verification of Unmodified Linux Kernel Library Functions"
https://www.ispras.ru/publications/security_policy_modeling_and_verification.pdf Девянин, Ефремов, Кулямин, "Моделирование и верификация политик безопасности управления доступом в операционных системах"
https://arxiv.org/abs/1809.00626 Efremov, Mandrykin, Khoroshilov, "Deductive Verification of Unmodified Linux Kernel Library Functions"
AC
я думаю то что будет в Укр можно предсказать на основании модели обученной на РФ
Придёт СБУшник?
AG
наверное еще какие то публикации есть
R
Что с Астра Линуксом кроме того что это "официальная ось" Вооруженных Сил РФ