Firma Sony opublikowała raporty za rok finansowy, który zakończył się 31 marca 2019 r. Na podstawie przedstawionych danych możemy stwierdzić, że pomimo lekkiego spowolnienia sprzedaży sprzętu PlayStation4, sama konsola nadal sprzedaje się w imponującym tempie. Obecnie na całym świecie sprzedano 96,8 miliona egzemplarzy PS4, co oznacza łączną liczbę […]
Do nawigacji przybył jeden z największych rosyjskich programistów, centrum naukowo-techniczne „Moduł”. Do tej pory w majątku centrum znajdowały się kontrolery i mikroprocesory o szerokim zastosowaniu. Nowy obszar działalności poszerzy doświadczenie i ofertę rosyjskich deweloperów. W szczególności Modul zamierza wejść na rynek precyzyjnych urządzeń nawigacyjnych, spodziewając się zająć 2024–15% tego rynku w Rosji do 18 roku, […]
W raporcie rocznym, który po raz pierwszy pojawił się na stronie Intela w lutym tego roku, firma z nie do końca oczywistych powodów nazywa powstające rozwiązanie z oddzielną grafiką „pierwszym w swojej historii”, choć eksperci ds. rozwoju branży być może pamiętają, że Intel próbował szczęścia z dyskretnymi kartami graficznymi już w połowie lat dziewięćdziesiątych ubiegłego wieku. Zasadniczo opracowanie oddzielnego rozwiązania graficznego […]
Microsoft ogłosił kiedyś, że do przechowywania plików aktualizacji będzie wykorzystywał około 7 GB miejsca na dysku twardym użytkownika. Zaletą tego podejścia jest to, że gwarantuje, że w trakcie aktualizacji nie zabraknie miejsca. Wada jest banalna - na niedrogich tabletach i laptopach po prostu nie ma wystarczającej ilości miejsca. Jeżeli wcześniej minimalny wymóg […]
Moim zdaniem w rosyjskojęzycznym sektorze Internetu temat weryfikacji formalnej nie jest wystarczająco omówiony, a zwłaszcza brakuje prostych i jasnych przykładów. Podam przykład z zagranicznego źródła i dodam własne rozwiązanie znanego problemu przeprawy wilka, kozy i kapusty na drugą stronę rzeki. Najpierw jednak krótko opiszę, czym jest weryfikacja formalna i dlaczego [...]
Weryfikacja formalna to weryfikacja jednego programu lub algorytmu przy użyciu innego. Jest to jedna z najpotężniejszych metod, która pozwala znaleźć wszystkie luki w programie lub udowodnić, że one nie istnieją. Bardziej szczegółowy opis weryfikacji formalnej można zobaczyć na przykładzie rozwiązania problemu Wilka, Kozy i Kapusty w moim poprzednim artykule. W tym artykule przedstawię […]
W tym artykule powiem Ci jak używać Pinby z Clickhouse i Grafaną zamiast Pinba_engine i Pinboard. W projekcie PHP pinba jest prawdopodobnie jedynym niezawodnym sposobem zrozumienia, co dzieje się z wydajnością. To prawda, pinba jest zwykle wdrażana tylko wtedy, gdy zaobserwowano już problemy i nie jest jasne, „gdzie kopać”. Często nikt nie ma pojęcia, ile razy na sekundę/minutę […]
To krótka historia z prawdziwej praktyki, kiedy mały problem, dobrze zamaskowany tolerancją na błędy, zamienia się w ból głowy. Mała dyspozycja: Mały oddział, ma własną centralę PBX (gwiazdka + FreePBX) opartą na sprzęcie stacjonarnym i tym samym lokalnym serwerze terminali z 1C, zrzutem plików i wirtualnym kontrolerem domeny RO. Internet dystrybuuje Mikrotika. Gałąź jest mała, to im wystarczy. To wszystko zaczęło się […]
To drugie z serii cotygodniowych podsumowań na temat technologii, ludzi i ich wzajemnego wpływu. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) o tym, jak stworzyć harmonijny wzrost produktów w startupie. Fajne pomysły, statystyki i przykłady od najlepszych firm technologicznych w swoich branżach. Książka elektroniczna licząca 19 stron, lektura zalecana każdemu […]
Projekt TrueOS ogłosił testowanie eksperymentalnych wersji FreeBSD 12-STABLE i FreeBSD 13-CURRENT, które przekształcają monolityczny system podstawowy w zestaw wzajemnie połączonych pakietów. Kompilacje są opracowywane w ramach projektu pkgbase, który zapewnia narzędzia umożliwiające wykorzystanie natywnego menedżera pakietów pkg do zarządzania pakietami tworzącymi system podstawowy. Dostawa w formie oddzielnych pakietów pozwala znacznie uprościć proces aktualizacji podstawowego […]
Na oficjalnej stronie Blue Origin na Twitterze pojawiło się zdjęcie statku słynnego odkrywcy Ernesta Shackletona, który badał Antarktydę. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26 kwietnia 2019 Zdjęcie jest opatrzone datą 9 maja i nie ma opisu, więc możemy się tylko domyślać, w jaki sposób statek ekspedycyjny Shackletona jest połączony z przestrzenią Jeffa firma Bezos. Można założyć, [...]
Fundacja Apache ogłosiła, że zakończyła prace nad integracją swojej infrastruktury z GitHubem i migracją wszystkich swoich usług git do GitHub. Początkowo do rozwijania projektów Apache oferowane były dwa systemy kontroli wersji: scentralizowany system kontroli wersji Subversion i zdecentralizowany system Git. Od 2014 roku na GitHubie uruchomiono lustrzane repozytorium Apache, dostępne w trybie tylko do odczytu. Teraz […]
