My favorite git command is "git effort". It shows statistics, currently just the number of commits per file, showing highlighting where the most activity is. The most frequently changed files may contain a feature that changes frequently (e.g., due to many bugs).

В GitHub есть настройка, которая меняет название ветки по умолчанию. А то я руками каждый раз переименовываю в master.

https://github.com/settings/repositories

#til

Иногда паттерн для grep содержит символы, которые надо экранировать, чтобы grep не принимал их за опции. Так, выполнение grep -v README.md не закончится, потому что grep считает, что паттерн для поиска не был указан.
Чтобы искать -v в файле надо экранировать -:

grep "\-v" README.md 
-v
book -v honk

Так я обычно и делал.
Но есть решение лучше - использовать -- для отделения опций в командной строке:

grep -- -v README.md 
-v
book -v honk

Будет работать со всеми утилитами командной строки, которые соответствуют гайдлайну POSIX.1-2017 [1].

1. https://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap12.html#tag_12_02

I've been using Claude Code with Opus 4.5 to write Lean meta-programs (and small proofs) and am constantly amazed at how good it is.

Leo de Moura recently said that Claude has solved non-trivial bugs in the Lean codebase, but it's still astonishing to see it first-hand.

iRobot apparently just declared bankruptcy, so if you have an internet connected one and want to retain control if the cloud platform vanishes, take a look at https://github.com/koalazak/dorita980#how-to-get-your-usernameblid-and-password and stash that information somewhere safe (and note that it changes if you ever factory reset the device, so try not to do that)

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

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

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