sergeyb

Sergey Bronnikov/Сергей Бронников Разработчик в Tarantool, ex-Parallels, ex-Virtuozzo, ex-Kaspersky, ex-PostgresPro.Пишу обо все, что мне интересно. Из области интересов: велосипед, бокс, лёгкая атлетика, планеризм, приготовление шоколада, инженерные практики в разработке ПО, рандомизированное тестирование (фаззинг, тестирование с помощью свойств), формальная спецификация и формальная верификация. На тему тестирования ПО пишу в телеграм - https://t.me/sqaunderhood

Делай добро и бросай его в воду.

Public Key

npub1h8sjyz65wdwkpaqexmg05k4pet989nsxyllsfz7jcshdsq88z57sjdkugq

NIP-05 Address

sergeyb_at_honk.bronevichok.ru@mostr.pub

Profile Code

nprofile1qqstncfzpd28xhtq7svnd586t2su4jnjecrz0lcy30fvgtkcqrn320gapxjsl

Author Public Key

npub1h8sjyz65wdwkpaqexmg05k4pet989nsxyllsfz7jcshdsq88z57sjdkugq

Show more details

Last Notes

2025-05-21 09:40:39

Часто обсуждают слежку в Телеграме и то, что руководство Телеграма могло поделиться "ключами" для расшифровки сообщений с правительствами разных стран. А почему те, кому есть что скрывать, не могут при желании использовать Телеграм только как транспорт и шифровать сообщения с помощью отдельного механизма, того же PGP, например? То есть использовать Телеграм так же, как некоторые используют SMTP/IMAP и сообщения шифруют с PGP.

2025-05-07 12:04:32

typos - спеллчекер для кода. Работает чуть быстрее codespell, большей возможностей для конфигурирования. Но меня смутило количество зависимостей при сборке - 170 пакетов.
Cравнение с codespell и другими спеллчекерами @nprofile…t45s.
@nprofile…exjh

2025-04-23 11:22:08

Залил пулл-реквест, который мне принесли ровно 6 (шесть) лет назад.
@nprofile…kjjy

2025-04-20 12:22:02

Буду в этом году на PHD с докладом "Фаззинг как основа эффективной разработки на примере LuaJIT".

2025-04-20 06:01:06

FSFE продвигает федеративные соцсети среди чиновников - @nprofile…l0aw. В России тоже не помешало бы этим заняться. В репозитории с исходниками есть файлы локализации, может сделать перевод на русский язык? @nprofile…m43t

2025-04-19 10:23:36

Интересная штука: в сторис телеграма нельзя сохранять видео, если у тебя нет премиум аккаунта. Но если поделиться с кем-то этой сторис, то видео можно сохранить из сообщения.
Баг или фича?

2025-04-17 21:12:07

Вспомнилась любовь соотечественников к "алкогольным" названиям: файловая система POHMELFS и система для учета трафика Cnupm.
1. @nprofile…awwy
2. @nprofile…cw58

2025-04-15 09:12:49

Станция Спортивная, а ты нет.
Директор исполнительный, а ты нет.
Сортировка придурковатая, а ты нет.
@nprofile…75lu

2025-04-14 21:19:01

Google опубкиковал мануал по промпт инженерингу на 68 страниц – в нем все существующие стратегии составления промптов:
@nprofile…zl6e

2025-04-12 17:23:04

А русскоязычных инстансов Lemmy [1] не существует, да?
1. @nprofile…6uru

2025-04-12 13:12:44

Переживаю из-за того, что Li-ion аккумуляторы могут взорваться дома, когда никого нет. Почитал про это и получается причины и техника безопасности следующие:
Основных причин возгораний три: перезаряд, перегрев, мех. повреждение.
По это причине, простейшее ТБ:
-заряд лития только под присмотром
-после мех. воздействия проверить на деформацию и проконтролировать что не пойдет реакция (может и через день надуться)
-ну и конечно, беречь от жары

2025-04-12 09:24:40

