Зарабатывайте на рекламе

В частных и публичных каналах от 2000 подписчиков

Продам твой канал за сутки.

Любой по федеральной программе.

Продам канал с доходом 138090

Всего за 55 000. Срочно нужны деньги.

Statistika Saralanganlar

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

Kanal geosi va tili: Belarus, Ruscha

Toifa: Erotika

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

Связанные каналы | Похожие каналы

Kanal geosi va tili

Belarus, Ruscha

Toifa

Erotika

Statistika

Postlar filtri

O‘chirilganlarni yashirish

Repostlarni yashirish

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

3 Nov, 13:50

Текст: за буферы, против heap и malloc. Вкратце: жизнь проще, если держать данные одним кирпичом, а не разбрасывать по памяти new/malloc ом.
Можно также считать это агитацией за арены.

https://github.com/gritzko/librdx/blob/master/B.md

librdx/B.md at master · gritzko/librdx

Replicated Data eXchange format C lib . Contribute to gritzko/librdx development by creating an account on GitHub.

174 0 3 4

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

30 Oct, 11:26

My story:
- as a researcher, I did CRDTs in 2008
- as a developer, I did collab editors in 2012 and sync frameworks in 2014
- now, as a coding mathematician I do a syncable data format.
It is all about the LANGUAGE people and systems use.

GitHub - gritzko/citrea-model: A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)

A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical) - gritzko/citrea-model

494 0 3 16 21

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

29 Oct, 11:39

Начинающий программист пугается, когда программа ведёт себя не так.
Опытный пугается, когда программа ведёт себя как надо, хотя я же это ещё не кодил!
$ cat test.rdxj
{1:2},
{1@2-2:6},
{eight},
$ cat test2.rdxj
{3:4,4:5,"seven"}
$ rdx merge test.rdxj test2.rdxj | rdx j
{,3:4,4:5,"seven",eight}

482 0 1 3 18

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

27 Oct, 12:31

Хейтер как на работу сюда ходит со своими аккаунтами. Я, вероятно, оставлю только одно доступное эмодзи 🔥. Оно будет означать либо "тема огонь!" либо "гори в аду!" То есть будет такая интригующая недосказанность.

542 0 1 4 54

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

27 Oct, 12:28

Это я к тому, что алгоритм мёржа очень хорошо получился в новой итерации, я прямо рад сегодня.
Сам формат данных минималистичный и ортогональный, и мёрж тоже.

librdx/RDXY.h at master · gritzko/librdx

Replicated Data eXchange format C lib . Contribute to gritzko/librdx development by creating an account on GitHub.

497 0 2 8 23

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

27 Oct, 12:16

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

GitHub - gritzko/librdx: Replicated Data eXchange format C lib

Replicated Data eXchange format C lib . Contribute to gritzko/librdx development by creating an account on GitHub.

438 0 2 19

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

27 Oct, 12:13

Далее, второй том этой приключенческой саги начал писаться с появлением интернет-гигантов, Google, Facebook, присоединившийся к ним Apple, итд. БД уже точно не помещались на сервер или даже несколько серверов. Нужно было прям тучу серверов (ну или облако).
Тут уже появилось семейство кассандровых, БД где мёрж это важная операция, на которой всё и построено - серверов тысячи, единого лога нет, единого порядка операций нет, да он и не нужен.
Что там творится в Google пусть эксперты расскажут, но семейство LevelDB/RocksDB/Pebble происходит оттуда. Это вроде бы побочные потомки BigTable.
Apple является крупнейшим эксплуатантом Кассандры.
Discord недавно переехал с Кассандры на Сциллу.

425 0 4 2 19

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

27 Oct, 12:07

Теперь про RDX. Для меня история выглядит так. 1984 году Leslie Lamport формализует репликацию через конечные автоматы (state machine approach). 1990 Fred Schneider в обзорной статье "Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial" подмечает, что если бы операции были коммутативны, это открыло бы новые возможности. А реальные операции часто коммутативны, в той или иной степени. То есть, идеи CRDT повитали в воздухе еще тогда, но ни во что не вылились.
Просто потому, что даже интернета ещё толком не было и любая БД помещалась на сервер. И нормально, много софта было тогда написано и IBM до сих пор жирно живёт это всё поддерживая.
Приключениям трёх мушкетёров Postgres-MS SQL-Oracle и дартаньяна MySQL, и посвящён первый том истории баз данных.

435 0 5 10 19

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

27 Oct, 11:59

Помню, я ещё студентом на 2 курсе читал Компьютерру пол-года. Внимательно так читал, на лекциях скучно было после СУНЦа. Потом перестало быть интересно. Помню там была большая статья, а это 1998 примерно год, с посылом "Хватит писать опердни". В том плане, что все пишут опердни, они во всех случаях устроены очень похоже, это должен быть один продукт, ну или два конкурирующих.

И вот, недавно общаюсь с людьми из одной российской компании, занимающейся разработкой БД. Про RDX. Один из первых вопросов: "вот если я пишу опердень на постгресе, как мне поможет ваша технология?"

