amarao: (Default)
Был ли когда-либо в истории человечества философский кризис такого масштаба? Обычно философская мысль находится сильно дальше, чем технические и общественные достижения человека.

И вот тут, по крайней мере, в том объёме, в котором я знаю "основы философии", мы сталкиваемся с практическими проблемами, которые философия ещё не успела переварить, чтобы задать понятный вопрос с непонятным ответом (что можно считать вершиной философской мысли).

Когда мы можем считать, что математическая проблема решена? Когда есть контр-пример? (или конструктивный пример), или когда мы можем сами сконструировать его? Можно ли считать решением задачи её ответ?

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

Или, даже более близко к телу - можно ли считать, что кодовая база сопровождается человеком, если в команде нет никого, кто может объяснить что эта выкрутаса делает? Не оттрейсить в отладчике и увидеть, что делает что нужно, а объяснить?

Нужно ли уметь объяснить, чтобы считать, что владеешь решением? (обратите внимание: знаешь vs владеешь)

А, может быть, я не теми словами проблему описываю. Проблема есть, а вопрос философы ещё не задали...
amarao: (Default)
Читаю PR. Человек послал нафиг Клод и сделал сам.

У меня было два вопроса. На оба вопроса человек подумал заранее и у него есть аргументы. Выбранное решение оптимальное. Ноль комментариев от меня. В PR чуть-чуть кода, чуть-чуть текста в changelog и во внутреннюю документацию. Ясно, просто, человечным языком. Где надо плохие ситуации обрабатываются, где не надо, не обрабатываются, потому что за пределами проектного поведения или "оператор сам разберётся".

Мы шутили, что этот PR выглядит как из тёплого лампового 23его года.

... Но шутили ли мы? Человек его написал за 3 часа (час написать, два отладить, медленные сайд-эффекты). Я прочитал его за 5 минут. У меня совершенно светлая голова и нет усталости, и я точно могу сказать что в этом PR было сделано и я сделал бы его примерно так же, плюс/минус имена и расположение объектов.
amarao: (Default)
Маленькое важное открытие: В агрессивном агентике, написанное человеками не должно трогаться роботами. Его должно быть мало и по делу. Если не поделу, агентик требует от человека разобраться и поправить.

В обратную сторону, человек совсем не лезет в агентские md и и т.д.

текущая модель: decisions.md, где выписаны человеческие решения - будем делать так-то и так-то.

Потом с этого идут все остальные файлы. Раньше люди говорили про requirements.md и ручные спеки - не работает, LLM заполняет своё туда.

А вот decisions это круто, потому что там не всё, а только то, о чём подумали люди. Если оказалось неправильно, то надо сказать человекам, что надо подумать ещё раз и поменять решение.

Насколько это рабочее я не знаю, но пока чувствую хороший запал.
amarao: (Default)
00000000  1f 8b 08 08 c2 8e d4 6a  02 03 31 2e 62 00 d3 d6  |.......j..1.b...|
00000010  86 81 68 3b 38 53 db 46  37 16 c8 d3 e3 d2 46 05  |..h;8S.F7.....F.|
00000020  7a 5c ba 18 00 a1 08 9b  2c d9 80 0b c3 72 ea 01  |z\......,....r..|
00000030  64 87 c2 ac d1 e3 02 00  19 be 99 38 0a 01 00 00  |d..........8....|
amarao: (Default)
И ещё: в эпоху всё большего codegen'а, замедляться очень полезно. Вот я сейчас вчитался в llm изменения. Он написал source_directory() в justfile'е.

Я пошёл почитать, чем оно отличается от justfile_dir(), оказывается, учитывает модули. justfile_dir() работает с путём к justfile'у (который был вызван), source_directory() содержит путь к файлу, в котором функция вызвана.

Потратил на это времени больше, чем на всё остальное (для тех изменений, что делал). Но, польза несравнимая, я теперь ещё кусочек just'а выучил, в хорошем, полезном контексте.
amarao: (Default)
Надо всегда, всегда выделять хоть малюсенький кусочек внимания, но выделять на локальное удобство и продуктивность. Пусть на мельчайшее улучшение, но делать. Потому что эти все мелкие "волоски" складываются в friction и являются коэфицентом к любой другой работе на десктопе.

Вот сегодня я набрался силы воли и разобрался (ага, разобрался... спросил и настроил) с cwd в новой панели в tmux'е.

bind '"' split-window -v -c '#{pane_current_path}'
bind % split-window -h -c '#{pane_current_path}'
bind c new-window -c '#{pane_current_path}'

Выставляет для новой панели cwd (текущую директорию) такую же, как у foreground процессса в активном pane. Мелочь, ерунда, но до этого я делал cd, и тратил на это капельку внимания. Каждый раз.

