La morte di Tony Hoare riapre il confronto sul suo lascito: Quicksort, null reference, Hoare logic e CSP. Un percorso che ha cambiato algoritmi, tipi e verifica del software.

Le attinenze vengono individuate non solamente per forme e colori, ma anche per temi e significato. L'algoritmo è stato usato per abbinare opere del Metropolitan Museum of Art e del Rijksmuseum I ...