Sony a publicat rapoarte pentru exercițiul financiar, care s-a încheiat la 31 martie 2019. Pe baza datelor prezentate, putem concluziona că, în ciuda unei ușoare încetiniri a vânzărilor de hardware PlayStation4, consola în sine se vinde în continuare la un ritm impresionant. În prezent, 96,8 milioane de copii de PS4 au fost vândute în întreaga lume, ceea ce înseamnă că totalul […]
Unul dintre cei mai mari dezvoltatori ruși, centrul științific și tehnic „Modulul”, a venit la navigație. Până acum, activele centrului au inclus controlere și microprocesoare pentru o gamă largă de scopuri. Noua zonă de activitate va extinde experiența și oferta dezvoltatorilor ruși. În special, Modul va intra pe piața dispozitivelor de navigație de înaltă precizie, așteptându-se să ocupe 2024-15% din această piață în Rusia până în 18, […]
În raportul anual, care a apărut pentru prima dată pe site-ul Intel în februarie a acestui an, compania, din motive deloc evidente, numește soluția grafică discretă dezvoltată „prima din istoria sa”, deși experții în dezvoltare din industrie își pot aminti că Intel și-a încercat norocul cu plăci video discrete pe la mijlocul anilor XNUMX ai secolului trecut. În esență, dezvoltarea unei soluții grafice discrete […]
Microsoft a anunțat odată că va folosi aproximativ 7 GB de spațiu pe hard diskul utilizatorului pentru a stoca fișiere de actualizare. Avantajul acestei abordări este că vă va asigura că nu rămâneți fără spațiu în mijlocul unei actualizări. Dezavantajul este banal - pur și simplu nu există suficient spațiu pe tablete și laptopuri ieftine. Dacă anterior cerințele minime […]
În opinia mea, în sectorul de limbă rusă al internetului, subiectul verificării oficiale nu este suficient acoperit și există în special o lipsă de exemple simple și clare. Voi da un exemplu dintr-o sursă străină și voi adăuga propria mea soluție la binecunoscuta problemă a trecerii unui lup, o capră și o varză pe malul celălalt al râului. Dar mai întâi, voi descrie pe scurt ce este verificarea formală și de ce [...]
Verificarea formală este verificarea unui program sau algoritm folosind altul. Aceasta este una dintre cele mai puternice metode care vă permite să găsiți toate vulnerabilitățile dintr-un program sau să demonstrați că acestea nu există. O descriere mai detaliată a verificării formale poate fi văzută în exemplul de rezolvare a problemei lup, capră și varză din articolul meu anterior. În acest articol am […]
În acest articol vă voi spune cum să utilizați pinba cu clickhouse și grafana în loc de pinba_engine și pinboard. Într-un proiect PHP, pinba este poate singura modalitate fiabilă de a înțelege ce se întâmplă cu performanța. Adevărat, pinba este de obicei implementat numai atunci când problemele sunt deja observate și nu este clar „unde să sape”. Adesea nimeni nu are idee de câte ori pe secundă/minut […]
Aceasta este o scurtă poveste din practică reală, când o mică problemă, bine deghizată de toleranța la greșeli, se transformă într-o bătaie de cap. Dispoziție mică: O sucursală mică, are propriul PBX (asterisc + FreePBX) bazat pe hardware desktop și același server terminal local cu 1C, un dump de fișiere și un controler de domeniu virtual RO. Internetul distribuie Mikrotik. Ramura este mică, e suficient pentru ei. Totul a început […]
Acesta este al doilea dintr-o serie de rezumate săptămânale despre tehnologie, oameni și modul în care aceștia se influențează reciproc. Andy Jones (fost Wealthfront, Facebook, Twitter, Quora) despre cum să creați o creștere armonioasă a produselor într-un startup. Idei interesante, statistici și exemple de la cele mai bune companii de tehnologie din industriile lor. O carte electronică de 19 pagini, lectură recomandată oricui […]
Proiectul TrueOS a anunțat testarea versiunilor experimentale ale FreeBSD 12-STABLE și FreeBSD 13-CURRENT, care transformă sistemul de bază monolitic într-un set de pachete interconectate. Compilările sunt dezvoltate în cadrul proiectului pkgbase, care oferă instrumente pentru utilizarea managerului de pachete pkg nativ pentru a gestiona pachetele care alcătuiesc sistemul de bază. Livrarea sub formă de pachete separate vă permite să simplificați semnificativ procesul de actualizare a […]
O fotografie a navei celebrului explorator Ernest Shackleton, care a studiat Antarctica, a apărut pe pagina oficială de Twitter Blue Origin. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26 aprilie 2019 Fotografia are legendă cu data 9 mai și nu există nicio descriere, așa că putem doar ghici cum este conectată nava de expediție a lui Shackleton la spațiul lui Jeff compania Bezos. Se poate presupune [...]
Fundația Apache a anunțat că a finalizat lucrările privind integrarea infrastructurii sale cu GitHub și migrarea tuturor serviciilor sale git la GitHub. Inițial, pentru dezvoltarea proiectelor Apache au fost oferite două sisteme de control al versiunilor: sistemul centralizat de control al versiunilor Subversion și sistemul descentralizat Git. Din 2014, oglinzile de depozit Apache au fost lansate pe GitHub, disponibile în modul doar citire. Acum […]
