std.hugeping: Блог Петра Косых

Ответ на: BxZjdfxMviiZNeSmyX7z
От: vvs (ping,12) 18.10.21 16:29 UTC
Кому: hugeping
Тема: Re: Аскетика в отладке
Ну надо же, как тесен мир. Я тоже пользовался SoftIce, а до него Periscope, ещё когда использовал DOS. И тоже был обескуражен, что в Линуксе нет ничего похожего. Правда сейчас и софтайса давно уже нет.

То, о чём здесь идёт речь и есть экспериментальная наука. Если свойства программы не доказываются формально, то кроме эксперимента и теоретизирования ничего другого и не остаётся. Я раньше упоминал о языках с зависимыми типами, так они, в том числе, и для верификации программ используются, в том числе компиляторов. Это отдельная область исследований в информатике.

А вообще интересный вопрос: существует ли экспериментальная математика? Да, существует. И здесь находится что-то общее с физикой. Этим и Стивен Вольфрам увлёкся. Думает, что так откроет законы, управляющие вселенной. Занимается ли он отладкой вселенского компьютера, находясь внутри него? Интересная аналогия, да?
[409 / 443]