Так-то это самый значимый пост в этом канале за всё время. Про CRDT в целом.

Как я уже говорил, у меня есть ворох наработок по системам контроля версий. Сегодня, в июне 2025 17 числа, я уже абсолютно уверен, что git - говно мамонта. И я настроен серьёзно заняться темой. Тем более, что в CRDT делать похоже уже нечего (см выше). Проблема в том, что я очень плохо завершаю проекты, ибо я исследователь.
Единственное решение - нужны соучастники.
Язык - go, технологии - CRDT, крипто. Целевая аудитория - видимо, go разработчики, хранение кода и конфигов для Кубернетисов и Докеров. Тема очень больная, потому что например время на перезапуск облака Яндекс ребята из Nebius оценивали в год. Потому что в работающем хозяйстве сложно даже понять, почему и как всё работает.
Мерж автоматический, детерминированный. Миллион бранчей. Issues и вики тут же в репе и связаны с кодом "в один клик" (сам себе github).
Вот исходя из этих предпосылок предлагаю начать бурить.
Высказывайтесь, у кого какие мысли.
1. что является болью в git?
2. что ещё имело бы смысл версионировать, если бы было что-то лучше git?
3. как продвигать наработки в сообщество без венчурных денег?
4. ОК, понятно, как поднять венчурные деньги?
5. если бы github был в терминале (где git), что бы поменялось? мы бы грепали issues прямо там?
6. есть ли смысл подвязывать issues и прочее прямо в код? (типа комментарием)
7. а может вообще ничего не надо в терминале делать? Ура IDE?
8. в какой степени monorepo это наказание за наши грехи, а в какой степени - путь к смирению и очищению?
9. как бы мы хотели заскриптовать и автоматизировать git, и где затыки?

В реальности вопрос один: как быть в 10 раз лучше чем git, либо в целом всё workflow git-github? (Что бы хотелось, чтобы работало, но с git это морока и "не работает"?)

Я сравниваю RDX и CBOR с общей целью "а нельзя ли сделать мержуемость фичей CBOR, не пугая людей новым форматом". Вывод. Это осуществимо. Но. Если принять CBOR, основную фичу RDX нужно будет выкинуть, а именно гарантию побитно идентичного результата для разных реализаций. В CBOR много вольностей и точек расширения, а это даже для более простого (примитивного) JSON с его грамматикой, умещающейся на визитку, породило ворох проблем. 10 опций true/false порождают 1024 варианта возможного поведения парсера, например. В результате каждый парсер видит мир по-своему.
В теории можно сделать маппинг в JSON и CBOR, но в обе стороны чисто не получится - RDX и CBOR это разные суперсеты JSON.
Ещё проще сделать экспорт результата в JSON/CBOR и импорт изменений обратно.
Ну и мир клином не сошёлся на CBOR. Например, сеты RDX хорошо мапятся на реляционные таблицы. Опять же, биекция вряд ли получится, а вот экспорт/импорт норм.
Итого. Внутренний формат - RDX, всё остальное - проекция с возможностью импорта изменений обратно в RDX.

Эту дату я должен отмечать каждый год: 12 мая. В этот день в 2011 я написал КГ/АМ на BitCoin, с большим приветом Сатоши Накамото. Вскоре после этого Сатоши исчезает, в июне курс BitCoin падает в ноль и кажется что всё, проехали. Как бы не так.
Сейчас вообще не является чем-то необычным прикупить новый шиток чисто на удачу, но тогда всё было впервые. Самое обидное, у меня в распоряжении был целый кластер на тот момент... Ну да ладно, проехали.
В инженерном отношении, мне по-прежнему нечего оспорить в моём тогдашнем тексте, как инженер я всё увидел правильно. Proof-of-work неизмеримо слабже криптографии, анонимности у блокчейна быть не может, будет прослойка профессиональных пиров - пэров, последствия для экологии страшные, всё сказал верно. Но увы, есть и не инженерные аспекты во всей этой истории :)
Как один из ценных выводов, читаю сейчас советы "как правильно давать фидбек". В Восточной Европе у многих с этим беда, и я конечно хороший пример.

Apple будут показывать Neuromancer по первой книге Гибсона. Это то, с чего начался киберпанк. Остальная фантастика того времени, что в СССР что на Западе, была больше похожа на Стругацких - ракеты-планеты, это всё двигалось по инерции с 60х и нашло кульминацию в Star Wars. Гибсон очень резко выдал картину совершенно другого будущего, хакеры-импланты-AI и если смотреть из сегодня, он оказался гораздо более точен.

