История изменений

Большое спасибо за ответ. Всегда немного восхищался твоим умением быстро замечать опечатки/ошибки/неоднозначности.

Ниже краткий пересказ для интересующихся.
AndreyKl:

Тут есть ещё такой момент… Ты клянешься что код корректен?

monk:

Ага. Я его проверил:...
Запускал. Но результат 0 в коде неоднозначен: он трактуется и как «проверка пройдена» и как «ошибка при запуске с номером 0».
Программа проверки оказалась с ошибкой.

Я думал что плохой пример, но он по стечению обстоятельств оказался просто замечательным!

Очередной гипотетический Фобос направили в грунт, да только не в тот что надо, а на дно Земного океана те самые программисты «я клянусь у меня работает, я запускал и проверил», которые, к слову, сильно сомневались в ценности формальной верификации. А специалисты по формальной верификации на белом коне нашли ошибку даже в таком наидремучейшем лесу как функция Коллатца, который ни с каким проводником вообще не пройдёшь (хотя честно говоря ну вообще не чаяли).

Полный триумф технологии в отдельно взятой ветки дискуссии благодаря удачному примеру от monk! Спасибо большое ещё раз! (Без шуток, удачно вышло. Общая эрудированность оппонента и умение вести дискуссию и ставить острые и верные вопросы сыграли как нельзя лучше. Если б ты меня не допрашивал я б не полез туда, руки не поднимались в такие дебри.. там конечно один чёрт ничего не доказалось (и не докажется), но ошибка то нашлась!)

На этом я думаю данную ветку обсуждения можно завершить. Вернусь к мьютексам.

PS. Про «клянёшься» конечно был шуточный вопрос, как и ответ я думаю. Гипербола.

Большое спасибо за ответ. Всегда немного восхищался твоим умением быстро замечать опечатки/ошибки/неоднозначности.

Ниже краткий пересказ для интересующихся.
AndreyKl:

Тут есть ещё такой момент… Ты клянешься что код корректен?

monk:

Ага. Я его проверил:...
Запускал. Но результат 0 в коде неоднозначен: он трактуется и как «проверка пройдена» и как «ошибка при запуске с номером 0».
Программа проверки оказалась с ошибкой.

Я думал что плохой пример, но он по стечению обстоятельств оказался просто замечательным!

Очередной гипотетический Фобос направили в грунт, да только не в тот что надо, а на дно Земного океана те самые программисты «я клянусь у меня работает, я запускал и проверил», которые, к слову, сильно сомневались в ценности формальной верификации. А специалисты по формальной верификации на белом коне нашли ошибку даже в таком наидремучейшем лесу как функция Коллатца, который ни с каким проводником вообще не пройдёшь (хотя честно говоря ну вообще не чаяли).

Полный триумф технологии в отдельно взятой ветки дискуссии благодаря удачному примеру от monk! Спасибо большое ещё раз! (Без шуток, удачно вышло. Общая эрудированность оппонента и умение вести дискуссию и ставить острые и верные вопросы сыграли как нельзя лучше. Если б ты меня не допрашивал я б не полез туда, руки не поднимались в такие дебри.. там конечно один чёрт ничего не доказалось (и не докажется), но ошибка то нашлась!)

На этом я думаю данную ветку обсуждения можно завершить. Вернусь к мьютексам.

Большое спасибо за ответ. Всегда немного восхищался твоим умением быстро замечать опечатки/ошибки/неоднозначности.

Ниже краткий пересказ для интересующихся.
AndreyKl:

Тут есть ещё такой момент… Ты клянешься что код корректен?

monk:

Ага. Я его проверил:...
Запускал. Но результат 0 в коде неоднозначен: он трактуется и как «проверка пройдена» и как «ошибка при запуске с номером 0».
Программа проверки оказалась с ошибкой.

Я думал что плохой пример, но он по стечению обстоятельств оказался просто замечательным!

Очередной гипотетический Фобос направили в грунт, да только не в тот что надо, а на дно Земного океана те самые программисты «я клянусь у меня работает, я запускал и проверил», которые, к слову, сильно сомневались в ценности формальной верификации. А специалисты по формальной верификации на белом коне нашли ошибку даже в таком наидремучейшем лесу как функция Коллатца, который ни с каким проводником вообще не пройдёшь (хотя честно говоря ну вообще не чаяли).

Полный триумф технологии в отдельно взятой ветки дискуссии благодаря удачному примеру от monk! Спасибо большое ещё раз! (без шуток, удачно вышло, если б ты меня не допрашивал я б не полез туда, руки не поднимались в такие дебри.. там конечно один чёрт ничего не доказалось (и не докажется), но ошибка то нашлась!)

На этом я думаю данную ветку обсуждения можно завершить. Вернусь к мьютексам.