Исходное сообщение
"Открытие кода Rust-компилятора Ferrocene" Отправлено Аноним, 07-Окт-23 20:49
>> По традиции, доброе опеннет-коммюнити должно проехаться по всему коду, и цокая языками, >> выставлять оценки умственным способностям авторов > это ты автор чтоли ? найди у настоящих авторов хоть слово про верификацию Вообще-то, это был ответ на (уже) удаленное сообщение, на что как бы намекает цитата. Иронично, что (не очень) умные свидетели формальной верификации все равно возбудились и с пеной у рта ринулись на защиту чего-то там. А, ну да, с чтением у них не очень - ни разницу между "верификацией" и "формальной верификацией" понять, ни "CompCert C is a subset of C" заметить. Куда уж там смотреть на цитируемое, некогда - тут супротив Раста воевать надо!