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


Кстати. Руководство по подкидыванию наркотиков а-ля КГБ СССР это...
So‘rovnoma
  •   интересно
  •   не интересно
  •   да все знают, Губермана почитай
134 ta ovoz


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


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


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


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


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


ТРОЙКА 🏴‍☠️ dan repost
На пунктах управления десятков соединений упали трансляции с беспилотников работающие через закрытые комнаты дискорд.

Таким образом отбросив всех на уровень марта 2022 года.

Такого даже хохлы с Америкой сделать не смогли.


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


Очень трудно работать, двигать науку и преподавать, когда за тобой ездит орава обосрышей и ежедневно строит пакости. Серьезные такие пакости.


Video oldindan ko‘rish uchun mavjud emas
Telegram'da ko‘rish


Планирую хорошенько поиграться с RDX и Darwin в этом учебном году




Шнайер прокомментировал события в New York Times, довольно сдержано, в духе "ничего нового" и "никто не в безопасности". Так-то если подумать, вес пороха в патроне ПМ 0.25г, а вес батареи сотового телефона порядка 50г. При том, порох - довольно слабое метательное ВВ. Есть и помощней гораздо.
В кустарных условиях, а равно и не-инвазивно (рентгеном) фиг найдёшь такие закладки. А разбирать аккумулятор и проводить экспертизу лития - ха ха.
Остаётся провенанс. Да и то. Вон в браузере в списке CA находили мутные непонятные организации. А сколько деталек использованы в смартфоне и кто производители - снова ха ха. То есть, провенанс доверяем производителю, используем только бренд. Из своей либо дружественной страны. Который всё равно собирается в Китае. Ха ха.
Если у кого есть идеи - смело пишите!

Вообще, в старом порядке вещей, когда всё покупалось лично в магазине и тем самым рандомизировалось, был присущ естественный такой и бесплатный запас безопасности. В том числе, заменяемые батареи сильно бы облегчили картину. А когда продукт доставлен напрямую заранее известному пользователю - ха ха ха.


Трудно удержаться и не прокомментировать взрывы пейджеров Хезболлы в Ливане. Там батарейка-то не особо большая. Какой у нас есть прибор, подключенный к интернету, с огромной батареей? Вероятно, электромобиль. Это уже целый Шахид.

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

И учитывая, с каким энтузиазмом Китай копирует все новации, уверен и это они уже кинулись осваивать. Такими темпами, им ядерка не нужна уже.

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

1.1k 1 10 22 24

Skiplog потихоньку выкладываю.
За 1% overhead, превращаем любой поток/лог в logN-искаемый.


Небольшая administrativia. У меня увели почтовый аккаунт gritzko@ya.ru, перерегали на другой телефон. Я его использовал для ВУЗовских дел. До того год долбились в ящик на microsoft, который я не использовал никогда.
Но постепенно добрались и до Телеграма и тут начались всякие странности. Поскольку с устройствами у меня беда, я год пользуюсь взломанным телефоном, то просто заранее предупреждаю - если вдруг канал удалится или что-то странное появится, то я ни при чём.
(Куда девать три скомпроментированных ноута - ума не приложу. Выброшу наверное. Причём, цены покупки ноутов в хронологическом порядке: $1400, $700, $400, $170 -- приспосабливаюсь к такой жизни. И это то, что на руках. Два ликвидных давно сбыл. Такие вот приключения за два года.)


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 - это побочник. По мере причёсывания кода, основной виновник торжества будет появляться в репе. В частности, из утиля меня там сильно радуют контейнеры. Но, не будем забегать вперёд...


Другая забавная часть (как я провёл лето) это интеграция Ragel в ABC. Там забавность в том, что из одной eBNF грамматики герерируется парсер со всем бойлерплейтом. Бутстрап шаг - это когда лексер парсит свою грамматику (грамматику грамматики) и генерирует сам себя (модуль LEX).
Тех, кто развлекается написанием компиляторов, такими трюками не удивить, а я только чуть-чуть затянулся :)
В качестве экзампла там сделан на рагеле парсер StrictMark, это единственный диалект Markdown с формальной грамматикой (мой). Флагманский CommonMark грамматики не имеет, т.е. там совместимость парсеров в принципе невозможна.
Собственно, CommonMark сам с собой не совместим в результате - спека продолжает активно меняться уже 10 лет. (Страшная правда о Markdown.)

812 0 5 11 11

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

20 ta oxirgi post ko‘rsatilgan.