Иногда составление генеалогического древа и поиск информации о родственниках позволяет узнать интересное.
Сегодня День космонавтики, в этот день в 1961 году Юрий Гагарин впервые в мире совершил орбитальный облёт планеты Земля. Двоюродный брат моей бабушки возглавлял пресс-службу Центра управления полётами, освещал первый полёт Гагарина в космос и даже при встрече лично жал ему руку, освещал первый и единственный полёт Орбитального космического корабля многоразового использования "Буран" в 1988 году.
Вот как он 12 апреля 2009 года @nprofile…m508, как поздравят космонавтов, которые находились в тот день в космосе:
"Для космонавтов запланированы три сеанса связи из подмосковного ЦУПа, ожидаются друзья, родственники и руководители ракетно-космической отрасли. Все они будут поздравлять экипаж. На борту станции у космонавтов будет праздничный ужин, в ходе которого они символически поднимут тубы с соком, потому что более крепкие напитки на МКС отсутствуют", - сказал официальный представитель Центра управления полетами Валерий Лындин.
Как мы встречали Гагарина и сорвали регламент первомайской демонстрации, @nprofile…w8tt
Мои встречи с Гагариным, @nprofile…lagz

2025-04-11 21:13:47

Хех, а Truth Social недоступна из России.

2025-04-06 12:43:30

Рылся в старых закладках и нашел прикольный проект - репозиторий с набором shell-скриптов, чтобы детям проще было консолью в Linux пользоваться.
@nprofile…6x42

2025-04-04 18:19:18

Постмортем от Яндекса по итогам анализа причин отключения энергоснабжения в датацентре.
Инцидент был вызван двойным отказом по питанию из-за сбоя на городской высоковольтной подстанции, питающей ряд областных и промышленных объектов, включая дата-центр Яндекса.
@nprofile…uwsh

2025-03-23 05:43:54

Есть OpenSSF scorecard [1], набор метрик для проекта.
1. @nprofile…wg25

2025-03-16 11:20:08

У меня скопилось уже более нескольких сотен видео в "Посмотреть позднее" на ютубе. Многие видео все еще хочется посмотреть, но нет такого количества времени. Нашел distill-cli, которая позволяет транскрибировать видео и аудиофайлы. Она зависит от амазоновского сервиса
Amazon Transcribe, но то, что можно из консоли ее использовать существенный плюс.
@nprofile…jzhz

2025-03-08 18:49:41

Цитата в духе «640 Кб должно быть достаточно для каждого», авторство которой приписывается Биллу Гейтсу:
Итак, 1980 год, мы, переполненые желанием всем рассказать и показать как это здорово — микропроцессор и компьютер, — начали тыкаться повсюду.
...
Навсегда запомню невообразимую руководящую мудрость. Дословно: «Ребята, хватит заниматься ерундой. Персонального компьютера не может быть. Могут быть персональный автомобиль, персональная пенсия, персональная дача. Вы вообще знаете, что такое ЭВМ? ЭВМ это 100 квадратных метров площади, 25 человек обслуживающего персонала и 30 литров спирта ежемесячно!»
@nprofile…6ugy

2025-03-07 12:51:29

ThinkPad T14s Gen 6 (Snapdragon X Elite) review: Not quite as quiet as you hope it is
@nprofile…fslh
OpenBSD/arm64 on the Lenovo ThinkPad T14s G6
@nprofile…st35
Если кратко: из устройств работают только NVMe SSD, trackpoint, trackpad и USB. Драйвер для беспроводного чипа в разработке с августа 2024 года. Всё остальное не работает.
@nprofile…dcep

2025-03-07 10:51:04

Собрался посмотреть второй бой Бивола с Бетербиевым, вбил в поисковую строку в Ютубе, а там вся выдача с роликами комментаторов и самом бое. Найти видео боя оказалось непростой задачей. Как это вообще работает? Кажется, что видео самого боя должно быть в топе по показам по сравнению с роликами комментатором или видео с нарезкой.
@nprofile…smcs

2025-03-05 16:51:53

X-Mras: Ok
Да, Mail.Ru Antispam добавляет такой заголовок.

2025-03-04 19:02:08

TIL: В Андроиде есть встроенная возможность писать азбукой Морзе, используя только точки и тире.
@nprofile…xj9v
@nprofile…k4j0 @nprofile…pmtn

2025-02-23 13:39:48

Типичная задача из советского учебника по арифметике.
https://honk.bronevichok.ru/d/G85S447jHMRthP65wQ7Cy.jpg

2025-02-20 10:31:53