В ушах зазвучала музыка из Warhammer. THE HERETIC. THE MUTANT. THE ALIEN.

Это игровая вселенная, где галактикой 10000 лет правит один император. Прогресса нет. Бесчисленные поколения солдат сражаются одним автоматом. Геройски погибают. Автомат не погибает, он сделан из очень толстого чугуния.

450 0 3 26 22

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

23 Oct, 09:48

Кстати. Если кто не заметил, тут появился хейтер с двумя sockpuppet аккаунтами. Одновременно появляются по три негативных эмоджи под каждым постом.
Но иногда ленится и ставит по два. Призываю не лениться. В этом канале, поведение должно быть консистентным у всех!

674 0 0 63

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

23 Oct, 09:13

660 0 2 1 11

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

23 Oct, 09:13

В догонку, привет из реального мира

637 0 2 10

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

23 Oct, 08:33

То есть, мой посыл тут идёт немного дальше, чем CRDT. Лисповодам и кложуристам привет.

632 0 1 50 10

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

23 Oct, 06:24

Собственно, тут я стараюсь показать на практике, как выглядит моя идея полезной комбинаторики: примитивы должны были ортогональны и свободно комбинироваться !!! без добавления уровней абстракции !!!
А вот межглючные взаимодействия нужно сводить к минимуму.
Комбинаторика первого должна обгонять комбинаторику второго :)

Конкретно же в случае RDX-J мы берем в общем те же примитивы, из которых сделан JSON и делаем на порядок более гибкий, версионированный формат. То есть структурный diff/patch/merge получается практически бесплатно, из определений.

В бинарной TLV версии всё ещё проще.

Подробно - по ссылкам (англ)

librdx/RDXJ.md at master · gritzko/librdx

Replicated Data eXchange format C lib . Contribute to gritzko/librdx development by creating an account on GitHub.

646 1 3 14

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

23 Oct, 03:58

RDX приобретает красивый и формальный вид

librdx/RDX.md at master · gritzko/librdx

Replicated Data eXchange format C lib . Contribute to gritzko/librdx development by creating an account on GitHub.

553 0 1 10

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

13 Oct, 08:29

История сделала круг. Я помню времена до интернета, когда малварь распространялась на дискетках. Оказывается, теперь это супер-пупер трюк для заражения air-gapped/оффлайновых компьютеров. Только на флешках уже, но приёмы те же.

Meet the GoldenJackal APT group. Don’t expect any howls

GoldenJackal is an APT group, active since 2019, that usually targets government and diplomatic entities in the Middle East and South Asia. The main feature of this group is a specific toolset of .NET malware, JackalControl, JackalWorm, JackalSteal, JackalPerInfo and JackalScreenWatcher.

1.2k 0 0 7

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

11 Oct, 18:19

Генерация парсеров в ABC уже нормально так работает. Добавил парсер JSON за два дня. Собственно, грамматика, формат дерева JSON в памяти (простой массив), немного изоленты и всё. Дальше работает мой генератор, потом Ragel. На выходе нечитаемый код парсера, который можно потом скормить ChatGPT для смеху.
И это всё лёгкая разминка перед написанием
парсера RDX (текстового, JSON подобного). В простых случаях RDX-текстовый вообще неотличим от JSON.
Зачем мне нужен RDX-текстовый? Чтобы писать тесты. Много тестов. Очень назрело, тем более что реализации уже две.
Такой вот backtrace.

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

Другая забавная часть (как я провёл лето) это интеграция Ragel в ABC. Там забавность в том, что из одной eBNF грамматики герерируется парсер со всем бойлерплейтом. Бутстрап шаг - это когда лексер парсит свою грамматику (грамматику грамматики) и генерирует сам себя (модуль LEX). Тех, кто развлекается...

988 0 6 12

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

11 Oct, 09:31

В ближайшие недели, я движусь по маршруту Дубай-Ларнака-Тель-Авив. У кого есть мысль выпить кофе, обсудить дела - напишите пожалуйста в приват.

807 0 1 5

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

11 Oct, 09:27

https://news.ycombinator.com/item?id=41805446
Soul breaker сезона - цены на рынке аренды GPU.
Комментировать не буду. Если кто в теме, пишите что думаете.

771 0 1 3 5

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

9 Oct, 05:10

Я лекции через Дискорд с Ютубом веду. Получается уже двойной мощный удар.

915 0 2 7

20 ta oxirgi post ko‘rsatilgan.

719

obunachilar

Kanal statistikasi

Kanalda mashhur

История сделала круг. Я помню времена до интернета, когда малварь распространялась на дискетках. ...

Генерация парсеров в ABC уже нормально так работает. Добавил парсер JSON за два дня. Собственно, ...

Я лекции через Дискорд с Ютубом веду. Получается уже двойной мощный удар.

Я зарекался что то про СВОйну здесь постить. Но уж больно смешно.

В ближайшие недели, я движусь по маршруту Дубай-Ларнака-Тель-Авив. У кого есть мысль выпить кофе,...