Иногда паттерн для Так я обычно и делал. Будет работать со всеми утилитами командной строки, которые соответствуют гайдлайну POSIX.1-2017 [1]. 1. https://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap12.html#tag_12_02
grep содержит символы, которые надо экранировать, чтобы grep не принимал их за опции. Так, выполнение grep -v README.md не закончится, потому что grep считает, что паттерн для поиска не был указан.
Чтобы искать -v в файле надо экранировать -:grep "\-v" README.md
-v
book -v honk
Но есть решение лучше - использовать -- для отделения опций в командной строке:grep -- -v README.md
-v
book -v honk
Things happen.
sergeyb
bonked 23 Dec 2025 22:35 +0300
original: dranov@mastodon.social
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.
sergeyb
bonked 23 Dec 2025 22:30 +0300
original: mjg59@nondeterministic.computer
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 Changes since Lua 5.4
https://groups.google.com/g/lua-l/c/jW6vCnhVy_s
https://www.lua.org/manual/5.5/readme.html#changes