Отложил пока в сторону свой проект <...>, поскольку исчерпал все токены на своём тарифе в «Курсоре».

Нет токенов - нет программирования.

Lua 5.5.0 now available
https://groups.google.com/g/lua-l/c/jW6vCnhVy_s

Changes since Lua 5.4
https://www.lua.org/manual/5.5/readme.html#changes

@lualang

#lualang

Теперь, после перевода Fuzzing Book, обращаю внимание на перевод англоязычных терминов. В одной из книжек нашел такой перевод "monkey patching":

Партизанское латание

В любой момент в существующий класс или модуль можно добавить новые методы. Эта весьма мощная техника, которую обычно называют партизанским латанием (monkey patching¹), позволяет расширять поведение существующих классов.

1 Первоначально эта техника называлась guerilla patch, но затем guerilla по созвучию трансформировалось в gorilla, а оттуда уже недалеко до monkey (обезьяна). Но поскольку слово «партизанский» лучше отражает смысл техники, мы будем использовать его. Прим. перев.

I can confirm that I have rarely felt as stupid and frustrated as I did during my first few weeks using Coq.

https://nickbenton.name/mop.pdf

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

Интересный проект для автоматического разрешения конфликтов при слиянии патчей

https://mergiraf.org/

поддерживает множество ЯП (даже Lua)