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.

L’algoritmo informatico è stato definito dalla giurisprudenza amministrativa (Tar Campania n. 7003 del 2022) come una sequenza finita e ordinata di operazioni di calcolo che permettono di risolvere, ...

Il Tribunale di Roma legittima il licenziamento di una grafica sostituita dall’Intelligenza artificiale. Una decisione che ...

È una goccia, per ora, ma sta scavando a poco a poco nei meandri delle relazioni sindacali. Senza che nessuno scienziato si offenda per la semplificazione, la goccia si chiama algoritmo. Le app nate ...