Есть такая старая программистская байка, что нельзя платить программистам за строки кода, так как тогда они будут писать длинный бестолковый код и любить метод copy-paste. Будущее наступило. Только теперь этими “программистами” является генеративный ИИ (GenAI), которому как раз…
Программисты должны быть параноиками. «Я дважды проверил код» «Код проходит все тесты» «Ревьюер одобрил мой код» «Так ли корректен мой код?» Писать код корректно трудно, а подтвердить корректность кода невозможно. Вот некоторые из причин этого: Всеобщность: даже если код…
По мотивам статьи: Не пиши простой код и старого манифестаЭта статья о других, о тех кто случайно просто пишет код, или кому случайно пришлось писать код раньше. Или о тех, кто случайно код не пишет, но очень хочет.Просто пиши код, пока остальные на митинге спорят, в какую борду…
В данной публикации будет рассматриваться линейно групповой код, как один из представителей систематических корректирующих кодов и предложена его реализация на C++. Что из себя представляет из себя корректирующий код. Корректирующий код – это код направленный на обнаружение и