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

Інтерфейс командного рядка jstprove дійсно вражає своєю доступністю. Надішліть йому модель ONNX, і інструмент автоматично обробляє процес кільковання, спрощуючи процес створення доведень. Це той тип утиліти, що зменшує тертя у процесі збірки без зайвого спрощення — надійна інженерія з усіх боків.

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