Компания Sony опубликовала отчётность за финансовый год, который подошёл к концу 31 марта 2019 года. На основе представленных данных можно сделать вывод о том, что несмотря на некоторое замедление продаж оборудования для PlayStation4, сама консоль всё ещё продаётся с впечатляющей скоростью. На данный момент по всему миру реализовано 96,8 млн копий PS4, а значит общее […]
Un dels desenvolupadors russos més grans, el centre científic i tècnic "Mòdul", va arribar a la navegació. Fins ara, els actius del centre incloïen controladors i microprocessadors per a una àmplia gamma de finalitats. La nova àrea d'activitat ampliarà l'experiència i l'oferta dels desenvolupadors russos. En particular, Modul entrarà al mercat dels dispositius de navegació d'alta precisió, amb l'esperança d'ocupar el 2024-15% d'aquest mercat a Rússia el 18, […]
A l'informe anual, que va aparèixer per primera vegada al lloc web d'Intel el febrer d'aquest any, l'empresa, per raons no del tot òbvies, anomena la solució gràfica discreta que s'està desenvolupant "la primera de la seva història", tot i que els experts en desenvolupament de la indústria poden recordar que Intel va provar sort amb targetes de vídeo discretes a mitjans dels noranta del segle passat. Essencialment, desenvolupar una solució gràfica discreta […]
Microsoft va anunciar una vegada que utilitzaria uns 7 GB d'espai al disc dur de l'usuari per emmagatzemar fitxers d'actualització. L'avantatge d'aquest enfocament és que us garantirà que no us quedeu sense espai enmig d'una actualització. El desavantatge és banal: simplement no hi ha prou espai en tauletes i ordinadors portàtils econòmics. Si abans el requisit mínim […]
Al meu entendre, al sector d'Internet en llengua russa, el tema de la verificació formal no està prou cobert, i hi ha especialment una manca d'exemples senzills i clars. Posaré un exemple de font estrangera, i afegiré la meva pròpia solució al conegut problema de travessar un llop, una cabra i una col a l'altra banda del riu. Però primer, descriuré breument què és la verificació formal i per què [...]
La verificació formal és la verificació d'un programa o algorisme mitjançant un altre. Aquest és un dels mètodes més potents que permet trobar totes les vulnerabilitats d'un programa o demostrar que no existeixen. Es pot veure una descripció més detallada de la verificació formal a l'exemple de resolució del problema del llop, la cabra i la col del meu article anterior. En aquest article vaig […]
En aquest article us explicaré com utilitzar pinba amb clickhouse i grafana en comptes de pinba_engine i pinboard. En un projecte PHP, pinba és potser l'única manera fiable d'entendre què passa amb el rendiment. És cert que pinba sol implementar-se només quan ja s'observen problemes i no està clar "on excavar". Sovint ningú té ni idea de quantes vegades per segon/minut […]
Aquesta és una petita història de la pràctica real, quan un petit problema, ben disfressat per la tolerància a les falles, es converteix en un mal de cap. Disposició petita: una sucursal petita, té la seva pròpia PBX (asterisc + FreePBX) basada en maquinari d'escriptori i el mateix servidor de terminal local amb 1C, un abocador de fitxers i un controlador de domini RO virtual. Internet distribueix Mikrotik. La branca és petita, n'hi ha prou. Tot va començar […]
Aquest és el segon d'una sèrie de resums setmanals sobre tecnologia, persones i com s'influeixen mútuament. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) sobre com crear un creixement harmoniós del producte en una startup. Idees, estadístiques i exemples interessants de les millors empreses tecnològiques del seu sector. Un llibre electrònic de 19 pàgines, lectura recomanada per a qualsevol […]
El projecte TrueOS ha anunciat proves de versions experimentals de FreeBSD 12-STABLE i FreeBSD 13-CURRENT, que transformen el sistema base monolític en un conjunt de paquets interconnectats. Les compilacions es desenvolupen dins del projecte pkgbase, que proporciona eines per utilitzar el gestor de paquets pkg natiu per gestionar els paquets que formen el sistema base. L'entrega en forma de paquets separats us permet simplificar significativament el procés d'actualització de la […]
Una fotografia del vaixell del famós explorador Ernest Shackleton, que va estudiar l'Antàrtida, va aparèixer a la pàgina oficial de Twitter de Blue Origin. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26 d'abril de 2019 La foto té la data del 9 de maig i no hi ha cap descripció, de manera que només podem endevinar com la nau d'expedició de Shackleton està connectada a l'espai de Jeff empresa Bezos. Es pot suposar [...]
La Fundació Apache va anunciar que ha completat el treball per integrar la seva infraestructura amb GitHub i migrar tots els seus serveis git a GitHub. Inicialment, es van oferir dos sistemes de control de versions per desenvolupar projectes Apache: el sistema de control de versions centralitzat Subversion i el sistema descentralitzat Git. Des del 2014, s'han llançat rèpliques dels dipòsits Apache a GitHub, disponibles en mode només de lectura. Ara […]
