Size: a a a

2021 June 12

AK

Artsiom Karakin in OpenBSD
the correctness proof of CompCert C guarantees that all safety properties verified on the source code automatically hold as well for the generated executable.
На сайте компании не только компилятоп есть, но и статический анализатор, который проверяет исходник и safety properties
источник

m

maniac in OpenBSD
вообще как бы идея не самая плохая — вместо того чтобы как в судо или дуэз раздавать права правилами на запуск бинарников, раздавать правила на конкретные системные действия типа "смонтировать флешку" или "отправить компьютер в слип"
источник

m

maniac in OpenBSD
можно было бы даже вместо спайдерманки вкорячить quickjs от фабриса беллара, он гораздо быстрее и неинтерактивный.
но за три года существования обеих проектов эта идея в голову пришла одному мне.
источник

m

maniac in OpenBSD
я уже молчу что есть нормальные встраиваемые языки — луа, мруби, НО НЕТ, ДЖАВАСКРИПТ.
источник

m

maniac in OpenBSD
пойду задницу в море засуну, может остудит.
источник

N

Noiseless in OpenBSD
хз, я для себя не смог придумать, когда мне это в таком виде понадобится. но кому как удобнеее, да
источник

N

Noiseless in OpenBSD
завидую
источник

N

Noiseless in OpenBSD
(не люблю море, но в мск ща душновато, поэтому всё равно да)
источник

m

maniac in OpenBSD
окей, не одному мне, вот чуваки почти отпилили спайдерманки и в комментах вспомнили
https://gitlab.freedesktop.org/polkit/polkit/-/merge_requests/35
источник

m

maniac in OpenBSD
(я сам не люблю лол, особенно когда уже неделю тут, но отпускаться где-то надо, без отпуска башка пухнет)
источник

N

Noiseless in OpenBSD
Всё так, да. Потому и завидую)
источник

N

Noiseless in OpenBSD
(но я по-доброму)
источник

N

Noiseless in OpenBSD
прикольно.
источник

СГ

Сергей Горячев... in OpenBSD
Boris Ivanovitch Grischenko в ролике отдельно доставил 😉
источник

СГ

Сергей Горячев... in OpenBSD
Кстати, да, его имени нет в списке https://www.netbsd.org/people/developers.html
источник

N

Noiseless in OpenBSD
Да там и по архивам рассылок видно - сообщения от него заканчиваются в 2020 году где-то
источник

AK

Artsiom Karakin in OpenBSD
Хм, интересно есть ли какая-то policy на этот счёт, если тот или иной разработчки не хочет чтобы его имя было там показано? 🤔
источник
2021 June 13

АШ

Александр Шурша... in OpenBSD
Помните, неделю назад я спрашивал, как в OpenBSD 6.9 настроить reply-to то pf. Всё поломалась, ничего не работает. Причём в прямом смысле этого слова. Во время грозы сгорели все три сетевушки.
источник

AP

Alexander Prokopyev in OpenBSD
Грозозащиты не было?
источник

m

maniac in OpenBSD
к такому модель безопасности опенбсд была не готова :)
источник