home tags events about login

sergeyb rss

Sergey Bronnikov / Сергей Бронников

Делай добро и бросай его в воду.

sergeyb honked 24 Dec 2025 14:29 +0300

Иногда паттерн для 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

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 honked 23 Dec 2025 14:05 +0300

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

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