Глупость? Было не до этого. Нашёл, поправил.

Теперь надо не забыть разнести всюду. Начинаю думать про синхронизатор tmux'ового конфига...
amarao: (Default)
Вот такую вот проблему я нашёл ещё у людей.

У них чат. В этом чате долго мусолится проблема. Начинает вырабатываться терминология. Длинные фразы сокращаются до коротких. Появляется нечто. Если это код с сайд-эффектами, то в худшем случае (если оно работает) - это vibe и окей. Если это код без сайд эффектов или текст, то становится хуже.

"Оно" состоит из отсылок к этому самому общему контексту. Человек, который обсуждал это с llm, понимает о чём это. Окружающие люди (или тот же человек месяц спустя) - уже нет.

Вообще, современный аутпут от LLM сильно напоминает некоторые сцены FLCL - крайне плотные и набитые референсами, но совершенно incomprehensible для внешнего наблюдателя. В случае FLCL этот контекст ссылался на фэндом, "который поймёт", а LLM вывод - это ссылки на "вот тот вот чат", который видел один человек и то не до конца прочитал.

Когда такое получается, люди делятся на два лагеря "да, мне понятно" (я был в этом контексте) и "ой, ща перепишу" (да, снаружи выглядит непонятно).

Моё личное мнение, что первый вариант - путь в никуда. Каждый в своём чатике, передачи контекста никакой, путь в полное ослопление.

RFC 10500

Oct. 6th, 2026 04:46 pm
amarao: (Default)
Аллокация адресов идёт по хронологическому признаку.

В 2027 году адреса выделяются из 2027::/16
amarao: (Default)
Я вот задумался о том, что такое случайное число.

Допустим, мы делаем случайную выборку из любого из чисел. Из R.

Какова вероятность, что у экспоненты выбранного числа меньше квинтллиона нулей? ноль.

Куда более интересный вопрос, можем ли мы осмысленно выбирать случайное число из несчётного множества.

GPT подсказывает, что на R нельзя выбирать с помощью равномерного распределения. Но это "вокруг точки".

А просто "случайное вещественное число" нельзя.
amarao: (Default)
Признавать ошибки неприятно. Быть правым приятно.

Во времена gpt4.5 и 4o я говорил, что llm вероятнее всего, уже прошли середину логистической кривой и никакого сверхинтеллекта нам не светит, а светит дурка... галлюцинации.

В чём-то чуть-чуть я был прав - прямой ответ на вопрос из "памяти LLM" очевидно почти достиг пика. Однако, прям в это время релизили o1, и это был действительно большой прорыв, который привёл к процессу "думания" (а не просто говорения). В том, что это середина логистической кривой я был очень, очень не прав, и мы уже имеем дело с нечеловеческим интеллектом (который чем дальше, тем больше бесит - именно так и выглядит uncanny valley, с выводом, который просто невозможно терпеть, но который умён).

LLM действительно сейчас начинают двигать области, которые человеку были не по зубам. Recursive self-improvement - открытый вопрос, но с учётом, что их начинают тащить в разработку чипов тоже, ... Открытый.

Второй ошибочный прогноз касался более важного топика. Я говорил, что нельзя говорить о свободе воли для системы, которая на тот же самый ввод даёт тот же самый вывод, каждый раз.

Утверждение всё так же имеет смысл, однако теперь, при наличии mcp, мы имеем систему, которая не может быть воспроизведена в точном виде. Потому что mcp связан с окружающим миром, и коэффектами, часть из которых невоспроизводима (и чем дальше, тем более невоспроизводима - например, точное время выполнения команд). Можно пытаться играть в кассеты и прочие игрища тестирования, но сам факт наличия коэффектов и сайд-эффектов резко отменяет детерминированность. Мы начинаем делать детерминированный мир, а не детерминированный мозг.

Таким образом:

* Возможности сильно больше, чем я ожидал.
* Вопрос свободы воли теперь снова открыт.

Не смотря на то, что в основе лежит детерминированная LLM.

Если этот тезис не совсем понятен, ещё раз раскрою. Решение LLM выглядит так:

(условно фиксированный ввод) - фиксированный ответ LLM с вызовом MCP - ответ MCP с малым возмущением, уже нефиксированный ответ LLM с следующим коэффектом, и дальше накопительное возмущение.

Получается, что в permutation city ответ был: в тот момент, когда эффекты и коэффекты прекратились, система стала детерминированной и потеряла свободу воли.
amarao: (Default)
Ещё и отформатировали в 4 колоночки.

