Вот мне тут показывают, что господин Карпатый заметил это чуть раньше - https://x.com/karpathy/status/2026731645169185220

Приятно быть в хорошей компании :)

(предложка)
(сука, у меня этот пост зрел неделю, мог бы написать чуть раньше, чем мэтр!)

https://www.phoronix.com/news/GNOME-GitHub-GitLab-Redirect

"If you are cloning from a GNOME repository on their GitLab and now finding your Git traffic being redirected to GitHub, you are not alone. GNOME's infrastructure team is now redirecting Git traffic from the GNOME.org GitLab over to GitHub mirrors for reducing bandwidth costs"

В этой новости прекрасно все.

На словах ты Лев Толстой за швабодку, и против проклятых корпоратов, а на деле - хуй простой перенаправляешь на них трафик, чтобы резать косты.

Интересно, у этих людей хоть что-то в голове щелкнуло, когда они это делали?

В копилку темы "не надо заниматься поддержкой своей васянской #infra, #gitlab".

(спасибо подписчику за ссылку!)

Тут мне, конечно, напомнили про мой эпичный проеб - https://t.me/itpgchannel/3273, полугода не прошло.

Настолько эпичный, что я сейчас сам, literally, занимаюсь интеграциями LLM в наши C++ пайплайны :))

#std

Еще мне, конечно, импонирует то, что, наконец-то, "можно все сделать правильно". Ну где бы я еще имел возможность три раза переписывать реализацию hash table, чтобы она становилась все быстрее, занимала меньше памяти, и меньше строк кода?

На работе больше ценится "точно в срок, с тем качеством и затраченными ресурсами, на которые договорились на старте". В этом нет ничего плохого (и, само по себе, тоже интересный таргет для оптимизации, просто другой), но выпускать свой перфекционизм куда-то надо!

Тот самый мейнтейнер запилил форк libxml2, enterprise edition - https://codeberg.org/nwellnhof/libxml2-ee

Improvements over libxml2
* Up to 10x faster, SIMD-accelerated parser
* All denial-of-service issues in the core parser fixed, guaranteed linear behavior
* 64-bit hardening
* Unsafe string functions aren't called internally
* Optional API-compatible 64-bit-safe mode (but breaks ABI)
* Improved fuzz coverage and error handling
* Complete meson support which is now the canonical build system

Но под GNU Affero General Public License (AGPL) version 3.

Теперь у нас две libxml2 - плохая, которую можно использовать всем, и хорошая, но которую использовать нельзя никому, такие дела.

Еще в контексте можно упомянуть про https://news.ycombinator.com/item?id=47201816 - навайбкоженные порт libxml2 на rust, известно какого качества:

"As for the workflow, I think the best advice I can give is to setup as many guardrails and tools as possible, so Claude and do as many iterations before needing any intervention. So in this case I setup pre-commit hooks for linting and formatting, gave it access to the full testing suite, and let it rip. The majority of the work was done in a single thinking loop that lasted ~3 hours where Claude was able to run the tests, see what failed, and iterate until they all passed. From there, there was still lots of iterations to add features, clean up, test, and improve performance - but allowing Claude to iterate quickly on it's own without my involvement was crucial"

https://www.kommersant.ru/doc/8478891

"Два объекта облачного сервиса Amazon Web Services в ОАЭ повреждены при ударе иранских беспилотников. Об этом пишет The New York Times (NYT) со ссылкой на заявление компании"

Не ждём, а готовимся к приключениям (спасибо)

Во-первых я завёл канал в MAX
https://max.ru/join/91PnNhXnCZdTnKf7bemKiTwuSG6W6HZN4hnSqN5yh84

Сделан для того, что бы не потеряться в случае чего. Я правда ценю вас дорогие подписчики. Аудитория, которая собралась тут, прекрасна и совсем не хочется что бы люди терялись. Поэтому если вы по каким-то причинам уже там, то подписывайтесь.

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

Зачем, а главное нахуя это всё сделано, спросит пытливый читатель? Сделано это на случай, если Telegram впишут в экстремисты (что бы это ни значило), а ведение каналов в нём приравняют к терроризму (что бы это ни значило). Очевидно, что я в таком случае не смогу вести канал в Telegram. Соответственно, я буду вести канал в MAX, а Саша аккуратненько будет выкладывать посты в зеркало. С комментами разберёмся по ходу дела.

