Есть такая библиотека json-joy

json-joy is a library that implements cutting-edge real-time and collaborative editing algorithms and utilities for JSON data models, with a focus on developing the JSON CRDT (Conflict-free Replicated Data Type) specification and implementation

https://github.com/streamich/json-joy

И у них в блоге я нашёл пост из 2023 года о том, как с помощью фаззинга они проверяют качество реализации алгоритмов совместного редактирования

Fuzz Testing RGA CRDT
https://jsonjoy.com/blog/fuzz-testing-rga-crdt

Fuzz testing has found dozens of bugs in json-joy RGA CRDT implementation. Some of them were so tricky that I’m not sure if we would have ever found them in reasonable amount of time without fuzz testing. Those bugs would be just sitting there, waiting to be triggered by some edge case, and then they would cause data corruption.

В посте рассмотрено три ситуации

- Fuzzer 1: Simulating two users
- Fuzzer 2: Simulating multiple users
- Fuzzer 3: Simulating multiple users generating all JSON operations, encoding, and decoding

Примеры реалиазации доступны в репозитории

https://github.com/streamich/json-joy/blob/master/src/json-crdt/nodes/bin/__tests__/BinNode.fuzzing.spec.ts#L82

https://github.com/streamich/json-joy/blob/master/src/json-crdt/nodes/str/__tests__/StrNodeFuzzer.ts#L104

Fuzz Testing of JSON CRDT Model
https://github.com/streamich/json-joy/tree/master/src/json-crdt/__tests__/fuzzer

#firejail #bubblewrap #sandbox #osa

Хороший обзор по актуальным песочницам для изоляции приложений и записи логов. Bubblewrap активно использую в настоящее время. Рекомендую.

https://hkubota.wordpress.com/2020/12/31/comparing-sandboxing-tools/

Четверг, а значит время проектов от подписчиков! 🌝

Тем, кто пропустил, что такое четверговые проекты от подписчиков, можно прочитать тут - https://xn--r1a.website/tech_b0lt_Genona/4983

Слово автору @heaveneleven

---

Добрый вечер папищики, представляю на Ваш суд свою студенческую поделку - реализация протокола STAMP на eBPF и Go. STAMP - это протокол, позволяющий замерять сетевую задержку в обе стороны(а не общую туда-обратно, как это делает ping), а eBPF здесь требуется для того, чтобы манипулировать пакетами напрямую в сетевом стеке(на этапе Traffic Control), минимизируя таким образом задержки на процессинг - те метрики, которые вы получите, будут очень близки к реальным.

К Вашим услугам предлагаются:
- Два бинарника - Sender и Reflector:
- Sender отправляет-принимает пакеты и считает эти самые метрики;
- Reflector принимает пакеты от Sender и отправляет их обратно.
- Демка-симуляция на Docker Compose, которая разворачивает два контейнера и демонстрирует принцип работы (бинарники не требуются).

Зачем я это показываю вам? - хочется комментариев на тему "полезно - не полезно, нужно - не нужно". Пока что это просто учебный проект, хоть и прилизанный, но если будет интерес от комьюнити и запросы фич для реальных юзкейсов - быть может, из этой штуки вырастет серьёзная сетевая утилита. Так что если вы его погоняете у себя на своих сетях и скажете мне: "Полезная штука, буду юзать" или "Хорошо бы иметь такую-то фичу" - я буду очень рад и дальше её развивать.

https://github.com/viktordoronin/stamp-bpf

---

Продолжаем анализировать канал ботами.

Прошлый раз - https://xn--r1a.website/tech_b0lt_Genona/5474

В этот раз принёс подписчик

Политический анализ канала
Технологический Болт Генона (@tech_b0lt_Genona)

📍 Диагноз: ЛИБЕРТАРНЫЙ СОЦИАЛИЗМ

💭 Обоснование:
Во всех постах автор продвигает открытое программное обеспечение, совместную работу и децентрализованные инструменты (например, "json‑joy" с CRDT, "Antithesis"‑fuzzing, sandbox‑инструменты, открытый конкурс IOCCC). Он ценит свободу разработки и минимизацию внешнего контроля: «я с удовольствием прочитал всю серию и жду новые посты, тем кто интересуется рекомендую», «Bubblewrap активно использую», «работы должны препятствовать анализу кода, но быть интересными». Такие позиции указывают на левый экономический уклон (поддержка коллективных, открытых проектов) и сильный либертарианский настрой (отрицание авторитарных ограничений). Поэтому наиболее близкой идеологией считается ЛИБЕРТАРНЫЙ СОЦИАЛИЗМ.

