Теперь, после перевода 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, достаточно начать поддерживать код, который написал другой человек.

Долго искал себе приложение для календаря под Linux. remind это был как раз одним из вариантов, некоторое время им пользовался. Идея классная - текстом описываешь событие, если дата не привязана к фиксированному числу (например Пасха), то можно вычислять дату в календаре. Перестал пользоваться потому что календарь был нужен не только на ноутбуке, но и в телефоне (тогда начали появляться смартфоны), надежной синхронизации не было и я перестал использовать.

tavis ormandy писал про то, какими он видит "умные" часы и одним из пожеланий как раз была возможность синхронизации с remind:

The main feature I would like is some sort of sync capability. Ideally, I would like the alarms and reminders from my UNIX ~/.reminders file to appear on my watch, perhaps over RF or BLE. I don’t mind writing code to make this happen, so some customizability, automation or programmability is essential.

https://lock.cmpxchg8b.com/watch.html

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

https://mergiraf.org/

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