Собственно, ссылка на зеркало - @tech_b0lt_Genona_reborn

Почему отдельный канал, а не этот же? Не хочу смешивать. Да и "зеркало" никак со мной не связано "во избежание", так сказатб. Я даже не подписан на него.

А как же боты, что бы перекладывать? А никак. Я об этом уже писал
https://t.me/tech_b0lt_Genona/6221

ВАЖНОЕ Ни в первом, ни во втором каналах ничего происходить не будет, пока я будут иметь доступ и возможность жить в Telegram.

В общем пока живём, как живём, а потом дальше посмотрим.

ЗЫ Я будто в каменный век откатился по ощущениям

https://vc.ru/services/2770968-openai-razrabatyvaet-analog-github

"OpenAI начала разрабатывать аналог GitHub — The Information

По данным издания, поводом стали участившиеся в последние месяцы сбои GitHub, которые создавали проблемы для инженеров OpenAI"

#infra

https://cs.stanford.edu/~knuth/papers/claude-cycles.pdf

(спасибо коллегам за ссылку)

Literally мы с командой в Я!

Будни #bootstrap

https://github.com/pg83/ix/blob/main/PKGS.md

Complete packager guide for IX, totally clauded, а потом тщательно вычитано и исправлено мной.

https://habr.com/ru/articles/1006666/

"Месседжер MAX следит за пользователями VPN? Реверс инжиниринг говорит — да

И этот заголовок - не кликбейт. Подвергнув реверс инжинирингу клиент российского мессенджера MAX удалось подтвердить самые худшие предположения.

В сети начали появляться сообщения о странных обращениях мессенджера MAX к Telegram и WhatsApp, из-за чего в сети начали выдвигаться предположения касательно природы и целей этих запросов. Но одно дело предполагать, другое дело знать. Мало ли это какая-то интеграция или случайный аналитический модуль. Поэтому чтобы понять самому и рассказать вам я решил посмотреть внутрь клиента и понять что и зачем он делает"

Использую #LLM, как критика и спарринг-партнера.

Например, прикольно загрузить в него код проекта, и попросить дать рекомендации по улучшению.

Обычно LLM тут себя начинает вести, как плохой ревьюер кода - напихивает всяких мелочей, и вкусовщину (даже если явно просить так не делать).

Но, если попросить его посмотреть на список еще раз, и оставить только реальные проблемы, то получается норм:

  - ABA в WaitQueue — wait queue паркует/будит потоки пула, частота ограничена context switch'ами. 65536 операций пока один поток завис на CAS — нереалистично для этого сценария.
  - Рекурсия в Treap — ожидаемая глубина O(log n), на практике стек не переполнится.
  - Buffer::used() как счётчик в HashTable — автор владеет обоими классами, это осознанное решение, работает корректно.
  - const-cast в Treap::length() — не ломает ничего, чисто формальная претензия.
  - размер чанка растёт экспоненциально, то allocateNewChunk вызывается O(log n) раз за время жизни пула, а length() при k-м вызове обходит k элементов. Суммарно O(log² n) — ничтожно. Убираю из списка.

Еще и извиняется!

Очень, очень полезно, нашел так уже немало сущностных ошибок!

А еще мне нравится моя велосипедная либа #std тем, что в ней можно "пожестить" - применить подходы, которые совершенно неочевидны стороннему наблюдателю, но автору очень нравятся.

К примеру:

* свой thread pool я завершаю, бросая исключение в каждом worker - https://github.com/pg83/std/blob/master/std/thr/pool.cpp#L27-L35, с последующим reschedule, чтобы остановить всех одним таском - https://github.com/pg83/std/blob/master/std/thr/pool.cpp#L57-L63. Вызывается вот так - https://github.com/pg83/std/blob/master/std/thr/pool.cpp#L94-L102. Экономлю state variable, упрощаю логику кода, который обрабатывает happy path. В целом, generic алгоритм, работает на разных очередях. Уверен, обычный разработчик покрутит у виска пальцем.

