دقة

يشبه الرادار العادي ميكروفوناً في حشد صاخب: الأصوات الفردية تندمج في فوضى. يعمل PiVoT كمايسترو يميز في لحظة كل آلة موسيقية وسط فوضى الضبط. بدلاً من اختبار الفرضيات، يضيق الخوارزم الحلقة حول الأهداف الأكثر احتمالاً — سيارات، دراجات، مشاة.

جسيم شبح صغير يخترق قطعة من الجرمانيوم. عادةً لا يترك أي أثر، لكنه أحيانًا، مثل كرة البلياردو، يضرب نواة الذرة. ترتد النواة، ويمكن ملاحظة هذه الدفعة. في مختبر أوك ريدج الوطني، التقط كاشف Ge-Mini مثل هذه الارتدادات لمدة عامين. النيوترينوات هي أكثر الجسيمات المعروفة صعوبة في الإمساك بها. تمر مليارات منها عبرنا كل ثانية دون أن تصطدم بأي ذرة. لكن إذا وضعت جهازًا حساسًا جدًا، تصبح الاصطدامات النادرة مرئية.

تخيل فريقًا يجمع لغزًا (puzzle) من قطع عشوائية: كم خطوة متزامنة تحتاج لتكوين الصورة؟ إذا كانت القطع مستقلة، توضع جميعها دفعة واحدة. إذا كانت كل قطعة تعتمد على سابقتها، يجب التحرك واحدة تلو الأخرى. وكذلك الأنظمة: بعض الحالات تُجمع فورًا، وبعضها يتطلب عملًا تسلسليًا طويلًا. المقياس الذي يقترحه المؤلف يُسمى العمق المتوازي.

يتكاثف الضباب فوق السطر «def max(a: Int, b: Int): Int». ماذا يفعل هذا السطر؟ يعيد أكبر رقمين، ولكن كيف يمكن التحقق من ذلك؟ يمكن كتابة عشرات الاختبارات بأزواج محددة: max(2,3)=3، max(5,5)=5، max(-1,0)=0. ومع ذلك يبقى القلق: ماذا لو تعطلت الدالة مع مليون وسالب مليون؟ بدلًا من التحديق في الضباب، يمكن للمطور أن يأخذ بوصلة، وهذه البوصلة تسمى خاصية. الخاصية هي عبارة عن البرنامج يجب أن تكون صحيحة لجميع المدخلات.