Когда речь идёт о технологиях, позволяющих компьютеру написать часть кода за человека, разговор вечно соскальзывает в гадания на кофейной гуще. Уволят через десять лет всех программистов или нет? Но вообще-то тут есть о чём поговорить помимо этих спекуляций, причём разговор…
Программисты должны быть параноиками. «Я дважды проверил код» «Код проходит все тесты» «Ревьюер одобрил мой код» «Так ли корректен мой код?» Писать код корректно трудно, а подтвердить корректность кода невозможно. Вот некоторые из причин этого: Всеобщность: даже если код…
В данной публикации будет рассматриваться линейно групповой код, как один из представителей систематических корректирующих кодов и предложена его реализация на C++. Что из себя представляет из себя корректирующий код. Корректирующий код – это код направленный на обнаружение и
Возрадуйтесь все, кому хоть раз в силу жизненной необходимости приходилось декомпилировать .NET-код Unity! Теперь код C#-части движка и редактора Unity доступен для изучения на Github. Доступны все основные ветки, начиная с версии 2017.1 и заканчивая свежей 2018.1.0b12. Код был выложен вчера,…