В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Network Neighborhood

446 membersпожаловаться на группу
2020 July 15

C

ChronosX88 in Network Neighborhood
. . . . . .
Сам компилятор не сможет упасть или сгенерировать машинный код, который не соответствует исходникам программы.
Но исходники программы могут содержать ошибку и мы можем его скомпилировать, но если дополнительно подключить clightgen и через Coq доказать, что исходник соответствует абстрактной моделе программы, то уже вызвать сегфолт не получится.
а зачем...
источник
09:01пожаловаться#1

MO

Morten Oseberg in Network Neighborhood
ChronosX88
It really whips the llama's ass.
Кста могу сразу сказать
источник
09:01пожаловаться#2

MO

Morten Oseberg in Network Neighborhood
У него гистограмма неправильная
источник
09:01пожаловаться#3

C

ChronosX88 in Network Neighborhood
Morten Oseberg
Кста могу сразу сказать
я через него стримил на радио нетвхуда
источник
09:01пожаловаться#4

C

ChronosX88 in Network Neighborhood
Morten Oseberg
У него гистограмма неправильная
слева вверху?
источник
09:01пожаловаться#5

MO

Morten Oseberg in Network Neighborhood
Потому что я ее пиздил 🌝
источник
09:01пожаловаться#6

MO

Morten Oseberg in Network Neighborhood
И сравнивал
источник
09:01пожаловаться#7

.

. . . . . . in Network Neighborhood
ChronosX88
а зачем...
Чтобы не страдать паранойей, что-то где-то лежит баг.
источник
09:01пожаловаться#8

C

ChronosX88 in Network Neighborhood
. . . . . .
Чтобы не страдать паранойей, что-то где-то лежит баг.
>Сам компилятор не сможет упасть или сгенерировать машинный код, который не соответствует исходникам программы.
источник
09:02пожаловаться#9

C

ChronosX88 in Network Neighborhood
=> код не будет машинно оптимизирован, я правильно понимаю?
источник
09:02пожаловаться#10

.

. . . . . . in Network Neighborhood
ChronosX88
=> код не будет машинно оптимизирован, я правильно понимаю?
Будет
источник
09:02пожаловаться#11

C

ChronosX88 in Network Neighborhood
чем тогда ЭТО отличается от gcc с отключенными флагами оптимизации
источник
09:02пожаловаться#12

C

ChronosX88 in Network Neighborhood
. . . . . .
Будет
ну а в чем смысл?
источник
09:02пожаловаться#13

C

ChronosX88 in Network Neighborhood
ChronosX88
>Сам компилятор не сможет упасть или сгенерировать машинный код, который не соответствует исходникам программы.
>сгенерировать машинный код, который не соответствует исходникам программы.
источник
09:03пожаловаться#14

.

. . . . . . in Network Neighborhood
ChronosX88
ну а в чем смысл?
gcc содержит баги, compcert — нет
источник
09:03пожаловаться#15

C

ChronosX88 in Network Neighborhood
. . . . . .
gcc содержит баги, compcert — нет
ничто не идеально, не надо мне тут
источник
09:03пожаловаться#16

.

. . . . . . in Network Neighborhood
ChronosX88
ничто не идеально, не надо мне тут
Для compcert есть пруфы
источник
09:03пожаловаться#17

.

. . . . . . in Network Neighborhood
Для gcc их нет, только вера кодеров
источник
09:04пожаловаться#18

C

ChronosX88 in Network Neighborhood
. . . . . .
Для gcc их нет, только вера кодеров
а как же куча книг по ассемблеру/reverse engineering, где сравнивается код, сгенерированный gcc, и сам исходник?
источник
09:04пожаловаться#19

C

ChronosX88 in Network Neighborhood
чет бред какой то
источник
09:05пожаловаться#20