https://lwn.net/Articles/1097401/
amarao: (Default)
А айтишникам за въедливые вопросы полагается отдельный ад, с таймзонами.
amarao: (Default)
В школах должны учить правильно читать бело-красно-зелёные тексты. Белые - как осталось, красное - как были, зелёные - как стало. Я вот обратил внимание, что коллеге тяжело такое читать.

А на олимпиаду читать диффы диффов. Это там, где +-, ++, -+ и --.
amarao: (Default)
Идёт, бычок шатается

Вот-вот он упадёт

Пьянь-дрянь совсем качается

И матом речь ведёт
amarao: (Default)
А почему об этом никто не думал? Не писал? Я не видел?

Сайт, который начинает свою работу с знакомства с пользователем. Данные трекинга, геолокация, время, etc - всё, что позволяет определить пользователя, формируется в досье и попадает на вход LLM, задача которой изложить идею сайта/страницы в максимально высоком контексте для пользователя.

Я знаю, какая это мрачная технология, но я хочу посмотреть на её светлую сторону.

Количество текста меньше (т.к. аудитория понятна). Контекст - высоко релевантный. Например, если я захожу на сайт тойоты, то мне показывают ровно два блока: сервис-центры на Кипре, и лучшие компактные модели 26 года. Допустим, их там 2 штуки. И у обоих сравнение с IQ (это модель машины, а не интеллект).

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

Блок про новую машину мне говорит - модель такая-то, лучше тем-то хуже тем-то, стоит от стольки-то до стольки-то, ссылка на подробнее. В подвале - обязательный минимум ссылок. В шапке - ссылка "остальное в toyota".

Это же огонь. Персональный лендинг, который одинаково крут для компании и для клиента.
amarao: (Default)
Есть такой мод к Factorio, Pyandons. Совершенно следующий уровень сложности и инженерных вызовов. Идеально для внутренних постмортемов архитектурных ошибок.

И сегодня я нашёл потрясающий анти-паттерн, который я видел в жизни.

Дано: ресурс Х, который был в glut режиме (изобилие, перепроизводство), внезапно становится востребованным. Сначала запасы (буфферизация) ресурса X обеспечивают неограниченный рост потребления. Потом случается crash, когда буффер закончился и предложение определяется производством, которое в разы ниже потребления (которое привыкло к изобилию). Локальный кризис.

Новая технология Y, которая позволяет удвоить производство X, но требует много X для своего запуска. (В py это mk2 модули, которые требуют много mk1, а mk1 строго ограничен тем самым ресурсом).

Анти-паттерн: направлять ресурсы X на производство mk2. Каждый удачный mk2 (там шанс на успех, а не гарантированный результат) - это + сколько-то процентов к производству X. Но весь X потребляется на mk2, так что всё stalled и почти безнадёжно. Вместо обычно дефицита, супердефицит без шансов на разрешение.

Правильное решение: сначала разрешить дефицит X (линейная экспансия, scaleout), пока не начнётся образовываться избыток. Избыток направлять на mk2 (и тогда процесс runaway, потому что в итоге будет scaleout x2, много-много ресурса и о проблеме можно забыть почти навсегда).

Вот я эту ошибку "все ресурсы на увеличение производительности вместо удовлетворения спроса" пощупал глубоко и серьёзно. Очень интересно, и очень ценная деталька в интуицию.
amarao: (Default)
ai допрос в ходе которого человек должен ответить на вопросы ai без противоречий и в полном объёме
amarao: (Default)
Can you establish a secure connection between floating point and floating IP?

* Yes, bidirectional
* Yes, unidirectional
* Yes, but only if they have the same size (e.g. 32-bits)
* No, connection will be insecure
* No, communication happens with datagrams
* No, its unsound
amarao: (Default)
Я сейчас поймал себя на мысли, что отношение к llm сейчас примерно такое же, как к демонам. Можно призвать, они могучи, но их трудно контролировать и не всякий призыв приносит добро выживаю ... вызывающему.

Ещё надо уметь разговариать на языке понятном демонам и знать их хитрости.
amarao: (Default)
Деревня-деревней, а сервисы иногда тут огого.

Умер аккумулятор у машины. Позвонил в компанию, которая специализируется на замене аккумуляторов. Приехали, прикурили на ходу (чтобы не сбросились настройки), заменили. Цена удовольствия €80.

В 9:01 я им отправил локацию.

В 9:14 я уже выезжал с парковки.

Profile

amarao: (Default)
amarao

October 2026

S M T W T F S
    1 2 3
45 6789 10
11121314 151617
18192021222324
25 26 27282930 31

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Nov. 1st, 2026 12:54 pm
Powered by Dreamwidth Studios