Исходное сообщение
"Ядро Linux 5.8 станет самым крупным по числу изменений" Отправлено Sw00p aka Jerom, 16-Июн-20 00:36
> Детский сад.  Поинтересуйтесь, для каких применений и объёмов кода <=> задачи > сейчас в принципе применяется доказательство корректности. так детский сад в том и заключается, что вы забыли применять доказательство (не только корректности) во всем. > В случае работы программиста -- что конкретно эта строка была/стала лишней. Хорошие термины вы используете, была, стала лишней, угодной не угодной, черной - белой. О чем говорит удаление шага из алгоритма? - об избытке, о чем говорит добавление ? - о необходимости. Так и что же это необходимость и достаточность? > Бывает и так.  А бывает так, что куча строчек в +/- > является всего лишь другой реализацией ровно того же алгоритма (да хоть > рекурсию в итерацию раскатали или же наоборот).  Или сменой табов > на пробелы либо назад в отступах, что для приличных языков на > аэродинамику не влияет. Замена рекурсивного алгоритма на итеративный повлияет на количество строк. > Пожалуйста, не пишите здесь на связанные с программированием темы, пока самостоятельно > не ответите на этот вопрос.  Спрашивать и выслушивать -- можно > и полезно.  Утверждать -- скорее всего, будет только вредно. Ответили бы вы, на этот вопрос - зачем вообще нужна "системой контроля версий". Может стоит сначала задать вам вопрос, что есть понятие "программирование"? -вот и спросил, жду ответа. > ...это песчинка на побережье. Хорошо хоть не бревно от потерпевшего крушения судна...