درباره این کانال
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
Russia/Globalفناوری
کانالهایی که این کانال را ذکر میکنند
Разработчики Allure встроили отправку анонимной статистики в отчёты и не написали об этом ни слова в документации, только краткое описание в одном из файлов репозитория Allure. В статистику попадают т…
Sep 23, 202012.8K135
Авиакомпания из Англии отдала разработку софта для регистрации пассажиров на рейс на аутсорсинг. В стране аутсорсинга слово “miss” использовалось для девочек и в результате все незамужние женщины полу…
Apr 10, 202110.3K188
نظرات
هنوز نظری وجود ندارد
اولین نفری باشید که تجربه خود با این کانال را به اشتراک میگذارد.
