About this channel
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
Subscriber Growth
Mentioned Channels
Mentioned by
Posts per Week
Разработчики Allure встроили отправку анонимной статистики в отчёты и не написали об этом ни слова в документации, только краткое описание в одном из файлов репозитория Allure. В статистику попадают т…
Авиакомпания из Англии отдала разработку софта для регистрации пассажиров на рейс на аутсорсинг. В стране аутсорсинга слово “miss” использовалось для девочек и в результате все незамужние женщины полу…
Рассказал, как мы тестируем Tarantool https://habr.com/ru/company/vk/blog/584864/
В докладе "О чём я говорю, когда говорю о тестировании корректности работы компиляторов" я рассказывал про один из способов верификации оптимизаций в компиляторах с помощью SMT-солвера. Такой способ и…
CodeDefenders - онлайн-игра, объясняющая принцип работы мутационного тестирования. Перед началом игры нужно выбрать код, представленный классами на Java, и роль, Защитник (Defender) или Атакующий (A…
Reviews
No reviews yet
Be the first to share your experience with this channel.
Rankings
channels / RU| Day | Week | Month | Year | All time | |
|---|---|---|---|---|---|
| Subscribers | — | — | — | — | #52796of 59.8K |
| Mentions | — | — | — | — | #7399of 27.4K |