В ближайшем видео поговорим про верификацию программ и алгоритмов

Тем непростая, вот сижу кое какую литературу перечитываю.

Диалог на собеседовании (из личного):

- Эта структура данных - дерево;

- А какая структура данных у графа?

- У графа нет структуры данных, это прост массив.

- А чем дерево отличается от графа?

- Ну... Это совсем разные вещи...

- А как тогда выглядят двунаправленные и однонаправленные списки?

- ....

Ошибка была в том, что перед соискателем был двунаправленный список, а не дерево. А дальше просто было понятно, что в голове каша.

Продолжаю делать механику для боев. Скоро будет следующее видео "бои с кухни"

Тема следующего видео - безопасное написание кода. Есть платный MISRA C / MISRA C++ на 143/228 правил, но мне кажется, что это совсем для "жестких" условий.

Для более простых случаев вполне подойдет вот это - http://web.eecs.umich.edu/~imarkov/10rules.pdf

Правда, нужно адаптировать под используемый язык, не все применимо, но в целом очень годная инфа.

Программирование сегодня — это гонка, в которой соревнуются разработчики, стремящиеся построить большие и обладающие защитой от дурака программы, и вселенная, порождающая всё больших и качественных дураков. На данный момент вселенная побеждает.
— Рич Кук, писатель-фантаст

Отличный канал "Daria Emacs"