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.



Zanieczyszczenia środowiska zabijają 9 milionów osób rocznie

19 maja 2022, 11:04

Naukowcy skupieni w organizacji Global Alliance on Health and Pollution z siedzibą w Szwajcarii dokonali ogólnoświatowej oceny wpływu zanieczyszczeń na śmiertelność wśród ludzi. W roku 2019 zanieczyszczenia zabiły około 9 milionów osób. Są więc największym środowiskowym czynnikiem ryzyka przedwczesnego zgonu. Zanieczyszczenia środowiska odpowiadają za 15% wszystkich zgonów na świecie.


Xbox 360 zgodnie z planem

27 października 2006, 10:12

Microsoft poinformował, że sprzedaż konsoli Xbox 360 odbywa się zgodnie z planem. Koncern sprzedał już 6 milionów tego typu urządzeń i uważa, że do końca roku uda mu się sprzedać zakładane 10 milionów sztuk.


Podwójny sonar delfinów

8 czerwca 2011, 10:07

Podczas polowania i do orientowania się w przestrzeni delfiny wykorzystują echolokację. Najnowsze badania szwedzko-amerykańskiego zespołu wskazują, że ssaki te posługują się podwójnym sonarem: zamiast jednego krótkotrwałego ultradźwięku, który odbija się od przeszkód, wysyłają bowiem dwa.


Mikrobiom i włókna pokarmowe zmieniają śluzowy żel w jelitach

15 czerwca 2016, 11:49

Naukowcy z Kalifornijskiego Instytutu Technologii (Caltech) wykazali, że wyściełający przewód pokarmowy śluz zmienia się pod wpływem mikrobiomu i błonnika.


Największa na świecie bryła bursztynu znajduje się w Gdańsku

29 czerwca 2022, 17:31

Muzeum Bursztynu w Wielkim Młynie w Gdańsku ustanowiło rekord Guinessa. Oficjalnie potwierdzono, że w muzealnej kolekcji znajduje się największa na świecie bryła bursztynu. Wczoraj odbyło się oficjalne mierzenie i ważenie bryły, za które odpowiadała grupa certyfikowanych ekspertów, a nad spełnieniem wszystkich wymogów formalnych czuwali przedstawiciele polskiego biura Księgi Rekordów Guinessa.


Sposób na Microsoft

22 listopada 2006, 11:22

Autorzy tworzonej licencji General Public License v.3 (GPL3) planują dodać do niej zapis, który blokowałby porozumienie patentowe pomiędzy Novellem a Microsoftem.


© Mozilla Foundation

Mozilli nie zależy na przedsiębiorstwach

27 czerwca 2011, 12:49

Zakończenie wsparcia dla Firefoksa 4 po zaledwie trzech miesiącach istnienia przeglądarki spowodowało, że na Mozillę spadły gromy z wielu stron. Okazuje się jednak że decyzja o końcu wsparcia nie była przypadkowa. Przedstawiciele firmy oficjalnie stwierdzili bowiem, że skupiają się na klientach indywidualnych, a nie biznesowych.


20 kilogramów ryb na głowę

7 lipca 2016, 13:39

Z danych ONZ wynika, że po raz pierwszy w historii średnia roczna konsumpcja ryb w przeliczeniu na mieszkańca Ziemi przekroczyła 20 kilogramów. Z raportu FAO (Food and Agriculture Organization) dowiadujemy się, że tak duża konsumpcja ryb to wynik udoskonalonej akwakultury oraz zmniejszonego marnotrawstwa


Dzięki beczce sprzed 400 lat inżynier z Quito odtworzył najstarsze piwo Ameryki Południowej

4 sierpnia 2022, 14:23

Pochodzący z browarniczej rodziny ekwadorski bioinżynier Javier Carvajal odtworzył najstarsze piwo Ameryki Południowej. Dokonał tego dzięki drożdżom sprzed 400 lat, które znalazł w starej dębowej beczce.


Jubileusz 75-lecia Polskiej Akademii Nauk