@ChanToolsBot

Разработчики библиотеки GNU MP (GMP), предоставляющей функции для выполнения арифметических операций с произвольной точностью, предупредили пользователей об инциденте с повторным выходом из строя процессоров серии AMD Ryzen 9000 на базе микроархитектуры Zen 5 в ходе тестирования работы библиотеки. Предполагается, что повреждение процессоров было вызвано перегревом, возникающим при интенсивном выполнении функций GMP. До завершения полного анализа проблемы пользователям не рекомендовано активно использовать GMP на системах с CPU AMD Zen 5.

Опасения вызваны повторным выходом из строя CPU AMD Ryzen 9950X (AMD Zen5 X16 4300MHz) на сервере в тестовой инфраструктуре проекта. Первый выход из строя произошёл в феврале 2025 года, после чего процессор был заменён по гарантии. В конце августа ситуация повторилась и заменённый по гарантии CPU, установленный в системе с другим блоком питания и другой материнской платой, также перестал функционировать с теми же признаками, свидетельствующими о перегреве (на чипе образовалась обесцвеченная область, диаметром примерно в 1 сантиметр).

По предварительным данным библиотека GMP слишком интенсивно использует циклы с инструкцией MULX, что приводит на системах с AMD Zen 5 к потреблению значительного большей энергии, чем заявлено, и невозможности компенсировать нагрев системой охлаждения, подобранной в соответствии со спецификацией. Во время обоих повреждений выполнялся тест с ручными ассемблерными циклами с одной инструкцией MULX, создающий максимальную нагрузку.

Возможное повреждение CPU AMD Zen 5 при использовании библиотеки GNU MP
https://www.opennet.ru/opennews/art.shtml?num=63786

Оригинал
GMP damaging Zen 5 CPUs?
https://gmplib.org/gmp-zen5

Есть такой проект Ferrocene целью которого является создание Rust для критических систем.

В 2023 году его открыли
https://github.com/ferrocene/ferrocene

> Ferrocene is the upstream Rust compiler, rustc, unmodified - thoroughly tested on targets that are not supported by upstream. It comes with all tools you expect and are accustomed to from using the Rust toolchain. Additionally, it comes with long term support by a team of experts that have being doing Rust since before Rust 1.0.

Qualifying Rust without forking
https://ferrous-systems.com/blog/qualifying-rust-without-forking/

Свои наработки они стараются вливать в апстрим основного репозитория Rust

How Ferrocene improves Rust
https://ferrous-systems.com/blog/how-ferrocene-improves-rust/

Но пост не про сам Ferrocene, а про то они завезли полезную фичу генерации SBOM (Software Bill of Materials)

До относительно недавнего момента существовал один проект для генерации под Rust
https://github.com/CycloneDX/cyclonedx-rust-cargo

И главная его проблема в том, что он до сих пор не поддерживает последнюю версию CycloneDX 1.6
[Feature] Support CycloneDX 1.6
https://github.com/CycloneDX/cyclonedx-rust-cargo/issues/769

Ferrocene задались задачей затащить генерацию SBOM, как кусок cargo

Вот обсуждение pre-RFC
https://internals.rust-lang.org/t/pre-rfc-cargo-sbom/19842

Вот PR RFC в репе Rust
RFC: cargo-sbom
https://github.com/rust-lang/rfcs/pull/3553

После этого был сделан PR с имплементацией, который приняли в феврале этого года
feat: implement RFC 3553 to add SBOM suppor
https://github.com/rust-lang/cargo/pull/13709

> To enable this feature either set the sbom field in the .cargo/config.toml

[unstable]
sbom = true

[build]
sbom = true

https://doc.rust-lang.org/cargo/reference/unstable.html#sbom

Поддерживаемые форматы

--output-format <OUTPUT_FORMAT>
          The SBOM output format. [default: spdx_json_2_3] [possible values: spdx_json_2_3, cyclone_dx_json_1_4, cyclone_dx_json_1_6]

https://crates.io/crates/cargo-sbom

Пост с подробным рассказом что, как и когда контрибутил в этом контексте Ferrocene
SBOM support in Rust
https://ferrous-systems.com/blog/stackable-client/