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

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

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

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.
Абстракции - это сказки про сказки, которые мы рассказываем сами себе.

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

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

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

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

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

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

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

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

А про безопасность автомобилей, кто не видел - в прошлом году молодёжь порезвилась с удалённым управлением и прочим, почитайте. Там всё дыряво, если вкратце.

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

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

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

На пунктах управления десятков соединений упали трансляции с беспилотников работающие через закрытые комнаты дискорд.

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

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

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

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

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

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

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

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

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

Пример. JSON овский объект {“key”:123} декомпозируем в два ортогональных типа, set {1,2,3} и tuple “key”:123. И Map тогда получается, как множество пар. На сдачу мы можем теперь иметь чистые tuples (кортежи) и sets (множества) и произвольным образом это всё комбинировать. Кортежи могут быть произвольной ширины, 7.25:EUR или Иван:Петров:2002:МТ305. Кладём такие широкие tuples в массив, получаем реляционную таблицу, и так далее.

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

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

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