Sony publicou os informes do exercicio, que rematou o 31 de marzo de 2019. Baseándonos nos datos presentados, podemos concluír que a pesar dunha lixeira desaceleración das vendas de hardware PlayStation4, a propia consola segue a venderse a un ritmo impresionante. Actualmente, vendéronse 96,8 millóns de copias de PS4 en todo o mundo, o que significa que o total […]
Un dos maiores desenvolvedores rusos, o centro científico e técnico "Módulo", chegou á navegación. Ata agora, os activos do centro incluían controladores e microprocesadores para unha ampla gama de fins. A nova área de actividade ampliará a experiencia e oferta dos desenvolvedores rusos. En particular, Modul vai entrar no mercado de dispositivos de navegación de alta precisión, esperando ocupar o 2024-15% deste mercado en Rusia en 18, […]
No informe anual, que apareceu por primeira vez no sitio web de Intel en febreiro deste ano, a compañía, por razóns non totalmente obvias, califica a solución de gráficos discretos que se está a desenvolver "a primeira da súa historia", aínda que os expertos en desenvolvemento da industria poden lembrar que Intel probou sorte con tarxetas de vídeo discretas aló a mediados dos noventa do século pasado. Esencialmente, desenvolver unha solución gráfica discreta [...]
Microsoft anunciou unha vez que usaría uns 7 GB de espazo no disco duro do usuario para almacenar ficheiros de actualización. A vantaxe deste enfoque é que asegurará que non se quede sen espazo no medio dunha actualización. A desvantaxe é banal: simplemente non hai espazo suficiente en tabletas e portátiles baratos. Se anteriormente o requisito mínimo […]
Na miña opinión, no sector en lingua rusa de Internet, o tema da verificación formal non está suficientemente tratado, e hai especialmente unha falta de exemplos sinxelos e claros. Poñerei un exemplo de fonte estranxeira, e engadirei a miña propia solución ao coñecido problema de cruzar un lobo, unha cabra e un repolo ao outro lado do río. Pero antes, describiré brevemente qué es la verificación formal y por qué [...]
A verificación formal é a verificación dun programa ou algoritmo mediante outro. Este é un dos métodos máis poderosos que permite atopar todas as vulnerabilidades nun programa ou demostrar que non existen. Pódese ver unha descrición máis detallada da verificación formal no exemplo de resolución do problema do lobo, cabra e repolo do meu artigo anterior. Neste artigo eu […]
Neste artigo vouche dicir como usar pinba con clickhouse e grafana en lugar de pinba_engine e pinboard. Nun proxecto PHP, pinba é quizais a única forma fiable de entender o que está a suceder co rendemento. É certo que pinba adoita implementarse só cando xa se observan problemas e non está claro "onde cavar". Moitas veces ninguén ten idea de cantas veces por segundo/minuto [...]
Esta é unha pequena historia da práctica real, cando un pequeno problema, ben disfrazado pola tolerancia ás fallas, se converte nunha dor de cabeza. Disposición pequena: unha sucursal pequena, ten a súa propia PBX (asterisco + FreePBX) baseada en hardware de escritorio e o mesmo servidor de terminal local con 1C, un volcado de ficheiros e un controlador de dominio RO virtual. Internet distribúe Mikrotik. A rama é pequena, é suficiente para eles. Todo comezou […]
Este é o segundo dunha serie de resumos semanais sobre tecnoloxía, persoas e como se inflúen mutuamente. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) sobre como crear un crecemento harmónico do produto nunha startup. Ideas interesantes, estatísticas e exemplos das mellores empresas tecnolóxicas dos seus sectores. Un libro electrónico de 19 páxinas, de lectura recomendada para calquera […]
O Proxecto TrueOS anunciou probas de versións experimentais de FreeBSD 12-STABLE e FreeBSD 13-CURRENT, que transforman o sistema base monolítico nun conxunto de paquetes interconectados. As compilacións desenvólvense dentro do proxecto pkgbase, que proporciona ferramentas para usar o xestor de paquetes pkg nativo para xestionar os paquetes que compoñen o sistema base. A entrega en forma de paquetes separados permítelle simplificar significativamente o proceso de actualización do […]
Na páxina oficial de Twitter de Blue Origin apareceu unha fotografía do barco do famoso explorador Ernest Shackleton, que estudaba a Antártida. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26 de abril de 2019 A foto ten como subtítulo a data do 9 de maio e non hai descrición, polo que só podemos adiviñar como está conectada a nave de expedición de Shackleton co espazo de Jeff empresa Bezos. Pódese supoñer [...]
A Fundación Apache anunciou que completou o traballo para integrar a súa infraestrutura con GitHub e migrar todos os seus servizos git a GitHub. Inicialmente, ofrecéronse dous sistemas de control de versións para desenvolver proxectos Apache: o sistema centralizado de control de versións Subversion e o sistema descentralizado Git. Desde 2014, os réplicas do repositorio de Apache lanzáronse en GitHub, dispoñibles en modo de só lectura. Agora […]
