Поздний ночной погружение в рабочие процессы разработки снова — еще один четверг, который растекается в пятницу. Просматривая различные системы доказательств, я тестировал некоторые новые инструменты, которые делают цикл разработки более плавным.

Интерфейс командной строки jstprove действительно впечатляет своей доступностью. Передайте ему модель ONNX, и инструмент автоматически выполнит процесс квантизации, упрощая рабочий процесс генерации доказательств. Это такой инструмент, который устраняет трения в процессе сборки, не упрощая при этом — отличная инженерия во всем.

Такие усовершенствования в опыте разработчика важнее, чем многие думают, особенно при работе со сложными системами доказательств, где каждая оптимизация имеет значение.