Spoločnosť Sony zverejnila správy za finančný rok, ktorý sa skončil 31. marca 2019. Na základe prezentovaných údajov môžeme konštatovať, že napriek miernemu spomaleniu predaja hardvéru PlayStation4 sa samotná konzola stále predáva pôsobivým tempom. V súčasnosti sa celosvetovo predalo 96,8 milióna kópií PS4, čo znamená, že […]
Jeden z najväčších ruských vývojárov, vedecké a technické centrum "Modul", prišiel k navigácii. Doteraz medzi aktíva centra patrili ovládače a mikroprocesory na široké spektrum účelov. Nová oblasť činnosti rozšíri skúsenosti a ponuku ruských vývojárov. Konkrétne sa Modul chystá vstúpiť na trh vysoko presných navigačných zariadení, pričom očakáva, že do roku 2024 zaberie 15 – 18 % tohto trhu v Rusku, […]
Vo výročnej správe, ktorá sa prvýkrát objavila na webovej stránke spoločnosti Intel vo februári tohto roku, spoločnosť z nie celkom zrejmých dôvodov označuje vyvíjané diskrétne grafické riešenie za „prvé vo svojej histórii“, hoci odborníci na vývoj priemyslu si možno pamätajú, že Intel skúšal šťastie s diskrétnymi grafickými kartami v polovici deväťdesiatych rokov minulého storočia. V podstate vývoj diskrétneho grafického riešenia […]
Microsoft raz oznámil, že na ukladanie aktualizačných súborov použije približne 7 GB miesta na pevnom disku používateľa. Výhodou tohto prístupu je, že zaistí, že vám uprostred aktualizácie nedôjde miesto. Nevýhoda je banálna - na lacných tabletoch a notebookoch jednoducho nie je dostatok miesta. Ak bola predtým minimálna požiadavka […]
Podľa môjho názoru nie je v ruskojazyčnom sektore internetu téma formálneho overovania dostatočne pokrytá a chýbajú najmä jednoduché a jasné príklady. Uvediem príklad zo zahraničného zdroja a pridám vlastné riešenie známeho problému prechodu vlka, kozy a kapusty na druhú stranu rieky. Najprv však stručne popíšem, čo je formálne overenie a prečo [...]
Formálne overenie je overenie jedného programu alebo algoritmu pomocou iného. Toto je jedna z najsilnejších metód, ktorá vám umožní nájsť všetky zraniteľné miesta v programe alebo dokázať, že neexistujú. Podrobnejší popis formálnej verifikácie je možné vidieť na príklade riešenia problému vlka, kozy a kapusty v mojom predchádzajúcom článku. V tomto článku som […]
V tomto článku vám poviem, ako používať pinba s clickhouse a grafana namiesto pinba_engine a pinboard. Na projekte PHP je pinba možno jediný spoľahlivý spôsob, ako pochopiť, čo sa deje s výkonom. Je pravda, že pinba sa zvyčajne implementuje iba vtedy, keď sú už pozorované problémy a nie je jasné, „kam kopať“. Často nikto netuší, koľkokrát za sekundu/minútu […]
Toto je krátky príbeh z reálnej praxe, keď sa malý problém, dobre maskovaný chybovosťou, zmení na bolesť hlavy. Malá dispozícia: Malá pobočka, má vlastnú PBX (hviezdička + FreePBX) založenú na desktopovom hardvéri a rovnakom lokálnom terminálovom serveri s 1C, výpisom súborov a virtuálnym RO doménovým radičom. Internet šíri Mikrotik. Konár je malý, to im stačí. Všetko to začalo […]
Toto je druhý zo série týždenných súhrnov o technológiách, ľuďoch a o tom, ako sa navzájom ovplyvňujú. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) o tom, ako vytvoriť harmonický rast produktu v startupe. Skvelé nápady, štatistiky a príklady od najlepších technologických spoločností vo svojom odvetví. Elektronická kniha s 19 stranami, odporúčané čítanie pre každého […]
Projekt TrueOS oznámil testovanie experimentálnych verzií FreeBSD 12-STABLE a FreeBSD 13-CURRENT, ktoré transformujú monolitický základný systém na sadu vzájomne prepojených balíkov. Zostavy sú vyvinuté ako súčasť projektu pkgbase, ktorý poskytuje nástroje na používanie natívneho správcu balíkov pkg na správu balíkov, ktoré tvoria základný systém. Doručovanie vo forme samostatných balíkov vám umožňuje výrazne zjednodušiť proces aktualizácie základných […]
Na oficiálnej Twitterovej stránke Blue Origin sa objavila fotografia lode slávneho prieskumníka Ernesta Shackletona, ktorý študoval Antarktídu. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26. apríl 2019 Fotografia je označená dátumom 9. mája a bez popisu, takže môžeme len hádať, ako je Shackletonova expedičná loď spojená s Jeffovým vesmírom spoločnosť Bezos. Dá sa predpokladať [...]
Nadácia Apache Foundation oznámila, že dokončila prácu na integrácii svojej infraštruktúry s GitHub a migrácii všetkých svojich git služieb na GitHub. Spočiatku boli na vývoj projektov Apache ponúkané dva systémy na správu verzií: centralizovaný systém správy verzií Subversion a decentralizovaný systém Git. Od roku 2014 sú na GitHub spustené zrkadlá úložiska Apache, ktoré sú dostupné v režime iba na čítanie. Teraz […]
