Kafka Connect без магии: как переносить данные и не писать еще один сервис +1
Публикации с тегом smt
Робот справится не со всем: как устроен выводной монтаж серверных плат +5
Прикладные аспекты подбора сопел SMD-установщика -2
Решаем задачу про ферзей при помощи SMT-солвера +6
Голова на подушке, попкорн и песочные часы: какие дефекты можно встретить при рентген-контроле качества печатных узлов +35
Умножение матриц и SMT – почему бы и нет? +23
Два потока, одно ядро: как устроена одновременная многопоточность
Формальные методы проверки смарт-контрактов
Использование скрытого потенциала: как я активировал Intel AMT на мини-ПК от HP и получил удаленный доступ +84
Парсим строки с SMT-решателем +20
Бэкдор АНБ в карманном телексе 1984 года — история повторяется +30
Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python +8
Формальная верификация на примере задачи о волке, козе и капусте +27
