Кстати, с этой клавиатурой пришлось повозиться. Оформил опыт разбора проблемы и починки прошивки в статью https://habr.com/ru/articles/1056772/

Уволили последнего программиста

http://www.palo-alto.ai

Но у них сайт перестал отвечать...

Еще один пример.

Вышло обновление на VR Шлем и не скачивается из-за региона. В прошлом я бы раздал Wi-Fi с VPN прямо с мака. Но помню, что опыт был неприятный. Куда удобнее иметь VPN на самом шлеме.

Только на шлеме нельзя просто скачать VPN-приложение из cтора. Надо найти APK, поставить его через adb и передавать URI через внутренний чат, который тоже без VPN не работает. В общем, проще отложить задачу на потом.

Но в современном мире можно подключить шлем по USB и попросить кодекс разобраться с этой рутиной.
Прямо сейчас обновление уже качается.

забавно, как фанаты Рича Хикки троллят его, сами того не понимая :)

Сейчас легко решить задачу, написав много-много кода с неадекватным подбором абстракций, как в примерах из предыдущего поста.
Но кодовая база разрастается и поддерживать ее становится дорого и по времени, и по когнитивной нагрузке, и — как следствие — по токенам.

Моя личная гордость за сегодня ☺️:
‣ удаление бесполезных абстракций
(+44 -715)
‣ рефакторинг скиллов на бэкенде
(+1643 -2275)

Над рефакторингом работал гранулярно, шаг за шагом. И даже на ревью от кодекса ничего не нашлось. Что интересно, попытки сделать тот же рефакторинг в несколько промптов, с GPT Sol Ultra, обернулись потерей времени и токенов на неудачные PR.

‣ https://github.com/D00mch/souz/pull/613
(+449 -287)
‣ https://github.com/D00mch/souz/pull/622
(+689 -276)

Хотя с одним из ПР-ов предварительно просидел полдня, готовя промпт в режиме планирования. Что не так с этими ПР-ами? И подбор абстракций плохой, и упрощения как такового не получилось.

А вот еще один “плохой” пример: реализация публичного контракта для бэкенда (+7210 -2096). Над контрактом поработал сам, а вот реализацию доверил LLM. Понадобился 101 комментарий ревью от самого же кодекса, прежде чем получилось влить ПР.

Кстати, Codex иногда ошибается с подсчетом добавленных и удалённых строк, поэтому добавил alias в zshrc, может, кому пригодится:

alias lines="git add -N -- . && git diff HEAD --numstat | awk '{a+=\$1; d+=\$2} END {printf \"+%d -%d\\n\", a, d}'"

Резюмируя. LLM удешевляет производство кода, но делает дороже его сопровождение. Сложно ответить, когда это действительно выгодно. Но до сих пор имеет смысл работать гранулярно над важными участками кода. Например, над core-функциональностью.

Моменты истинного величия маркетологов, которые даже не нужно фальсифицировать на скриншотах

Наконец дошли руки поразбираться с https://codespeak.dev/

Удивило, что Бреслав взялся за проект с настолько очевидно слабой сутью.

Вкратце, CodeSpeak о том, чтобы писать спеки, которые, как ожидается, будут в 5-10 раз короче, чем код. А их “фреймворк” позаботится, чтобы ”скомпилировать” из этого исходный код, да еще и тестами покроет.

Фактически это просто перенос сложности из кода в спеку.
Если спека на естественном языке учитывает всё, она будет даже больше, чем код, потому что естественный язык двусмысленный в отличие от ЯП.

Если спека короче, остаётся пространство для решений LLM. Эти решения будут неявны и неоднозначны, т.е. повторный запуск может сгенерировать семантически не эквивалентный код.

Давайте возьмём простой пример с использованием piggy backing:

@Volatile var a = 1
var b = 2

@ThreadSafe
fun change() {
    b = 3
    a = 4
}

Чтобы пост не превратился в книгу, приведу в комментариях спеку, явно описывающую этот код. Пример скорее шуточный, но шутка хорошо раскрывает идею. Идею того, что точнее и короче именно кодом выражать идеи для компьютера.