uz
Feedback

Firibgarlarga uchmang! Telemetrio bunday kanallarni topadi va belgilaydi 👉 Belgini ko‘rmoqchi bo‘lsangiz, obuna bo‘ling

Local-first и децентрализация

Local-first и децентрализация

Kanalga Telegram’da o‘tish

Replicated Object Notation, CRDT, распределёнщина и децентрализация. Ведёт @gritzko Чат @Ronzgovory

Ko'proq ko'rsatish
721
Obunachilar
Ma'lumot yo'q24 soatlar
Ma'lumot yo'q7 kun
-130 kun
Postlar arxiv
Интересная свеженькая статья: GitSwarm. Люди попробовали организовывать агентов не через центрального оркестратора, а как рой, где каждый агент творит в своём бранче, с простым формальным процессом. Можно делать что-то своё, можно доработать чужое, можно чью-то идею приспособить в своём контексте. Получается накопление опыта и идей в масштабе роя (сообщества). Для хранения всей этой истории используется (как мы уже поняли) git.

В какую первую версию Civilization (by Sid Meier) вы играли?
Anonymous voting

На той неделе учил Claude играть в старые стратегические игры. Получилось интересно, в том числе чтобы понять, что он может и что не очень. Opus 5.5, впечатляет конечно, там где "может".

Был такой жанр, навевающий безысходность и безнадёгу: "люди обмениваются секретами работы в git". В том плане что первые 2, 3, 4 раза ощущаешь себя сильно умным, а потом понимаешь. Теперь секрет у всех один: "спроси Клода, ну там в общем можно как-то".

Если кто следит за децентрализацией, последнее время бурно растёт проект Iroh. Общая фабула: а давайте для коннектов использовать не IP адреса, а ключи. Миссия уже, чем у Tailscale (монетизировать WireGuard клиентский VPN через NAT'ы), Iroh больше заточен на использование в виде либы. Неизвестно, что будет в интернете разворачиваться в ближайшие годы, может все переедем во что-то приватное и закрытое, так что держим на уме.

Вот результат изысканий. Замечания из чата учтены. Замечайте ещё что-нибудь.

Сейчас есть три проекта упихивания CRDT метаданных в git: 1. GitButler git-meta 2. Radicle COB 3. Beagle libdog-CRDT (мой) Я поизучал два остальных варианта, чтобы понять, как оно работает. git-meta довольно хорошо задокументирован, Radicle имеет идеологический док, а технические подробности в коде. Я попытался как-то предметно пообщаться с обеими командами, результаты отпишу отдельно, но вот какое наблюдение: общение с Claude и GPT было гораздо более продуктивно. В плане затрат времени и нервов на пообщаться, в плане общей информированности собеседника и в части общей осознанности позиции. В уравнении выгода/затраты, даже бесплатный GPT (не Fable!) порядка на два даёт получше выхлоп. Люди тупят, люди не знают и не хотят что-то знать, люди играют в социальные игры. Итого, КПД паровоза. Так-то это посильней, чем страшилки про Hugging Face.

В частности текст показывает, что гит может жить и без *хабов довольно неплохо. То есть, то что построено поверх HTML/HTTP с тем же успехом и даже лучше можно построить непосредственно поверх git (с ssh транспортом). Доставка есть, ссылки есть, индексирование есть. Но это так, к слову.

Wiki Is Not Enough [Information Architecture for LLMs]

Я за 3 дня портировал все радости из Beagle, теперь оно может работать с обычными git репками. То есть используя git, как dumb store, добавляет свои индексы, и уже всё показывает и рулит git'ом. Получается такой локальный GitHub для меня и агентов. Все тикеты в Markdown (StrictMark), свой локальный веб-интерфейс и TUI, PR-ы можно принимать мышой, исследовать код в полном комфорте. P.S. Там в релизах есть бинари, инструкция в README. bee install && be log можно начать. P.P.S Эта репа будет влита в Beagle, скорее всего. Beagle будет распилен на два этажа - собственно контроль версий и мини gerrit/GitHub для агентов поверх него. Такой примерно план. Так-то ему всё равно кого индексировать - git, jj или be.

Миша сидит в приёмных и экзаменационных комиссиях, и он говорит, что superintelligence скоро действительно будет. Причём не за счёт поумнения AI, а наоборот.

CRDT движок, помимо всего прочего, позволяет творить неожиданную магию. Например, ссылки на строку в файле можно защитить от
CRDT движок, помимо всего прочего, позволяет творить неожиданную магию. Например, ссылки на строку в файле можно защитить от "сползания". Как оказалось в выходные, это крайне легко реализовать и использовать (имея движок). Добавляем к ссылке пару букв, чтобы уточнить, в которой версии был такой номер строки - оно найдёт эту строку в любой версии. Кликаем, переходим. По-английски: Git Links. И, кстати, я стал немного портировать магию Beagle для git реп. Проект bee, можно скачать и собрать, там один бинарник образуется. Индексирует любое количество git реп, понимает ссылки, показывает свой TUI для гитовой репы, показывает в браузер итэдэ.

Тут общался с товарищем, у которого своя контора и там были причитания, что AI нас всех заменит. Но с другой стороны, говорит, программисты за пол-года так изменились, как будто специально хотят, чтобы их поувольняли. Обленились, ни во что не вникают, пишут "Клод, сделай всё без ошибок, и чтобы было хорошо" и на этом их неимоверные усилия заканчиваются.

Кстати, доклады с Local-First Conf выложили. В частности, Клеппманн много говорит о геополитической нестабильности и что держать данные на другом континенте стало проблематично.

Есть несколько проектов упихивания структурированных метаданных в git. Цель простая и понятная - ценность github (issues, wiki, звёздочки и проч) упаковать в git тоже и таким образом вырвать из склеротических цепких пальцев Microsoft. Они подразумевают креативное использование структуры хранения git для реализации CRDT. Я показываю, что если мы используем CRDT движок токенизации/merge, то Markdown вполне себе хватает для этих целей. Оно и машинно читаемо и просто и совместимо. https://replicated.live/blog/crdt

Repost from N/a
https://replicated.live/blog/click Прогресс Beagle (скриншот и поэма)

Java started as a language to write apps on the Internet (applets). Then, it evolved into an elephantine corporate-focused language, because that's where the money is. I remember those Java applets that took minutes to load. The Web was taken over by JavaScript instead, which was famously coded in ten days. Go used very particular shortcuts to make its GC'd runtime lightweight enough and the language simple enough. But, due to Conway's law or something else, it was destined to become a corporate-focused elephantine language, gradually. I remember 10 years ago I believed that Go lacked something like STL. Later I changed my opinion cause I started to realize how much overhead red-black trees and suchlikes introduce. Especially in GC'd systems. This abstraction Jenga may indeed look shockingly absurd when you see all the moves in the system, not just your layer. In performance-critical cases, I personally use ABC, a C dialect with solid containers. Those are basically chunks of RAM with fixed-bit-layout records in them. Vectors, hash maps and hash sets, heaps and queues are all just arrays. If we only needed that, we might have stayed with C. Solid containers require no malloc() and no GC. Can mmap them and you have a database. Can send them over the network as-is. That is the ultimate 80/20 thing here. LMDB is another example. But if you keep adding features, 80/20 is no more and your Go becomes an uglier Java or Rust.

Как вы сейчас GitHub используете?
Anonymous voting