इस चैनल के बारे में
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टेक्नोलॉजी
द्वारा उल्लिखित
В докладе "О чём я говорю, когда говорю о тестировании корректности работы компиляторов" я рассказывал про один из способов верификации оптимизаций в компиляторах с помощью SMT-солвера. Такой способ и…
Aug 8, 20256.6K3913
Организаторы PHDays выложили запись моего доклада - YouTube, VK Видео, RUTUBE, а я выложил слайды. Доклад приняли хорошо, было много вопросов по существу после доклада и это классно. Я первый раз был…
Jun 6, 20254.7K30
समीक्षाएं
अभी तक कोई समीक्षा नहीं
इस चैनल के बारे में अपना अनुभव साझा करने वाले पहले व्यक्ति बनें।
