Sony publicó informes del año financiero, que finalizó el 31 de marzo de 2019. Según los datos presentados, podemos concluir que a pesar de una ligera desaceleración en las ventas de hardware PlayStation4, la consola en sí todavía se vende a un ritmo impresionante. Actualmente se han vendido 96,8 millones de copias de PS4 en todo el mundo, lo que significa que el total […]
Uno de los mayores desarrolladores rusos, el centro científico y técnico "Módulo", llegó a la navegación. Hasta ahora, los activos del centro incluían controladores y microprocesadores para una amplia gama de propósitos. La nueva área de actividad ampliará la experiencia y la oferta de los desarrolladores rusos. En particular, Modul entrará en el mercado de dispositivos de navegación de alta precisión y espera ocupar entre el 2024% y el 15% de este mercado en Rusia en 18, […]
En el informe anual, que apareció por primera vez en el sitio web de Intel en febrero de este año, la compañía, por razones no del todo obvias, califica la solución de gráficos discretos que se está desarrollando como "la primera en su historia", aunque los expertos en desarrollo de la industria tal vez recuerden que Intel Probó suerte con las tarjetas de video discretas allá por mediados de los años noventa del siglo pasado. Básicamente, desarrollar una solución de gráficos discretos […]
Microsoft anunció una vez que utilizaría unos 7 GB de espacio en el disco duro del usuario para almacenar archivos de actualización. El beneficio de este enfoque es que garantizará que no se quede sin espacio en medio de una actualización. La desventaja es banal: simplemente no hay suficiente espacio en tabletas y computadoras portátiles económicas. Si previamente el requisito mínimo […]
En mi opinión, en el sector de Internet de habla rusa el tema de la verificación formal no está suficientemente tratado y, sobre todo, faltan ejemplos simples y claros. Daré un ejemplo de una fuente extranjera y agregaré mi propia solución al conocido problema de cruzar un lobo, una cabra y un repollo al otro lado del río. Pero primero describiré brevemente qué es la verificación formal y por qué [...]
La verificación formal es la verificación de un programa o algoritmo utilizando otro. Este es uno de los métodos más poderosos que le permite encontrar todas las vulnerabilidades en un programa o demostrar que no existen. Se puede ver una descripción más detallada de la verificación formal en el ejemplo de resolución del problema del lobo, la cabra y el repollo en mi artículo anterior. En este artículo yo […]
En este artículo te diré cómo usar pinba con clickhouse y grafana en lugar de pinba_engine y pinboard. En un proyecto PHP, pinba es quizás la única forma confiable de comprender lo que sucede con el rendimiento. Es cierto que pinba generalmente se implementa sólo cuando ya se observan problemas y no está claro “dónde excavar”. A menudo nadie tiene idea de cuántas veces por segundo/minuto […]
Esta es una breve historia de la práctica real, cuando un pequeño problema, bien disfrazado de tolerancia a fallos, se convierte en un dolor de cabeza. Pequeña disposición: Una sucursal pequeña, tiene su propio PBX (asterisco + FreePBX) basado en hardware de escritorio y el mismo servidor de terminal local con 1C, un volcado de archivos y un controlador de dominio RO virtual. Internet distribuye Mikrotik. La rama es pequeña, les basta. Todo comenzó […]
Este es el segundo de una serie de resúmenes semanales sobre tecnología, personas y cómo se influyen entre sí. Andy Jones (ex-Wealthfront, Facebook, Twitter, Quora) sobre cómo crear un crecimiento armonioso del producto en una startup. Ideas geniales, estadísticas y ejemplos de las mejores empresas de tecnología en sus industrias. Un libro electrónico de 19 páginas, lectura recomendada para cualquier persona […]
El Proyecto TrueOS ha anunciado pruebas de versiones experimentales de FreeBSD 12-STABLE y FreeBSD 13-CURRENT, que transforman el sistema base monolítico en un conjunto de paquetes interconectados. Las compilaciones se desarrollan como parte del proyecto pkgbase, que proporciona herramientas para usar el administrador de paquetes nativo pkg para administrar los paquetes que componen el sistema base. La entrega en forma de paquetes separados le permite simplificar significativamente el proceso de actualización de la base […]
En la página oficial de Twitter de Blue Origin apareció una fotografía del barco del famoso explorador Ernest Shackleton, que estaba estudiando la Antártida. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) 26 de abril de 2019 La foto está subtitulada con la fecha 9 de mayo y no hay descripción, por lo que solo podemos adivinar cómo está conectada la nave de expedición de Shackleton al espacio de Jeff. empresa Bezos. Se puede suponer [...]
La Fundación Apache anunció que completó el trabajo para integrar su infraestructura con GitHub y migrar todos sus servicios git a GitHub. Inicialmente, se ofrecieron dos sistemas de control de versiones para el desarrollo de proyectos de Apache: el sistema de control de versiones centralizado Subversion y el sistema descentralizado Git. Desde 2014, se han lanzado réplicas del repositorio de Apache en GitHub, disponibles en modo de solo lectura. Ahora […]
