الغوص مرة أخرى في سير عمل التطوير في وقت متأخر من الليل—يوم خميس آخر يتسرب إلى يوم الجمعة. أثناء مراجعة أنظمة الإثبات المختلفة، كنت أختبر بعض الأدوات الأحدث التي تجعل دورة التطوير أكثر سلاسة.

واجهة سطر الأوامر jstprove حقًا مثيرة للإعجاب من حيث مدى سهولة الوصول إليها. أدخل نموذج ONNX، ويتولى الأداة عملية التكميم تلقائيًا، مما يبسط سير عمل إنشاء الإثباتات. إنها نوعية من الأدوات التي تزيل الاحتكاك من عملية البناء دون تبسيط الأمور بشكل مفرط—هندسة قوية في كل مكان.

هذه الأنواع من التحسينات في تجربة المطورين مهمة أكثر مما يدرك الناس، خاصة عند العمل مع أنظمة إثبات معقدة حيث كل تحسين يُعد مهمًا.