CD
че тебе Rust гарантий не дал?
Size: a a a
2020 August 10
Ct
ну скомпилируй только safe программу на Rust, запусти на домашнем компе и отправь в космос
Ну, т.е. гарантий у нас нигде никогда нет, получается?
CD
Ну, т.е. гарантий у нас нигде никогда нет, получается?
гарантии есть
Ct
В чем полезность таких определений?
M
Иди таненбаума прочитай
К
Бля, вы слишком глобально всё берёте, будто бы сами 10 тысяч триллионов лет программировали чёрт знает что
CD
но в аксиоматике результата компиляции добавлено "оборудование не отказывает вот так"
M
А то у тебя и люди скоро объектами станут
M
И замыкания из стен потекут
Ct
Бля, вы слишком глобально всё берёте, будто бы сами 10 тысяч триллионов лет программировали чёрт знает что
Это называется срачи за терминологию, привыкай. Это прям классика, больше половины споров тут такие, как мне кажется.
CD
но в аксиоматике результата компиляции добавлено "оборудование не отказывает вот так"
если поменять множество допустимых отказов - будет другой результат компиляции, Рида-Соломона будем вытаскивать
AR
Это называется срачи за терминологию, привыкай. Это прям классика, больше половины споров тут такие, как мне кажется.
+
К
Это называется срачи за терминологию, привыкай. Это прям классика, больше половины споров тут такие, как мне кажется.
M
Да всем пофиг на твои уб
M
Ты понимаешь?
CD
Бля, вы слишком глобально всё берёте, будто бы сами 10 тысяч триллионов лет программировали чёрт знает что
Если твоя программа никогда не работала на сбойном оборудовании, ты вообще программировал что-нибудь?
К
ЭтА лучшИ, нет этА лучшИ. Какая разница, на чём писать, если язык это позволяет, и если это удобно тебе/другим?
NL
Ахахаха, разве что UB времени жизни существа
Ну имееются ввиду космические лучи, которые могут биты сбрасывать или устанавливать прямо в ОЗУ. Такие ошибки случаются на Земле редко, но бывают. На спутниках много чаще, и там нужны навёрнутые алгоритмы или дублирование памяти для того, чтобы хэндлить такие ошибки.
CD
ЭтА лучшИ, нет этА лучшИ. Какая разница, на чём писать, если язык это позволяет, и если это удобно тебе/другим?
Так ты развязываешь срач, что С++ слишком много тебе позволяет
M
Это раст на нем пишут что бы не думать о том что ты задвигает и в последствии не поехать головой видя везде врагов народа и уб