H
выглядит пиздато же.
Size: a a a
2021 May 29
AN
Для реддита самое то
H
AN
Запостил и все такие. "Ебать он умный"
H
дыаа
AN
Не навижу автокомплит)
AN
Я так и думал, когда на Хабре кто-то такое постил
H
первый вариант тоже был неплох))
AN
:)
D
Ради интереса, а кто из чатика формально верифицировал свои прогаммы, ну либо хоть какой то модель чекинг юзал?
ΑZ
я верифицировал принтф
ΑZ
успешно
ΑZ
а вообще верифицировать не так уж сложно
ΑZ
даже мейнстрим простенькие вещи позвояет
H
тут проблема в том что у программистов мышление операционное, а формальная верификация требует мыслить взаимосвязями, более абстрактно
D
Круто, я пару раз юзал модель чекинг, тоже успешно
D
А что плохого в операционном мышлении, я знаю области где люди "мечтабт" об операционной модели
H
В том что, как я уже отметил, оно плохо ложится на формальную верификацию
D
Я фиг его знает, вот c++ memory model (та часть которая касается многопоточности) допустим не операционная, а вот формально не верифицируется
H
я и не говорил, что любая неоперационная модель исполнения обязана поддаваться формальной верификации