Najdłuższy dowód matematyczny w historii

1 czerwca 2016, 09:33

Marijn 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.



Windows Vista Ultimate

Koniec wsparcia dla Visty. Następny w kolejce jest Windows 7

12 kwietnia 2017, 08:50

Zakończyło się wsparcie dla Windows Visty. Użytkownicy tego systemu nie mogą już liczyć na żadne aktualizacje czy poprawki. Microsoft udostępniał je przez ostatnich 10 lat, do 11 kwietnia bieżącego roku


Wzrosty na rynku pecetów przyczyną niedoborów CPU

2 października 2018, 05:44

Intel przerzuca się z producentami pecetów odpowiedzialnością za niedobory na rynku procesorów dla pecetów. W liście otwartym do klientów i partnerów Bob Swan, dyrektor ds. finansowych Intela, który tymczasowo sprawuje funkcję dyrektora wykonawczego, stwierdził, że braki na rynku procesorów wynikają z rosnącej popularności chmur obliczeniowych oraz z niespodziewanego wzrostu popytu na pecety


Na Politechnice Wrocławskiej powstaje opaska monitorująca, co dzieje się w mózgu w czasie urazu

6 maja 2020, 11:34

Lekka silikonowa opaska może być zakładana pod kask w czasie uprawiania sportu. Wynalazek mierzy przyspieszenia działające na głowę człowieka i aktywność elektryczną kory mózgowej. Dzięki niemu od razu wiadomo, co dzieje się w mózgu, gdy dochodzi do upadku albo zderzenia.


„Walrus from Space”, naukowcy szukają ochotników do liczenia morsów na zdjęciach satelitarnych

22 października 2021, 16:06

Majestatyczny mors zagrożony jest przez zmiany klimatu. Specjaliści chcieliby więcej dowiedzieć się o populacji tych zwierząt, by lepiej je chronić. Dlatego też szukają ochotników, którzy pomogą im w liczeniu morsów. Pomóc może każdy, bo nie trzeba wybierać się na daleką północ. Wystarczy komputer i dostęp do internetu, by zarejestrować się na specjalnej platformie i liczyć morsy na zdjęciach satelitarnych.


Pierwsze wrażenia

25 listopada 2006, 10:37

Na temat taniego notebooka dla dzieci z krajów rozwijających się pojawia się coraz więcej informacji. Model OLPC XO jest już produkowany w Chinach, a kilka krajów zdecydowało się przetestować laptopa.


© Jon Sullivan

Naturalne komputery kwantowe

17 kwietnia 2007, 09:15

Biofizycy z Uniwersytetu Kalifornijskiego w Berkeley wykazali, że rośliny wykorzystują obliczenia kwantowe – wnioskowanie na podstawie gęstości prawdopodobieństwa – podczas przeprowadzania fotosyntezy. W ciągu sekundy rośliny na Ziemi absorbują około 1017 dżuli energii.


Sposób na chrapanie

4 października 2007, 08:44

Niemieccy naukowcy opracowali sposób na chrapanie. To... skomputeryzowana poduszka, która tak długo zmienia pozycję głowy śpiącego, aż chrapanie ustanie.


Prace nad zainstalowaniem komputera BlueGene/L

Nvidia celuje w superkomputery

27 lutego 2008, 11:58

Nvidia twierdzi, że za cztery lata aż trzy z pięciu najpotężniejszych na świecie komputerów będzie korzystało z procesorów graficznych, a nie z CPU. Obaj główni producenci GPU – ATI i Nvidia – już od pewnego czasu mówią o wykorzystaniu ich produktów do obliczeń niezwiązanych z przetwarzaniem grafiki.


Wykonanie ludzkie lepsze od komputerowego

9 lipca 2008, 17:06

Czy utwory komputerowe i grane przez człowieka wpływają tak samo na umysł odbiorcy? Wydawałoby się, że skoro melodia jest identyczna, tak właśnie powinno się dziać. Nic bardziej mylnego (PLoS One).


Zostań Patronem

Od 2006 roku popularyzujemy naukę. Chcemy się rozwijać i dostarczać naszym Czytelnikom jeszcze więcej atrakcyjnych treści wysokiej jakości. Dlatego postanowiliśmy poprosić o wsparcie. Zostań naszym Patronem i pomóż nam rozwijać KopalnięWiedzy.

Patronite

Patroni KopalniWiedzy