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

Теперь и Scylla закрывает исходный код (это как Cassandra, но на C++, и на ней, например, Discord работает).
Причины прямым текстом:

to protect themselves from “free ride” competition... we have been the single significant contributor of the source code

Многое в экосистеме оперсорса держалось на этике, но когда у всех на виду Дж.Безос "е%%т систему и хохочет", понятно что всё разваливается, какая тут уже этика. Кстати, если посмотреть разбивку контрибуторов Linux по компаниям, там тоже Amazon не видно, а ведь они с Гуглом - крупнейшие эксплуатанты.

Бодрияровщина

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

И эта фундаментальная проблема потом уже неискоренима во всей конструкции. Это уже ствновится культурной проблемой. Бесконечное фреймворкостроительство, переливание из пустого в порожнее, переписывание всего на новых крутых языках и так далее.

И тут уже понятно, почему люди из этой культуры видят Generative AI, как новую технологическую эру, сравнимо с изобретением огня, и тэ дэ. Это способ дёшево генерить тот самый engagement, вокруг которого вся их экономика и вертится.

Помню, читал воспоминания одного американского биржевого дельца начала ХХв. Их общество формировали телеграф, железные дороги и биржа - основная система сигналинга. Информация хороша, если она позволяет предсказать движения цен на бирже. Reality check такой встроенный.

Мне кажется, сейчас культура разработки сильно заразилась этим самым engagement, а встроенный reality check отсутствует. Чисто в силу доминирования силиконовки.

Но это так, послеобеденные мысли.

У ABC и RDX новый дом.
https://replicated.wiki

Eщё Turso: SQL с бранчами (в узком смысле). Там CoW режим вероятно, так что реализуется достаточно прямым путём. Единственно, опять же, это не бранчи, а снапшоты.

Манифест проекта BRIX. Это LSM движок на RDX. Сеть синхронизируемых баз данных на конечных устройствах https://replicated.wiki/brix/
Покажем, как бранчи должны работать в базе данных. По настоящему. Ну и ответ на вопрос, зачем нужен RDX.

По поводу последних бенчей 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