La disponibilità (availability) di un sistema, nota anche come “disponibilità di un servizio” (service availability), è una metrica utilizzata comunemente per misurare in maniera quantitativa la resilienza di un sistema,…
Informatica
Alfred Aho e Jeffrey Ullman hanno vinto il Turing Award 2020…
…Per il loro lavoro nei compilatori. Nel processo di costruzione di un software, il compilatore è un tool che prende in input un codice scritto in un linguaggio ad “alto…
Cosa sono e come funzionano le invarianti di ciclo (loop invariants)
Le invarianti di ciclo sono un utile strumento che permette di provare la correttezza e la terminazione di un algoritmo che esegue al suo interno cicli. Seguendo una metodologia di…
Viaggio all’interno di una CPU con il MK1 8bit Computer
Finora ci siamo accontentati di alcune simulazioni software per capire il funzionamento di una CPU. Questi strumenti supportano sia le architetture classiche a 8 bit che quelle più complesse dei…
ACM Digital Library: Accesso gratuito a tutti fino a luglio
Tramite un comunicato stampa pubblicato sul loro sito, l’ Association for Computing Machinery (ACM) ha fatto sapere che ha reso gratuito l’accesso a tutti i contenuti della Digital Library da…
Tre pioneri dell’intelligenza artificiale hanno vinto il Turing Award di quest’anno
Il Turing Award è un premio istituito nel 1996 in onore di Alan Turing, considerato il padre dell’informatica. Il premio, spesso considerato come il Nobel per l’informatica, viene assegnato ogni…
Co-fondatore di Microsoft, Paul Allen, muore di cancro a 65 anni
Paul Allen, co-fondatore della Microsoft, è morto a causa di complicazioni per il linfoma non-Hodgkin, ha fatto sapere Vulcan Inc ieri a nome della sua famiglia. Allen se n’è andato…
Creata una mappa del dark web (spoiler: assomiglia ad un tumore)
L’azienda Hyperion Gray, ha da poco rilasciato un’interessante mappa del Dark Web. E’ una visualizzazione di circa 6,6000 siti web attivi su Tor. Che cos’è il Dark Web? Da non…
Microsoft distribuirà la propria versione di Linux
Microsoft ha annunciato lunedì la tecnologia Azure Sphere, un nuovo sistema di sicurezza per mini processori e dispositivi IoT. La novità è che per rendere operativo questo sistema, Microsoft ha sviluppato…
Data Science – Repository dal mondo #4
Oggi parleremo di Data Science, una scienza relativamente nuova, che è l’incontro di materie come Informatica, Statistica e Matematica. L’obbiettivo primario della “Scienza dei Dati” è di estrarre informazioni da…