Categoría: Blog

Aclaramos la descripción de las funciones del sistema mediante un diagrama de secuencia

Aclaramos la descripción de las funciones del sistema mediante un diagrama de secuencia (continuación de «Ardillas») En este artículo veremos cómo se puede detallar (aclarar) la descripción de la función a automatizar mediante un Diagrama de Secuencia UML. En este ejemplo, utilizo el entorno Enterprise Architect de la empresa australiana Sparx Systems [1]. Para la especificación completa de UML, véase aquí [2]. Primero, aclararé que vamos a […]

Prueba: ¿Cómo cumples con los requisitos de tratamiento de datos personales?

La multa por violar la ley de protección de datos personales puede alcanzar hasta 75 mil rublos. ¿Cómo protegerse de violaciones al procesar datos personales? ¿Ha cumplido con todos los requisitos legales? Desde el 1 de julio de 2017, las multas se han incrementado y dependen de la naturaleza de las violaciones. Sí, ha pasado bastante tiempo, pero, como suele ocurrir, especialmente en Rusia, donde […]

Windows 10 'se volverá más pesado' al menos hasta 32 GB

La empresa Microsoft anunció en su momento que utilizaría alrededor de 7 GB de espacio en el disco duro del usuario para almacenar archivos de actualizaciones. La ventaja de este enfoque es que garantiza que no se quedará sin espacio a mitad de la actualización. Sin embargo, la desventaja es simple: en tabletas y portátiles económicos, simplemente no habrá suficiente espacio. Si anteriormente el requisito mínimo […]

Verificación formal a través del ejemplo del problema del lobo, la cabra y el repollo.

En mi opinión, en el sector de habla rusa de Internet, el tema de la verificación formal está insuficientemente cubierto, y especialmente faltan ejemplos simples y visuales. Voy a dar un ejemplo de una fuente extranjera y completar con mi propia solución a la conocida tarea de cruzar el lobo, la cabra y el repollo al otro lado del río. Pero primero describiré brevemente qué es la verificación formal y para qué […]

Estadísticas y monitoreo de scripts PHP en tiempo real. ClickHouse y Grafana están aquí para ayudar a Pinba

En este artículo, explicaré cómo utilizar pinba junto con clickhouse y grafana en lugar de pinba_engine y pinboard. En el proyecto php, pinba es probablemente la única forma confiable de entender qué está sucediendo con el rendimiento. Sin embargo, normalmente pinba se implementa solo cuando ya se observan problemas y no queda claro "dónde buscar". A menudo, nadie sabe cuántas veces por segundo/minuto se invoca […]

Buscamos el problema en el lugar equivocado.

Esta es una breve historia de la práctica real, donde un pequeño problema, bien camuflado por la resiliencia, se convierte en un dolor de cabeza. Pequeña disposición: una pequeña sucursal, que tiene su propio PBX (asterisk + FreePBX) basado en hardware de escritorio y un servidor terminal local con 1C, un deposito de archivos y un controlador de dominio RO virtual. La conexión a Internet es proporcionada por Mikrotik. La sucursal es pequeña, y eso es suficiente para ellos. Todo comenzó […]

Pruebas de la separación del sistema base FreeBSD en paquetes

El proyecto TrueOS ha anunciado la prueba de compilaciones experimentales de FreeBSD 12-STABLE y FreeBSD 13-CURRENT, en las que el sistema base monolítico se ha transformado en un conjunto de paquetes relacionados entre sí. Las compilaciones se desarrollan en el marco del proyecto pkgbase, que proporciona herramientas para utilizar el gestor de paquetes estándar pkg para gestionar los paquetes que forman el sistema base. La entrega en forma de paquetes separados 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 ha anunciado la finalización de la integración de su infraestructura con GitHub y la migración de todos sus servicios git a GitHub. Originalmente, se ofrecían dos sistemas de control de versiones para el desarrollo de proyectos de Apache: un sistema centralizado de control de versiones Subversion y un sistema descentralizado Git. Desde 2014, se han lanzado espejos de los repositorios de Apache en GitHub, disponibles en modo solo lectura. Ahora […]

Deja de entrar en pánico: los procesadores de escritorio Intel con diez núcleos saldrán a principios del próximo año

La presentación de Dell, en la que un conocido sitio web holandés se basó para describir los próximos planes de Intel sobre el anuncio de nuevos procesadores, inicialmente se centró en el segmento de productos móviles y comerciales. Como señalaron acertadamente los expertos independientes, en el segmento del consumidor, el calendario de lanzamiento de nuevos productos de Intel podría diferir, y ayer esta tesis encontró confirmación en una nueva publicación en las páginas del sitio Tweakers.net. El título de la diapositiva […]

La presentación de Dell, de la que se basó el famoso sitio holandés al describir los planes futuros de Intel para anunciar nuevos procesadores.

El CEO de Intel, Robert Swan, mencionó en la reciente conferencia de resultados trimestrales que había un déficit de capacidades de producción en el contexto de un aumento de costos y un cambio en la estructura de la gama de procesadores hacia modelos más caros con un mayor número de núcleos. Tales metamorfosis permitieron a Intel, en el primer trimestre, aumentar el precio medio de venta de los procesadores en un 13 % en el segmento móvil y […]

Fenix reemplazará a Firefox para Android

La compañía Mozilla está desarrollando un nuevo navegador móvil llamado Fenix. En el futuro, aparecerá en Google Play Store, reemplazando a Firefox para Android. Además, se han conocido algunos detalles sobre cómo se llevará a cabo la transición al nuevo navegador. Fuentes de la red informan que la compañía Mozilla ha tomado decisiones sobre el futuro de su navegador Firefox para Android y […]

Se ha descubierto una filtración de más de 2 millones de registros de datos de pasaportes en los mercados de Rusia.

Alrededor de 2,24 millones de registros con datos de pasaportes, información sobre el empleo de ciudadanos rusos y números de SNILS están disponibles públicamente. Esta conclusión fue alcanzada por el presidente de la Asociación de Participantes del Mercado de Datos, Ivan Begtin, basado en un estudio titulado "Filtraciones de datos personales de fuentes abiertas. Mercados electrónicos". En el trabajo se investigaron los datos de las principales plataformas de comercio electrónico en Rusia, dentro de […]

Compra un hosting fiable para sitios web con protección contra DDoS, servidores VPS VDS 🔥 Compra un hosting fiable para sitios web con protección contra DDoS, servidores VPS VDS | ProHoster