Sekcja Blog
Moim zdaniem, temat formalnej weryfikacji w rosyjskojęzycznej sieci internetowej jest niewystarczająco eksponowany, a zwłaszcza brakuje prostych i czytelnych przykładów. Podam taki przykład z zagranicznego źródła i uzupełnię własnym rozwiązaniem znanego zadania o przewozie wilka, kozy i kapusty na drugą stronę rzeki. Ale najpierw krótko opiszę, czym jest formalna weryfikacja i po co […]
W tym artykule opowiem, jak używać pinba razem z clickhouse i grafana zamiast pinba_engine i pinboard. W projekcie php pinba - chyba jedyny niezawodny sposób na zrozumienie, co się dzieje z wydajnością. Prawda jest taka, że pinba zazwyczaj jest wdrażana dopiero wtedy, gdy zaczynają się problemy i nie wiadomo, „gdzie kopać”. Często nikt nie ma pojęcia, ile razy na sekundę/minutę wywoływane jest […]
To mała historia z rzeczywistej praktyki, kiedy mały problem, dobrze ukryty za pomocą odporności na awarie, staje się bólem głowy. Krótkie wprowadzenie: Mała filia, posiadająca swoją centralę telefoniczną (asterisk + FreePBX) na bazie sprzętu desktopowego i taki sam lokalny serwer terminalowy z 1C, śmieciami plikowymi i wirtualnym kontrolerem domeny RO. Internet dostarcza Mikrotik. Fila jest mała, to wystarcza. Wszystko zaczęło się […]
Projekt TrueOS ogłosił testowanie eksperymentalnych wersji FreeBSD 12-STABLE i FreeBSD 13-CURRENT, w których monolityczny system podstawowy został przekształcony w zestaw powiązanych ze sobą pakietów. Wersje są rozwijane w ramach projektu pkgbase, który dostarcza narzędzi do korzystania z standardowego menedżera pakietów pkg do zarządzania pakietami tworzącymi system podstawowy. Dostarczenie w formie oddzielnych pakietów umożliwia znaczne uproszczenie procesu aktualizacji systemu […]
Fundacja Apache poinformowała o zakończeniu prac nad integracją swojej infrastruktury z GitHub oraz przeniesieniem na GitHub wszystkich swoich usług git. Początkowo do rozwoju projektów Apache oferowane były dwa systemy kontroli wersji: scentralizowany system zarządzania wersjami Subversion i zdecentralizowany system Git. Od 2014 roku na GitHub uruchomiono lustra repozytoriów Apache, dostępne w trybie tylko do odczytu. Teraz […]
Prezentacja Dell, którą znana holenderska strona wykorzystała do opisania najbliższych planów Intel dotyczących ogłoszenia nowych procesorów, początkowo koncentrowała się na segmencie produktów mobilnych i komercyjnych. Jak słusznie zauważyli niezależni eksperci, harmonogram wprowadzenia nowych produktów Intel w segmencie konsumenckim mógł się różnić, a wczoraj ta teza znalazła potwierdzenie w nowej publikacji na stronie Tweakers.net. Nagłówek slajdu […]
Dyrektor generalny Intel, Robert Swan, podczas ostatniej konferencji kwartalnej częściej wspominał o niedoborze mocy produkcyjnych w kontekście rosnących kosztów oraz przesunięcia struktury asortymentu procesorów w stronę droższych modeli z większą liczbą rdzeni. Takie metamorfizy pozwoliły Intel w pierwszym kwartale zwiększyć średnią cenę sprzedaży procesora o 13% w segmencie mobilnym i […]
Firma Mozilla pracuje nad nową mobilną przeglądarką o nazwie Fenix. W przyszłości pojawi się w Google Play Store, zastępując Firefox na Androida. Ponadto ujawniono szczegóły dotyczące przejścia na nową przeglądarkę. Źródła sieciowe informują, że firma Mozilla podjęła decyzję odnośnie dalszej przyszłości przeglądarki Firefox na Androida i […]
Około 2,24 miliona zapisów z danymi osobowymi, informacjami o zatrudnieniu obywateli Rosji i numerami SNIULS jest dostępnych publicznie. Do takich wniosków doszedł przewodniczący Stowarzyszenia Uczestników Rynku Danych, Iwan Begtin, na podstawie przeprowadzonego badania „Wycieki danych osobowych z publicznych źródeł. Elektroniczne rynki”. W pracy zbadano dane największych elektronicznych rynków w Rosji, wewnątrz […]
Firma Koei Tecmo w raporcie finansowym poinformowała, że wydania bijatyki Dead or Alive 6 na 31 marca 2019 roku wyniosły 350 tysięcy kopii. Ten wynik obejmuje wersje na PC, PlayStation 4 i Xbox One. Dead or Alive 6 trafiła do sprzedaży 1 marca 2019 roku, co oznacza, że osiągnęła tę liczbę w ciągu miesiąca. Nie […]
Tu okresowo publikowane są posty o tym, jak przechowywać i tworzyć kopie zapasowe swoich zdjęć — no i po prostu plików. W ostatnim takim poście napisałem dość długi komentarz, trochę pomyślałem i postanowiłem jednak rozwinąć go w post. Tym bardziej, że nieco zmieniłem metodę tworzenia kopii zapasowej w chmurze, może to komuś się przyda. Domowy serwer, na którym odbywa się wiele z opisanego […]
Dla klimatyzacji w centrach przetwarzania danych najczęściej instalowane są scentralizowane wielostrefowe systemy z maszynami chłodzącymi wodą (chillerami). Są one bardziej efektywne niż klimatyzatory freonowe, ponieważ płyn chłodzący krążący między jednostkami zewnętrznymi a wewnętrznymi nie przechodzi w stan gazowy, a blok sprężarkowo-skraplający chillera uruchamia się tylko w przypadku wzrostu temperatury do określonego poziomu. Jednym z najbardziej zasadniczych pytań przy projektowaniu […]