…Per il loro lavoro nei compilatori. Nel processo di costruzione di un software, il compilatore è un tool che prende in input un codice…
Informatica
Informatica
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…
Informatica
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…
Informatica
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…
Informatica
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…
Informatica
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…
Informatica
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…
Annunci
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…
Informatica
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…
Informatica
Bitcoin, criptovalute e blockchain – Repository dal mondo #3
Bitcoin, Ethereum, criptovalute, blockchain…sicuramente in questi giorni avrete sentito parlare di questi argomenti. Sono talmente importanti, che sono riusciti a valicare il confine del…