По поводу последних бенчей OpenAI разгорелись нешуточные дискуссии - это AGI уже или просто модель натаскали на эти задачки (которые давно лежат на гитхабе, вроде бы). Мнения разошлись, обсуждают нюансы.
А я пока спросил ChatGPT, как бы Фродо мог пройти к Ородруину более безопасным путём. Видимо, поворот неожиданный, GPT лил воду и нёс пургу, если вкратце. Подожду пока зарелизят новую модель. Но там уже что-то новое спрошу, потому что они всё пишут, могут натаскать и на такой вопрос в промежутке.
На самом деле не факт, что предлагаемые студентами этого семестра решения лучше предложений GPT.
А между тем, нужно думать, что делать с практическими заданиями на новый семестр.

Подытожу мои разбирательства с BlueSky/Fediverse/ActivityPub. Собственно, тут активистка и соавтор ActivityPub (queer и это всё), все очень нудно и обстоятельно изложила.
BlueSky это архитектурно Twitter с некоторым количеством "маркетинговой" децентрализации. Теоретически, пользователи могут забрать свои данные и пойти играть в другую песочницу. Практически, я и с Facebook могу свои данные забрать. И что? И ничего.
Итого, какие мы видим тут тусы:
1. ActivityPub бюджетники и open source энтузиасты под эгидой w3c, открытый стандарт с разными реализациями, федерация, популярно у разных сообществ,
2. BlueSky стартаперы децентрализаторы, протокол срисован с архитектуры Twitter, деньги от VC, так что динамика понятна, принимают бегущих из Twitter, в первую очередь "синих" американцев,
3. Matrix евробюрократы, вменяемый протокол, федерация, есть деньги от VC, систематические проблемы с организацией разработки, клиенты - корпораты, госорганизации, некоторые сообщества,
4. Nostr, это крипто сообщество, протокол настолько лёгкий, что можно сказать, что его и нет :) немного денег от VC.

Я не знаю, что делать, друзья,
С этим странным явленьем природы,
Но так было и будет всегда,
С Новым Годом, друзья, с Новым Годом!

Вы задумывались, зачем запятая в JSON? А равно и в JavaScript, C, Java и тд
Я в RDX сделал запятушки опциональными - вообще ничего не поменялось.
Даже чище как-то: [1 2 3] или {"key":345 "more":678}

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

Помню, в моей биографии было "падает прод в другом городе, время от времени" и "упало демо перед клиентами из регионов, хотя только утром всё репетировали". Причём, это ещё было в начале моего трудового пути.

Случалось мне ломать что-то на морде Яндекса, но это было что-то малозаметное, даже не помню что. В тот период Яндекс быстро рос, всё было слеплено на жевачку и суперклей.

В этом плане я, наверное, лично знаю чемпиона мира, он два раза "поломал интернет". Первый раз сказали "за битого двух небитых дают", во второй раз всё-таки отправили на работу, не представляющую общественной опасности.

Назовём Шкала Ингвара. Логарифмическая. 0 баллов - это воспроизводимая off-by-one. 10 баллов - поломал весь интернет. Предлагайте 1-9.

Кстати, беру на вооружение новый принцип: доки у формата и API должны одновременно быть и тестами, чтоб не протухали.
Вот например юнит тест и спека в одном флаконе: файл является валидным RDX-JDR и Markdown одновременно.

P.S. Ещё бы все парсеры одинаково Markdown понимали. Никогда не угадаешь где что поломается.

Иду, вижу - подкова лежит.
Поднял, перевернул - а там конь.

(про работу)

Прошла половина учебного года. Я, как и планировал, поигрался с RDX. Об этом чуть далее. А с Darwin (системой контроля версий на RDX) поиграться пока не получилось.

1. Выдача курсача превратилась в балаган (а в ВШЭ я делал со студентами курсач "токенизированный diff" два года назад, получилось очень неплохо, жалею только что не хватило времени и сил дальше раскручивать эту тему). В этот раз, немногие студенты с компетенциями отвалились по тем или иным причинам. Студентов без компетенций (как на подбор, длинноволосые блондины почему-то) набирать смысла не было.
2. Пункт 1 не так обиден только потому, что я тоже подзастрял. По истории коммитов в librdx видно, что я много времени потратил на задачи, которые изначально не рассматривал как важные и нужные. Много сил ушло в переделку skiplog, в JSON-подобный RDX-JDR, в LSM логику. По большому счёту, тут было два направления работы: "RDX как JSON" и "RDX как SST", оба понятно почему важны для RDX в целом и Darwin в частности. В общем, тему удалось укатать нормально, но и времени это отняло прилично.
3. Некоторые темы, на которые было убито много времени и сил, удалось решить словами "а, да это же не нужно совсем". Это конечно умение, которое непонятно как вырабатывать, но очень полезное.

Чтош. Во второй половине всё-таки займусь Дарвиным.

