ProHoster > Blog

tema: Blog

Blog de categoría

El Centro Científico y Técnico "Módulo" presentó un receptor para navegación de alta precisión

Опубликовано

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, […]

Las futuras tarjetas de video Intel se unificarán con una arquitectura de gráficos integrada

Опубликовано

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 […]

Windows 10 "crecerá" hasta alcanzar al menos 32 GB.

Опубликовано

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 […]

Verificación formal utilizando el ejemplo del problema del lobo, la cabra y el repollo.

Опубликовано

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é [...]

Creando un sistema de verificación formal desde cero. Parte 1: Máquina virtual de caracteres en PHP y Python

Опубликовано

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 […]

Estadísticas y seguimiento de scripts PHP en tiempo real. ClickHouse y Grafana acuden en ayuda de Pinba

Опубликовано

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 […]

Buscando un problema en el lugar equivocado

Опубликовано

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ó […]

Probando la división de paquetes del sistema base FreeBSD

Опубликовано

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 […]

La Fundación Apache ha trasladado sus repositorios Git a GitHub

Опубликовано

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 […]

La frecuencia del núcleo del acelerador Palit GeForce GTX 1650 StormX OC alcanza los 1725 MHz

Опубликовано

Palit Microsystems ha lanzado el acelerador de gráficos GeForce GTX 1650 StormX OC, cuya información sobre su preparación ya ha aparecido en Internet. Recordemos brevemente las características clave de los productos GeForce GTX 1650. Estas tarjetas utilizan la arquitectura NVIDIA Turing. La cantidad de núcleos CUDA es 896 y la cantidad de memoria GDDR5 con un bus de 128 bits (frecuencia efectiva - 8000 MHz) es 4 GB. Reloj básico […]

ASRock Z390 Phantom Gaming 4S: placa ATX para PC gaming

Опубликовано

ASRock ha anunciado la placa base Z390 Phantom Gaming 4S, que se puede utilizar para formar una estación de juegos de escritorio de gama media. El nuevo producto está fabricado en formato ATX (305 × 213 mm) basado en la lógica del sistema Intel Z390. Admite procesadores Core de octava y novena generación en Socket 1151. Las capacidades de expansión las proporcionan dos ranuras PCI Express 3.0 x16 […]

A finales de siglo, el número de usuarios de Facebook muertos superará al de los vivos.

Опубликовано

Científicos del Oxford Internet Institute (OII) realizaron un estudio en el que descubrieron que para 2070, el número de usuarios de Facebook muertos puede superar el número de usuarios vivos, y para 2100, 1,4 millones de usuarios de la red social habrán muerto. Al mismo tiempo, se dice que el análisis prevé dos escenarios extremos. El primero supone que el número de usuarios se mantendrá en el nivel de 2018 […]

" volver arriba 1925 1926 1927 1928 1929 1930 1931 1932 1933 1934 Al final "
Compre alojamiento confiable para sitios con protección DDoS, servidores VPS VDS 🔥 Compra alojamiento web fiable con protección DDoS, servidores VPS VDS | ProHoster