Společnost Sony zveřejnila zprávy za finanční rok, který skončil 31. března 2019. Na základě prezentovaných dat můžeme dojít k závěru, že i přes mírné zpomalení prodeje hardwaru PlayStation4 se samotná konzole stále prodává impozantním tempem. V současné době se celosvětově prodalo 96,8 milionů kopií PS4, což znamená, že celková […]
K navigaci přišel jeden z největších ruských vývojářů, vědecké a technické centrum "Modul". Do majetku centra doposud patřily řadiče a mikroprocesory pro širokou škálu účelů. Nová oblast činnosti rozšíří zkušenosti a nabídku ruských vývojářů. Konkrétně se Modul chystá vstoupit na trh vysoce přesných navigačních zařízení, přičemž očekává, že do roku 2024 bude v Rusku obsazovat 15–18 % tohoto trhu, […]
Ve výroční zprávě, která se poprvé objevila na webu Intelu v únoru tohoto roku, společnost z ne zcela zřejmých důvodů nazývá vyvíjené diskrétní grafické řešení „prvním ve své historii“, i když odborníci na vývoj v oboru si možná pamatují, že Intel zkusil své štěstí s diskrétními grafickými kartami již v polovině devadesátých let minulého století. V podstatě vývoj řešení diskrétní grafiky […]
Microsoft jednou oznámil, že k ukládání aktualizačních souborů použije asi 7 GB místa na pevném disku uživatele. Výhodou tohoto přístupu je, že zajistí, že vám uprostřed aktualizace nedojde místo. Nevýhoda je banální - na levných tabletech a noteboocích prostě není dostatek místa. Pokud byl dříve minimální požadavek […]
Podle mého názoru není v ruskojazyčném sektoru internetu téma formálního ověřování dostatečně pokryto a zejména chybí jednoduché a jasné příklady. Uvedu příklad ze zahraničního zdroje a přidám vlastní řešení známého problému přechodu vlka, kozy a zelí na druhou stranu řeky. Nejprve ale stručně popíšu, co je formální ověřování a proč [...]
Formální ověření je ověření jednoho programu nebo algoritmu pomocí jiného. Jedná se o jednu z nejúčinnějších metod, která vám umožní najít všechna zranitelná místa v programu nebo prokázat, že neexistují. Podrobnější popis formální verifikace je vidět na příkladu řešení problému Vlk, Koza a Zelí v mém předchozím článku. V tomto článku jsem […]
V tomto článku vám řeknu, jak používat pinbu s clickhousem a grafana místo pinba_engine a pinboard. Na projektu PHP je pinba možná jediný spolehlivý způsob, jak pochopit, co se děje s výkonem. Je pravda, že pinba se obvykle implementuje pouze tehdy, když jsou již pozorovány problémy a není jasné, „kam kopat“. Často nikdo netuší, kolikrát za sekundu/minutu […]
Jde o krátký příběh z reálné praxe, kdy se malý problém, dobře maskovaný chybovostí, změní v bolest hlavy. Malá dispozice: Malá pobočka, má vlastní PBX (hvězdička + FreePBX) založenou na desktopovém hardwaru a stejném lokálním terminálovém serveru s 1C, výpisem souborů a virtuálním RO doménovým řadičem. Internet šíří Mikrotik. Větev je malá, to jim stačí. Všechno to začalo […]
Toto je druhý ze série týdenních přehledů o technologiích, lidech a jejich vzájemném vlivu. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) o tom, jak vytvořit harmonický růst produktu ve startupu. Skvělé nápady, statistiky a příklady od nejlepších technologických společností v jejich odvětvích. Elektronická kniha o 19 stranách, doporučená četba pro každého […]
Projekt TrueOS oznámil testování experimentálních sestavení FreeBSD 12-STABLE a FreeBSD 13-CURRENT, které transformují monolitický základní systém na sadu vzájemně propojených balíčků. Sestavení jsou vyvíjena jako součást projektu pkgbase, který poskytuje nástroje pro použití nativního správce balíčků pkg ke správě balíčků tvořících základní systém. Doručování ve formě samostatných balíčků vám umožňuje výrazně zjednodušit proces aktualizace základních […]
Na oficiální twitterové stránce Blue Origin se objevila fotografie lodi slavného průzkumníka Ernesta Shackletona, který studoval Antarktidu. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26. dubna 2019 Fotografie je označena datem 9. května a chybí popis, takže můžeme jen hádat, jak je Shackletonova expediční loď spojena s Jeffovým vesmírem společnost Bezos. Dá se předpokládat [...]
Apache Foundation oznámila, že dokončila práci na integraci své infrastruktury s GitHub a migraci všech svých git služeb na GitHub. Zpočátku byly pro vývoj projektů Apache nabízeny dva systémy správy verzí: centralizovaný systém správy verzí Subversion a decentralizovaný systém Git. Od roku 2014 byla na GitHubu spuštěna zrcadla úložiště Apache, která jsou k dispozici v režimu pouze pro čtení. Nyní […]
