precision

A regular radar is like a microphone in a buzzing crowd: individual sounds blend into mush. PiVoT works like a conductor who instantly recognizes each instrument in the tuning chaos. Instead of shuffling through hypotheses, the algorithm tightens a loop around the most likely targets — cars, cyclists, pedestrians.

A tiny ghostly particle zips through a piece of germanium. Usually it leaves no trace, but sometimes, like a billiard ball, it smacks into an atom's nucleus. The nucleus recoils, and that jolt can be detected. At Oak Ridge National Laboratory, the Ge-Mini detector caught such recoils for two years. Neutrinos are the most elusive of known particles.

A team assembling a jigsaw puzzle from random pieces: how many simultaneous moves does it take to complete the picture? If the pieces are independent, they all go down at once. If each piece depends on the previous one, you have to work one at a time. So it is with systems: some states assemble instantly, others require a long sequential effort.

Fog thickens over the line "def max(a: Int, b: Int): Int". What does it do? It returns the larger of two numbers, but how can you verify that? You could write a dozen tests with specific pairs: max(2,3)=3, max(5,5)=5, max(-1,0)=0. Still, a nagging doubt remains: what if it breaks for, say, a million and minus a million?