Проект holidata.net распространяет данные о национальных праздниках под лицензией Creative Commons:
[0] ~ $ curl -s https://holidata.net//ru-RU/2025.json | jq '.date + " " + .description'
"2025-01-01 Новый Год"
"2025-01-07 Рождество Христово"
"2025-02-23 День защитника Отечества"
"2025-03-08 Международный женский день"
"2025-04-20 Пасха"
"2025-05-01 Праздник весны и труда"
"2025-05-09 День Победы"
"2025-06-12 День России"
"2025-11-04 День народного единства"

2025-02-19 07:21:53

Фаззинг-тесты, которые мы изначально делали для нашего форка LuaJIT,
используются для непрерывного фаззинга оригинального проекта LuaJIT и
интерпретатора PUC Rio Lua. Результат двухлетней работы: 6 багов в PUC Rio Lua, превентивно найденные до релиза, и 23 бага в LuaJIT. Всё были исправлены. Использование одних и тех же тестов для разных проектов оказалось возможным благодаря тому, что PUC Rio Lua и LuaJIT предоставляют один и тот же Lua C API.
Если в этих проектах получилось успешно использовать фаззинг, то было бы здорово применить их и для другого Lua рантайма, подумал я.
Для Go есть популярный среди гоферов проект - GopherLua, это реализация Lua на Go. Для проекта написано много расширений, которые добавляют функциональность со стороны Lua. В Go есть встроенный тулинг для написания фаззинг-тестов: нужно всего лишь написать обёртку для функции, собрать специальной командой и вообщем-то всё. Но я не знаю про аналог libprotobuf-mutator в Go (гоферы, подскажете?). Поэтому сделать фаззеры для GopherLua с неструктурированными данными проще простого, а чтобы фаззинг-тест генерировал структурированные валидные данные я не смог найти решения.
Я решил попробовать изобразить из GopherLua библиотеку с Lua C API, чтобы эту библиотеку можно было скомпоновать с моими тестами и переиспользовать фаззинг для Lua применительно к GopherLua. Для интеграции Go с C есть cgo, который предоставляет возможность использования C-библиотек в Go и экспорта Go функций в интерфейс C (генерация заголовочного файла). Если кратко, то LuaJIT C FFI мне показался удобнее, чем использование cgo. Из того, с чем я столкнулся:
В cgo нельзя указать макросы, чтобы потом эти макросы оказались в сгенерированом заголовочном файле. Поэтому часть макросов из lua.h пришлось принести в сам тест.
в Go нельзя никак указать, что функция не принимает аргументов, чтобы в заголовочном файле у функции в параметрах был void. На эту тему есть тикет и вроде даже патч.
В Lua C API каждая функция первым аргументом принимает указатель на L, структуру, описывающую Lua стек. Я не придумал, как возвращать из Go/cgo эту структуру, поэтому мой модуль может работать с единственной копией стека. Но для моих целей этого достаточно.
В результате этой работы можно собрать тест, который по грамматике генерирует программы на Lua и исполняет их в GopherLua. Правда не все программы исполняются одинаково успешно и иногда случаются проблемы работы с памятью (runtime error: invalid memory address or nil pointer dereference).
@nprofile…p4dw @nprofile…0zhc

2025-02-17 14:04:10

Долго оттягивал переезд с Ubuntu 22.04 на 24.04. Несмотря на то, что использую только LTS, багов всё равно хватает. На выходных обновился, обновление прошло без проблем, только устройство вывода звука почему-то неправильно определилось по умолчанию. Ещё в 24.04 система как будто стала меньше ресурсов потреблять.
@nprofile…saun @nprofile…har9

2025-02-09 20:03:01

Нашел на районе интересный светофор: включается зеленый с отсчетом от 6 до 0, потом отсчет от 8 до 1 и потом уже переключается на красный. Выглядит нетипично для остальных светофоров и к тому же немного непредсказуемо для тех, кто не знает эту особенность.

2025-01-24 16:05:25

тоже хочу такое лето, чтобы после него проекты привести в порядок
https://honk.bronevichok.ru/d/G8V31K3ftRjf2BvPW2x4K.jpg

2025-01-14 16:53:01

Я в прошлом году написал пропозал для реализации хука в Lua и для контекста описал реализации сбора обратной связи в фаззерах для Java, Python, Ruby и Javascript. Пропозал не вызвал большого интереса ни в сообществе, ни у авторов Lua, зато люди теперь говорят спасибо за сравнение реализаций фаззеров o_O
@nprofile…znqt
@nprofile…p4dw

