ну да

тян попросила переустановить винду
а
поставил генту #антибугурт

Кроме шуток, мне последнее время понравилась винда. На линуксе постоянные проблемы с дровами (например на последние видеокарты серии 30x0)

Добрый день.
Поспорил с одним человеком по поводу багов.
Мои утверждения:
Нельзя утверждать, что в непустой программе нет багов: можно уменьшить вероятность встречи этих багов до какого-то числа, но нельзя свести её к нулю.
Нет способа выполнить программу "абсолютно точно", всегда есть воздействие среды выполнения.
Системы верификации не дают единичную вероятность успеха, т.к. в них тоже могут быть баги.
Баг — ошибка в поведении программы (не важно, чем она была вызвана: библиотекой, интерпретатором, космическими лучами).
Утверждения оппонента (тут я могу неточно передать смысл, извиняюсь за это):
Существуют верифицируемые программы: например, print(a + b). Где в этой программе ошибка?
Баг зависит от локальности выполнения (т.е. баг в интерпретаторе не является багом программы, которая запускается этим интерпретатором).
В supapro.cxx меня за такой вопрос забанили, поэтому пишу сюда.
Мне интересно, какое определение бага вы считаете более правильным.

Так это была всё же не реклама? :) Ну, дискуссия уже была, проблема именно в том, что ты её пропустил. Вряд ли её участники станут повторяться здесь, а в супе замьютили скорее из-за этого

Ну мне бы почитать ответы, которые, видимо, были удалены((

Нет, это была не реклама

Ну, можешь попробовать попросить Анатолия, мало ли, удалённые ответы вроде где-то там ещё видны

Кстати, я что-то не понимаю, почему это оффтоп

Нет ничего хуже, чем мрачнное пост-советское пространство

А что в этой теме С++? Вот, собственно, и ответ. Обычно, конечно, ночью за такое не бьют даже, однако, видимо, совпало с тем, что ты тогда ничего не писал и выглядело в некоторой степени рекламой

да тут про С++ не особо и говорят, так то. так что всё ок. но вот рекламу тут не любят

Это в супе-то?

Когда пропозал на квейк енжин в стандарт?

там про суп речь шла

ааааа