О канале
9/10Канал ведётся разработчиком из экосистемы Tarantool и охватывает глубокие технические темы: фаззинг-тестирование (syzcaller, libFuzzer, luzer), верификация компиляторов с помощью SMT-солверов (Alive2, smtgcc), статический анализ и формальные методы. Контент включает разборы научных статей, обзоры инструментов (Jepsen, SQLancer), отчёты с конференций (PHDays, Heisenbug, FOSDEM), а также практические кейсы по интеграции тестирования в open-source проекты. Канал ориентирован на профессионалов, занимающихся низкоуровневым программированием, QA и обеспечением корректности сложных систем.
developers, QA engineers, researchers
technical articles, research reviews, conference reports, mixed
regular technical posts, several times per week
neutral
Рост подписчиков
Упомянутые каналы
Упоминают этот канал
Постов в неделю
Разработчики Allure встроили отправку анонимной статистики в отчёты и не написали об этом ни слова в документации, только краткое описание в одном из файлов репозитория Allure. В статистику попадают т…
Авиакомпания из Англии отдала разработку софта для регистрации пассажиров на рейс на аутсорсинг. В стране аутсорсинга слово “miss” использовалось для девочек и в результате все незамужние женщины полу…
Рассказал, как мы тестируем Tarantool https://habr.com/ru/company/vk/blog/584864/
В докладе "О чём я говорю, когда говорю о тестировании корректности работы компиляторов" я рассказывал про один из способов верификации оптимизаций в компиляторах с помощью SMT-солвера. Такой способ и…
CodeDefenders - онлайн-игра, объясняющая принцип работы мутационного тестирования. Перед началом игры нужно выбрать код, представленный классами на Java, и роль, Защитник (Defender) или Атакующий (A…
Отзывы
Отзывов пока нет
Будьте первым, кто поделится мнением об этом канале.
Рейтинги
channels / RU| День | Неделя | Месяц | Год | Всё время | |
|---|---|---|---|---|---|
| Подписчики | — | — | — | — | #50980из 57.8K |
| Упоминания | — | — | — | — | #7129из 26.8K |