Size: a a a

2021 June 12

EL

Emerald L. Greene in OpenBSD
Да, хоббисты делают.
источник

AP

Alexander Prokopyev in OpenBSD
Я скорее всего никак, только по общим признакам типа наличия бутстрапа в GUIX.
источник

EL

Emerald L. Greene in OpenBSD
Но люди не пользуются таким потому что это медленные CPU, мало памяти и т.д.
источник

N

Noiseless in OpenBSD
Публикаций никаких не было на этот счёт. Без понятия, сам не исследовал и не имею для этого достаточного количества знаний и терпения.
Про GUIX прям совсем ничего не знаю, кроме того, что он есть и что примерно из себя представляет, про их (возможные) проблемы с rust не в курсе
источник

kl

kot linuxovich in OpenBSD
батенька, столько времени вгрохать - а зачем......
Не, я уважаю упорантство - сам такой, но секурность особо не нужна если можно просто отрубнуть железо от инета и людей)))
Ну, т.е. очевидное простое решение проще тяжёлого для конкретного человека в простой ситуации %%sebear-city%name%%
источник

EL

Emerald L. Greene in OpenBSD
Есть впечатляющие формально верифицированные компиляторы, а именно CompCERT. В ЕС заставляют ПО самолётом собираться ими. Они даже оптимизирующие.
источник

B

Burnstein in OpenBSD
Ну так компилятор же тоже программа с открытым исходным кодом, в теории. Другое дело, что чтобы собрать компилятор, нужен компилятор...
источник

AK

Artsiom Karakin in OpenBSD
Создатели guix — строители дистрибутива насколько мне известно, а не эксперты в компиляторах
источник

EL

Emerald L. Greene in OpenBSD
https://en.wikipedia.org/wiki/CompCert но опять же мало кто этим пользуется, люди скучные
источник

AP

Alexander Prokopyev in OpenBSD
У них проблемы только с нефришным софтом, и который они не могут воспроизвести из сорцов, собственно с новыми версиями RUST как раз получается невоспроизводимость, если я не ошибаюсь.
источник

EL

Emerald L. Greene in OpenBSD
Прост
источник

EL

Emerald L. Greene in OpenBSD
Обычная работа скучная
источник

AK

Artsiom Karakin in OpenBSD
Нет, я про то что в самом компиляторе уязвимости и нет, а в коде которым он генерируется, может быть. Как понимаете весьма сложно создать такой бэкдор
источник

AP

Alexander Prokopyev in OpenBSD
Однако они первопроходцы с честным бутстрапом компиляторов, за это даже за упоминания GUIX еще пару лет назад сразу же банили на ЛОРе.
источник

kl

kot linuxovich in OpenBSD
Скорее проблема в том что
А - не все сидят в it/компах
Б - в ИБ людей мало
В - в хардвар ИБ людей ещё меньше
Г - защита на уровне хардвар совсем бобо
Д - всё это + ФПГА....

Ну, я сказал сколько людей было на всеросс-конфе в россии. 50 человек.... И это просто фпга, не иб. Делай выводы, опять же
источник

AK

Artsiom Karakin in OpenBSD
А, лол. У rust название и логотип зарегистрированы
источник

EL

Emerald L. Greene in OpenBSD
Ну, мне не нравится что хэккер может в телеграме отправить мне utf-8 строчку которая меня взломает например
источник

@

@user_2022 in OpenBSD
Понимание планковского времени как минимального шага неверно. Разумеется, на текущем уровне нашего понимания физики. Фраза из профиля пользователя обнаруживает, что он не знаком с физикой по-настоящему.
источник

AK

Artsiom Karakin in OpenBSD
Имеджин
источник

EL

Emerald L. Greene in OpenBSD
Люди скучные 🤷‍♀️ Затраханные жизнью
источник