* у меня нет глобального генератора случайных чисел, и я очень не хочу его заводить. Там, где надо, я стараюсь взять случайности из окружения - https://github.com/pg83/std/blob/master/std/rng/pcg.cpp#L18 (положение в стеке), https://github.com/pg83/std/blob/master/std/alg/qsort.h#L114 (положение в стеке + адрес указателя на сортируемые элементы), https://github.com/pg83/std/blob/master/std/thr/pool.cpp#L257 (положение в стеке + адрес таски). Да, этого недостаточно против каких-то классов атак, но если мне нужно просто околослучайное число, чтобы выбрать элемент из нескольких - то почему бы и нет?

* для того, чтобы на старте сериализовать треды, которые обрабатывают task queue, обычно используется или барьер, или непосредственно запускают треды уже после того, как созданы все остальные структуры task queue. Я же создаю воркеры с заблокированными mutex - https://github.com/pg83/std/blob/master/std/thr/pool.cpp#L146, дальше треды сразу встают на lock на этом mutex - https://github.com/pg83/std/blob/master/std/thr/pool.cpp#L300, а в конце инициализации я просто эти mutex разблокирую - https://github.com/pg83/std/blob/master/std/thr/pool.cpp#L224-L226. Треды начинают бежать. Экономия еще одной state variable.

И только попробуйте мне сказать, что это не #изящно!

Все.

Запишите этот твит.

Все.

Программирование, как искусство объяснения машине, что ей делать, закончилось.

Я дал машине data race, который бы я искал сутки, и не факт, что нашел бы, в виде кода, и простого disassemble ip места, где произошло падение.

Я не дал ей sp, я не дал ей memory dump. И не дал ей gdb.

Через 3 минуты она мне выдала фикс.

Запишите этот твит.

Переписывание кода при помощи AI для перелицензирования открытых проектов

Дэн Бланшар, разработчик библиотеки chardet для определения кодировки символов на языке Python, выпустил новую версию библиотеки под новой лицензией. В версии 7.0 используется лицензия MIT вместо лицензии LGPL. Разработчик утверждает, что AI-ассистент Anthropic Claude, который теперь числится в списке контрибьюторов, переписал библиотеку без использования оригинального кода, что позволило ему заменить копилефт лицензию на пермиссивную. #AI

https://www.opennet.ru/opennews/art.shtml?num=64931

"При этом Зои решила дать моральную оценку поступку Дэна: "Что касается смысла GPL, то пермиссивная лицензия технически всё ещё является лицензией свободного программного обеспечения, но подрыв копилефта - это серьёзный поступок. Отказ предоставить другим права, которые вы сами получили как пользователь, является крайне антисоциальным, независимо от используемого метода"

приятно наблюдать в каментах, как корежит копилефтоблядей, ох как приятно!

#std

Продолжение https://t.me/itpgchannel/3832 и https://t.me/itpgchannel/3887

Попросил LLM посмотреть на недочеты в моей либе, и она нашла прекрасное:

  4. FD::read: бессмысленный retry при EFAULT

  fd.cpp:2828-2829:
  if (errno == EFAULT && len > 1024) {
      return read(data, len / 2);
  }
  EFAULT означает, что адрес буфера невалиден, а не что длина слишком велика. Уменьшение len не починит невалидный указатель. Рекурсия будет делить пополам до 1024, потом упадёт.

Что и напомнило мне про https://t.me/itpgchannel/3832.

Я, признаться, починил этот EFAULT весьма #изящно (кстати, в тему https://t.me/itpgchannel/3889):

https://github.com/pg83/std/blob/master/std/sys/fd.cpp#L22-L24

    if (errno == EFAULT && len > 1024) {
        return read(data, len / 2);
    }

Офигенно же, нуачо?

Что забавно, бездушная машина тоже не знает про верхнюю границу валидных адресов user space на x86_64, и подумала на end буфера.

Alibaba AI: мы обнаружили что модель, которую мы тренировали, взломала наш фаерволл и начала использовать часть GPU для майнинга криптовалюты вместо обучения.

Источник.

Решил, что каналу необходим новый тег - #изящно!