2025-01-14 13:09:42

- reply

@nprofile…u66e у меня не так много данных: все снапшоты в restic в сумме занимают 0.5 Тб, плюс архив семейных фотографий максимум 0.5 Тб.
Или ты хочешь бекапить мало, но руками, а потом брать и класть кассетку на полочку не дома?
Скорее да, на LTO только изредка, а частые бэкапы оставить в S3.

2025-01-14 12:42:35

Уже не первый раз смотрю стример (ленточный накопитель) для резервных копий дома, чтобы, например в схеме «Дед-отец-сын» делать полную копию раз в месяц на ленточный накопитель. Сейчас для резервных копий использую только S3 и хочется добавить надёжности.
Сам стример можно купить по демократичной цене, кассеты для него тоже недорогие. Какие есть подводные камни? Пишут, что если нет PCIe, то подключить будет непросто [5].
Из плюсов вижу такие:
дешевизна
если использовать Unix, то тулинг встроен [1][2][3][4]
долговечность
надежность
1. @nprofile…zwsc
2. @nprofile…2fw7
3. @nprofile…a69r
4. @nprofile…rqww
5. @nprofile…hkw2

2025-01-13 11:45:07

Таблица сравнения self-hosted ПО для управления фотографиями (Piwigo, Photoprism, Immich etc).
@nprofile…ahr9

2025-01-12 06:27:35

Белорусы до сих пор делают часы Электроника
@nprofile…7rc6
https://honk.bronevichok.ru/d/G8Gw1p97h2nPCSdYglk1d.jpg

2024-12-30 09:08:53

Sixel крутая штука! Особенно когда несколько картинок или фотографий надо посмотреть. Но под tmux на Ubuntu 22.04 почему-то не заработало.
Список терминалов, которые поддерживают Sixel, впечатляет - @nprofile…ht40

2024-12-27 07:39:37

Продвинутая версия ELLO 2M2 содержит процессор PIC32MZ-EF и позволяет установить операционную систему LiteBSD.
Где бы теперь найти ELLO 2M, потому что цитата из новости 2016 года.
@nprofile…9qhq

2024-12-26 17:45:53

А вы используете CodeQL для стат. анализа? Мы в Tarantool (в проекте в основном C и C++) вкрутили его в CI несколько лет назад и выглядит так, что пользы от него не очень много.

2024-12-18 18:38:29

Rclone - популярный инструмент для работы для управления файлами в облачных хранилищах. В статье инженеров Ozon Tech интересное про rclone:
Раньше при необходимости смигрировать бакет из одного кластера в другой мы использовали Rclone. Rclone — консольная утилита для копирования данных из одного источника в другой со всеми вытекающими из этого недостатками:
нет observability, есть только текстовые логи. Нельзя централизованно посмотреть статус миграции и какой процент данных уже переехал;
нет готовой автоматизации для запуска, нужно писать скрипты, которые сначала копируют бакет, а потом проверяют, что данные действительно доехали;
сложно интегрировать в нашу S3-инфраструктуру, например, чтобы из скриптов переключать fallback-маршруты;
для S3 работает не очень эффективно — Rclone сначала полностью листит бакет в оперативную память (и хранит в виде xml-структур, из-за чего потребляет много памяти) и только потом начинает переносить объекты, хотя можно было бы это делать параллельно. Для больших бакетов на десятки миллионов объектов это сильно затягивается, вспомним ещё, что для RGW листинг больших бакетов — дорогая операция. На этапе сверки Rclone опять листит бакет, но теперь ещё и в целевом кластере;
нет возможности поставить миграцию на паузу и потом продолжить с того же места. Аналогично нельзя изменить количество воркеров у запущенной миграции, можно только остановить и начать сначала, и Rclone будет листить весь бакет заново;
столкнулись с багами, например, Rclone не умеет копировать объекты с ключами с двумя слэшами вида some//dir/object, миграция такого объекта просто завершается с ошибкой.
И это более-менее актуально, статья от 3 июня 2024 года.
Источник: @nprofile…gqwc

2024-09-26 17:20:20

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

2024-05-24 20:26:42

Давно не пользовался Google Fit. Приложение теперь умеет измерять пульс и частоту дыхания с помощью камеры.

2023-09-11 05:13:32

The AWK Programming Language, Second Edition has been published on Sep 10, 2023.@npub1qfc…qx8p