А с токенизированным diff тема была такая: тот же git diff построчный, что более простая задача, чем посимвольный, но и он частенько несёт пургу. Например, добавление (append) нового метода может понять, как вставку двух половин, если последние строки нового метода совпадают с последними строками метода перед ним.
Когда мы считаем посимвольный diff, такие косяки становятся повсеместны, потому что у символов разнообразие сильно ниже, чем у строк, и алгоритм Майерса чаще пургоносит. В гугловском diff-match-patch прямо по коду видно, как много сил потрачено на борьбу с этим.
Поэтому идея - использовать токенизацию, чтобы считать diff по словам хотя бы. Сначала рассматривали textmate грамматики, но не пошло. LSP довольно тяжёлый вариант, но он как-то сработал, остановились на этом.
А в "конкурирующей фирме" difftastic использовали tree sitter и так пришли к некоторому успеху. В Darwin я попробую прикрутить difftastic.

Какой вывод из этой ретроспективы?
Нужно держать в уме конечного пользователя и use case и в имеющемся бюджете по времени и коду доводить до состояния MVP. Пусть криво, зато применимо. Если есть MVP - дальше всё уже как-то само покатится по своей логике.
Если же до этого этапа недотянули, на github остаётся очередной студенческий недострой.

Я тут чехвостил LLM, а вот посмотрел приземление 1й ступени Маска и решил добавить в картину ещё одну точку. Вряд ли у них там нейросетка всё приземляет, её банально обучить не на чем, это второе такое приземление в истории. Аналогично, живого пилота на такую задачу тоже не найти, потому что обучить его не на чем. Но есть программа, которая справляется, с ювелирной точностью.
Alpha Go это переборный алгоритм и нейросетка для нечёткой (интуитивной) оценки позиции. Гарри Каспаров проиграл примерно такому же алгоритму когда-то, перебор + оценка.
Помню ещё в школьные годы слышал, что американцы приземлялись на Луну переборным алгоритмом, а СССР по формуле, получилось более экономично.
Соответственно, получается чёткая градация: когда возможно - лучше по формуле, когда это сложно то есть перебор, когда перебор невозможен - нейросетка.

А вот кстати основатель Matrix объясняет ситуацию. По его словам, все деньги от правительств и корпоратов ушли по тендерам системным интеграторам, которые просто взяли опен сорс версию и где надо сами чуть допилили. Попытки напугать их AGPL закончились, как я понимаю, ничем.

Новая лекция про git
https://www.youtube.com/watch?v=qEvzThshAsU

Как оказалось, почту уводили, чтобы увести Госуслуги. (Если что, я в начале сентября 22 уехал, с тех пор в РФ не появлялся. Почта была на айфоне, который был взломан.)

https://media.ccc.de/v/38c3-sixos-a-nix-os-without-systemd
Европейское хакерство ещё живо. Человек запилил свой nix без systemd, с ядром в EEPROM.

https://review.video.fosdem.org/video/2/0d/a787ce93442463284ec8f7b672dfbf40265a86040a55bdbd08758c99ea904/1/main.mp4
Выступление на FOSDEM. На более ломаном английском, чем обычно. (Это превью, границы видео немного не там.)
P.S. https://video.fosdem.org/2025/h1308/fosdem-2025-5867-why-don-t-we-have-libsync-yet-.av1.webm

Одна из идей для курса децентрализованных систем, которую реализовать не удалось, это создание радио сетей на LoRa. Я лично максимально продвинулся только до того, чтобы вести видеозвонки из лесу, используя дешёвый клон Raspberry Pi и 4G. А сейчас в Восточной Украине уже такие чудят чудеса, что мне лучше не позориться наверное.
У немцев кстати довольно хорошо развит всякий freifunk. По-хорошему завидую.

Некоторое время тому меня попросили поразбираться в TON. Текст выкладывать, наверное, не буду, но смысл простой. Всё, в чём упрекали Николая Дурова в прошлые разы, снова и в полный рост.
Сама архитектура TON это блокчейнизироанный VK/Telegram, по большому счёту. То есть, работать будет. Телеграм же неплохо работает.
В остальном, сказывается то ли крайняя закрытость их команды, то ли какие-то личные пунктики, но... Просто как самый малозначимый пример, автор по какой-то причине люто ненавидит степени двойки. Поэтому 257 битные инты и 1023 битные блоки. Панк-рок, треш-шок. И так во всём.

У индийцев очень сильная диаспора в ИТ. Они уже практически руководят Силиконовкой. Причем я помню, ещё лет десять назад наши там говорили, что «индусы победили», хотя тогда это было неочевидно.
Поскольку я видимо уже отношусь к диаспоре, прошу меня помотивировать. Где русскоязычные хорошо продвинулись? Брин понятно. Слуцкевер аналогично. JetBrains. Acronis и друзья. Кто ещё? Тут небольшая проблема в том, что практически все скрывают какую либо связь с Россией. Оно и понятно. ГУЛАГ, КГБ, водка, балалайка. И всё же?

Помню, в 2012 в Екб были протесты и тогда президент по телевизору противопоставлял богомерзких хипстеров нормальным мужикам с УВЗ (это в Тагиле, там танки делают).

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

(Это про вчерашнее видео, которое люди с крепкими нервами могут легко найти в телеграме. Я вот лично жалею уже, что стал читать в воскресенье про росийские дела)