LINUX.ORG.RU

История изменений

Исправление shkolnick-kun, (текущая версия) :

Неа!

Все эти CVE показывают, что как только рустеры начинают писать что-то реальное, а не очередую вычислялку факториалов, - сразу же начинают совершать все те ошибки, от которых руст якобы защищает.

А опыт вот этого чувака:

https://zackoverflow.dev/writing/unsafe-rust-vs-zig/

(спасибо @Siborgium за историю успеха) говорит нам о том, что:

Unsafe Rust is hard. A lot harder than C, this is because unsafe Rust has a lot of nuanced rules about undefined behaviour (UB) — thanks to the borrow checker — that make it easy to perniciously break things and introduce bugs.

т.е. за пределами мира розовых поней unsafe не просто нужен, чтобы огородить участки с возможным UB;

unsafe это и есть концентрированное UB!

Исправление shkolnick-kun, :

Неа!

Все эти CVE показывают, что как только рустеры начинают писать что-то реальное, а не очередую вычислялку факториалов, - сразу же начинают совершать все те ошибки, от которых руст якобы защищает.

А опыт вот этого чувака:

https://zackoverflow.dev/writing/unsafe-rust-vs-zig/

(спасибо @Siborgium за историю успеха) говорит на о том, что:

Unsafe Rust is hard. A lot harder than C, this is because unsafe Rust has a lot of nuanced rules about undefined behaviour (UB) — thanks to the borrow checker — that make it easy to perniciously break things and introduce bugs.

т.е. за пределами мира розовых поней unsafe не просто нужен, чтобы огородить участки с возможным UB;

unsafe это и есть концентрированное UB!

Исправление shkolnick-kun, :

Неа!

Все эти CVE показывают, что как только рустеры начинают писать что-то реальное, а не очередую вычислялку факториалов, - сразу же начинают совершать все те ошибки, от которых руст якобы защищает.

А опыт вот этого чувака:

https://zackoverflow.dev/writing/unsafe-rust-vs-zig/

(спасибо @Siborgium за историю успеха) говорит на о том, что:

Unsafe Rust is hard. A lot harder than C, this is because unsafe Rust has a lot of nuanced rules about undefined behaviour (UB) — thanks to the borrow checker — that make it easy to perniciously break things and introduce bugs.

т.е. за пределами мира розовых поней unsafe не просто нужен, чтобы огородить участки с возможным UB; unsafe это и есть концентрированное UB!

Исправление shkolnick-kun, :

Неа!

Все эти CVE показывают, что как только рустеры начинают писать что-то реальное, а не очередую вычислялку факториалов, - сразу же начинают совершать все те ошибки, от которых руст якобы защищает.

А опыт вот этого чувака:

https://zackoverflow.dev/writing/unsafe-rust-vs-zig/

(спасибо @Siborgium за историю успеха) говорит на о том, что:

Unsafe Rust is hard. A lot harder than C, this is because unsafe Rust has a lot of nuanced rules about undefined behaviour (UB) — thanks to the borrow checker — that make it easy to perniciously break things and introduce bugs.

т.е. за пределами мира розовых поней unsafe не просто нужен, чтобы огородить участки с dозможным UB; unsafe это и есть концентрированное UB!

Исходная версия shkolnick-kun, :

Неа!

Все эти CVE показывают, что как только рустеры начинают писать что-то реальное, а не очередую вычислялку факториалов, - сразу же начинают совершать все те ошибки, от которых руст якобы защищает.

А опыт вот этого чувака:

https://zackoverflow.dev/writing/unsafe-rust-vs-zig/

(спасибо @Siborgium за историю успеха) говорит на о том, что:

Unsafe Rust is hard. A lot harder than C, this is because unsafe Rust has a lot of nuanced rules about undefined behaviour (UB) — thanks to the borrow checker — that make it easy to perniciously break things and introduce bugs.

т.е. за пределами мира розовых поней unsafe не просто нужен, чтобы огородить участки с dозможным UB; unsafe это и есть концентрированное UB!