Интересная статья прилетела от @makazone. Чувак из конторы eSpark рассказывает, как они использовали тул TLA+, чтобы найти баги в системе и оптимизировать узкие места. Суть инструмента в том, что на специальном языке (языке программирования, в некотором смысле) описывается система и то, в каких состояниях она должна быть, затем TLA+ гоняет эту модель всеми возможными способами и находит ошибки. Подробности, как всегда, найдешь по ссылке.

#modeling #testing #tool
https://medium.com/espark-engineering-blog/formal-methods-in-practice-8f20d72bce4f

Просьбы о помощи пост.
Моему хорошему другу - прекрасной Оксане - очень нужно выстроить ферму мобильных девайсов для проведения нагрузочного тестирования Wi-Fi сетки в условиях, максимально близких к реальным. Если среди вас или ваших друзей есть те, кто шарит за такие вещи и готов поработать, отзовитесь! :)
За шэр - отдельное и очень большое спасибо.

#help #wifi #testing
https://www.facebook.com/okokawa/posts/10212047953099638