Ученики подарили мне ESP32. В коробке было всё, что обычно: датчик температуры, реле, горсть светодиодов, круглый дисплей и провода, которых, как выяснится позже, всегда не хватает ровно на один. Нормальный человек собирает из этого термостат за вечер. Я собрал термостат, посмотрел на него и…
Я написал верификатор eBPF для микроконтроллера. А потом ядро Linux объяснило мне, где я неправ
Это краткое изложение. Полный текст материала доступен на сайте источника.