Так, чисто позадротствовать. Первым был "Джонни Мнемоник" Гибсона, это начало мира "Муравейника".

Затем, термин застолбил Брюс Бетке с одноимённым рассказом "Киберпанк". А одновременно с "Нейромантом" вышла "Схизматрица" Стерлинга. Думаю, не менее значимое для жанра произведение.

Но Гибсон, конечно, очень яркие образы нарисовал. У него, кроме "Муравейника" есть ещё трилогия "Моста". Они связаны, но в "Мосте" больший акцент сделан на социальные явления: виртуальных поп-идолов, перманентные цветные революции ("Все вечеринки завтрашнего дня"), курьерскую службу на велосипедах (sic!) и тому подобное.

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

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

https://www.enhanced.com/events

Видосики выложили. Драма доклада Бутерина была в том, что он сбрасывает EVM с парохода современности. Вообще, разработка виртуальной машины это сага. Помню в эпоху Java только в Новосибе была пачка очень крутых товарищей только этим и занятых.
А я, чтоб не отставать, клоню к тому, что блокчейн это не очень лучшая архитектура и можно лучше. Чтобы не вызвать нездоровых реакций, я в заголовке в git DAG целюсь, но по сути без разницы.
Вот допустим хотим мы решить задачу code provenance. Чем нам поможет б-чейн? Ничем. Собственно, тему заливали баблом долгие годы, но из начальной ниши блокчейн выйти не смог. Что в общем и причина некоторого уныния в отрасли. Ведь очень многие пробовали. Тут конечно вопрос, а в архитектурных ли ограничениях дело? Я считаю, в них.

Я не знал, что на BlueSky может быть 300 ретвитов и 800 лайков. Лично мне доехало через Rob Pike.

Есть какой-то шарм нечеловеческий в языках программирования, которые близки к естественному. Мне всегда хотелось сделать свой по принципу subject-verb-object. Вот сейчас смотрю эксперименты с Prolog-подобным языком и умиляюся.

А ближе к делу, мне нужно писать тесты storage engine. Видимо, как обычно сделаю интерпретируемый скриптовый язык небольшой, поверх RDX, потому что когда данных больше, чем кода, писать на go становится неудобно. Если кто может поделиться опытом - велкам.

TheNewYorker пишет про стремительную революцию clean energy (solar, wind). Причём, как в случае революции GSM, периферия порой опережает США. Вкратце: пакистанский фермер, установив 4-5 китайских панелей, уже никому ничего не должен следующие 20-30 лет.
В Европе всё более цивилизовано, но в принципе в том же направлении.
Исхожу из того, что local-first произведёт такую же революцию в интернет-технологиях.

Расписал доказательство корректности DISCONT, в картинках

Это конкретно BlueSky сдувается или соц медиа в целом? Не думаю, что Твитор или Truth Social скажут свои циферки, но субъективно "Твитор уже не тот"

До Касперской допёрло. Пытается донести до остальных.

Тэкс. Объяснение что такое RDX у меня было "RDX это надмножество JSON, на котором (могут быть корректно) определены diff/patch/merge". И это идеальный строительный блок для абсолютно любой распределёнщины и децентрализации. И это было в известной мере авансом, потому что если merge был реализован всю дорогу (CRDT, понятно), то diff требует всякой комбинаторной эквилибристики и я откладывал реализацию сколько мог в расчёте что смогу эту эквилибристику на бумаге упростить. Упростил что мог (см DISCONT) и за неимением отмазок всё-таки был вынужден реализовать diff. Который типа работает, в первом приближении. Там алгоритм Дейкстры рекурсивный, если что. Довольно таки жёсткая жесть. Во всяких difftastic'ах похожая хрень реализована, но частный corner case, с моей точки зрения. А я короче за неделю типа реализовал общий случай. Пью таблетки, расслабляюсь.

Если кто-то рискнёт посмотреть в код(go), буду очень спасибо. Тесты написаны на yell, если что, это тот микролисп поверх RDX, про который я ранее писал. Пару недель как работает уже, очень удобненько получилось.

Погостил в сообществе braid.org
https://braid.org/meeting-114
Ребята считают, что синхронизация должна быть примитивом на уровне HTTP GET/POST/PUT. Типа, HTTP SYNC и вперёд. Я, в общем-то, тоже так считаю.

Google озаботились воспроизводимостью билдов опен-сорса в целом. Очень своевременно, в мире где консольный текстовый редактор в фоне и без спроса вызывает curl, скачивает и запускает бинари (да-да, я про neovim).

В UK растёт использование VPN'ов, в связи с новым законодательством. Всё как у людей :)

Вот так вот всё поменялось всего-то за два года.