Najdłuższy dowód matematyczny w historii
1 czerwca 2016, 09:33Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.
Tropiąc kolor, tworzą muzykę
16 września 2013, 12:16Choć wygląda to na zwykłą dziecięcą zabawę w kolorowanie, została ona ciekawie wzbogacona przez japońskiego projektanta Yuriego Suzukiego. Miniaturowe pojazdy (nazywane ścigaczami koloru, ang. Colour Chasers) podążają wzdłuż czarnej linii, reagując na przecinające ją barwne "maziaje". Dane RGB są przekładane na dźwięk, np. głębokie basy czy sekcję perkusyjną.
