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

Fundamental theorem of software engineering: All problems in computer science can be solved by another level of indirection, except for the problem of too many layers of indirection.
Это сказал David Wheeler когда-то в 70-х. Человек сделал карьеру программируя на ассемблере. Мог ли он вообразить, как далеко всё может зайти? (И это ведь ещё не предел).
Но вот нашли SPECTRE и оказалось, что геологические наслоения уровней абстракции и изоляции легко пробиваются, прямо до железа CPU.
Абстракции - это сказки про сказки, которые мы рассказываем сами себе.

Ну и наконец, почему репо называется librdx. Потому что ABC - это побочник. По мере причёсывания кода, основной виновник торжества будет появляться в репе. В частности, из утиля меня там сильно радуют контейнеры. Но, не будем забегать вперёд...

Немного истории ABC. Диалект возник при написании storage engine для RON/RDX. В чём преимущество подхода в данном контексте: ABC контейнеры (типа мапы, векторы) можно в неизменном виде отправлять по сети, маппить на файлы, меркл-хэшить и так далее. То есть контейнер - он сам себе protobuf, сам себе sqlite (немного преувеличу).
Работа в таком формате привела к очевидному выводу: мощь такого комбинирования стоит того, чтобы под неё адаптировать другие части системы.
Другая большая идея - это слайсы и буферы из поинтеров, в этом канале уже обсуждалась. В С, по древности его, слайсов не было, а в C++ их с переменным успехом добавляли, но на двадцать лет позднее чем нужно было.
Короче говоря, я рассчитывал всё привести в порядок за лето, но жизнь сложилась немного по-другому (это я тоже освещал здесь). Тем не менее, буду по-тихому приводить в порядок.

Мои давно анонсированные эксперименты с С кстати давненько на Github валяются. Я сейчас в процессе написания манифеста, фидбек приветствуется.

Есть замечательный подкаст про Local-first, всем рекомендую. В этот раз там был Maximilian Alexander, бывший коллега. Я из Realm отвалился в JetBrains, а они свою компанию стартовали, Ditto. Мне предлагали какой-то процент за участие, но из JetBrains мне уходить не хотелось совсем.
Ну, теперь у них большая контора, продают CRDT энтерпрайзу, от Пентагона подняли гору бабла.
А я участливым девушкам доказываю, что за мной ходят шпионы и что я не псих.
Салтыков-Щедрин. Англичане ружья кирпичом не чистют. Или как говорили в СССР, два мира - два Шапиро.
На этой грустноватой ноте в канале объявляются каникулы до 1 сентября.

Если верить Linus Tech Tips, в Тайване есть неплохой tech mall Guang Ha Digital Plaza, https://www.youtube.com/watch?v=zyUqg2FBO-I

Чемоданное-невероятное

Как лирическое отступление, расскажу-ка ещё недавнюю историю. На дырявом ноуте я всё-таки не могу по психологическим причинам работать почему-то.
Так вот. В прошлом с моими чемоданами случались приключения всякие, поэтому я к поездке в этот раз готовился аккуратно, всё упаковал, перепроверил, коды чемоданов записал. Первый пункт был Бангкок, остановка на ночь, потом рейс BKK DPS на Бали. Чемоданы оставил в гостинице, вышел погулять часа на три. Гостиницу, кстати, бронировал на ходу, уже когда к ней ехал.
Утром, в гостинице, перед выездом в аэропорт, обнаруживаю, что на большом чемодане левый замок открывается любым кодом, а правый моим (записанным) не открывается. Опа. Попробовал так и сяк, не открыл. А чемодан хороший, японский, нареканий не было никогда.
Тем не менее, поехал в аэропорт. С чемоданом, в который не могу заглянуть. Интеллект 90лвл.
В аэропорту открыть чемодан так же не смог, он уехал в багаж, я на самолёт. В аэропорту Бали таможня, прочитав мою фамилию, резко направляет меня на досмотр (одного из огромной толпы). И по рации передают про меня.
Досматривающий хочет посмотреть тот самый чемодан. Второй чем и рюкзак не особо интересуется. Я говорю, открыть не могу, дайте ключ TSA. Он достаёт мастер ключ, открывает.
Наркотиков не нашли в результате. Но я обнаруживаю следующее: после мастер-ключа, замки открываются любым кодом!!!
Через несколько дней у меня дошли руки и я стал лечить чемодан. Левый замок переставил на новый код, правый опять никак не хочет. То есть открывается любым кодом, а менять не позволяет. Я давай перебирать коды 000...999. Замок щёлкнул на 078, повезло. Тут я совсем прифигел. Этот код я использовал в первой половине 2023 на этом самом чемодане, 620078 - это почтовый индекс моего детства. Но с тех пор менял неоднократно и новый на бумажке записанный, совсем другой. Правый - 200.
Тем не менее, удалось сменить код.
У второго же чемодана никаких аномалий не было.
Итого получается, что кто-то зашёл в номер гостиницы в Бангкоке, открыл мой чемодан мастер ключом и выставил на одном замке прошлогодний код.
Ну и, не исключаю, что выдал ориентировку на Бали, что едет наркоторговец. А траву получается сам выкурил. Которую подбросить собирался. Ну, судя по результатам спецоперации.
Вот так и живём два года уже.

В принципе, странноватые истории и раньше были, но не настолько. Один раз я получил этот чемодан из багажа и на замке был код 555. Я предположил, что кто-то перебирал простые коды, но следующую цифру пробовать побоялся :) Другой раз я взял чемодан с ленты, но немного отойдя, решил открыть, проверить. Код не подошёл. Я долго возился, все разошлись уже от ленты. Посмотрел туда - там мой катается, один одинёшенек. И вокруг никого. Посмотрел на этот - они идентичны, Legend Walker одной модели, новые оба, без наклеек. Хорошо до таможни дойти не успел. И жаль, что не догадался изучить бирки багажные.

Но всё равно, в этих двух случаях хотя бы какое-то несложное объяснение было.

P.S. Ну и полностью согласен с мнением, что в TSA замках никакого смысла. Мастер ключи легко достать.

Поскольку мои эксперименты с ABC косоглазые всё равно спиздили, этот проект досрочно переводится в режим open source. Сомневаюсь, что они за этим и приходили. Но я буду ближайший месяц коммитить ABC с прекрасного Бали. Что-то другое трогать не могу (тоже украдут). Выбора, как видите, особо и нет. Не на пляже же лежать среди стройных красавиц. Но если вдруг перестану постить - значит я там :)

ABC - это Algebraic Better C, я про него тут писал чуть ранее неоднократно (6 раз за 2 года). Буду писать гораздо больше. Но опенсорсить буду по-сицилиански, по одному пальцу файлу.

Заодно отвечу на вопрос "как сделать defer в C" (несложно)... ну и на самый интересный вопрос - почему я в 2024 работаю над диалектом C? (Он разве не слышал про ChatGPT?) К ChatGPT это тоже имеет самое прямое отношение.