informatica

È morto Corrado Böhm

Uno dei primi informatici, quando la scienza era ancora tutta da costruire [Continua]

Dimostrazioni a conoscenza zero

È possibile convincere qualcuno che noi conosciamo un segreto, senza effettivamente rivelarglielo? A prima vista sembra impossibile, ma esiste un modo per renderlo più che ragionevolmente certo. [Continua]

Gödel, Dio e Repubblica

Ogni tanto leggo un articolo su un quotidiano e mi chiedo perché sia stato pubblicato. I misteri della cosiddetta divulgazione scientifica.

Hash e salting

Due termini informatici che hanno però un qualche aggancio con la matematica

Chi era Alan Turing

Chi era Alan Turing

Il più ammirato precursore dell'informatica, genio della crittografia e perseguitato per la sua omosessualità, era nato cento anni fa e morì avvelenato da una mela

La base -2

La base tre per le operazioni interne di un computer può sembrare un po' esoterica. Ma che mi dite allora della base -2?

Un computer in base 3

Come sapete, i computer lavorano in base 2 e non in base 10. Ma in passato erano state proposte altre basi...

Compressione dati fantastica

Bastano una semplice barra di metallo, una punta di diamante e moooolta precisione, e si possono codificare tutti i documenti che si vuole! Ma nemmeno i file zip sono sempre una panacea.

P != NP (o no?)

Forse è stata dimostrata la congettura più importante nel campo dell'informatica: alcuni problemi sono intrinsecamente difficili. In attesa che la comunità matematica accetti o no la dimostrazione, ecco una spiegazione di qual è il problema.

10 cose su Microsoft

10 cose su Microsoft

L'azienda va matta per la pizza, ha assoldato Brian Eno e deve affrontare un'invasione di conigli: la guida di Mashable