Categoría Noticias de Internet
El equipo de desarrollo de PHP ha anunciado el lanzamiento de una nueva versión del lenguaje: PHP 8.0.0. Mejoras y nuevas funcionalidades: Tipos de unión. En lugar de anotaciones PHPDoc para combinar tipos, ahora puedes utilizar declaraciones nativas de tipo unión que se verifican en tiempo de ejecución. Argumentos nombrados. En lugar de anotaciones PHPDoc, ahora se pueden utilizar metadatos estructurados con la sintaxis nativa de PHP. Operador nullsafe. En vez de verificar […]
El tan esperado (para el autor de la noticia) lanzamiento del gestor de sistemas más conocido del mundo GNU/Linux (y más allá) — systemd. En esta versión: las etiquetas (tags) de udev ahora se refieren al dispositivo y no al evento relacionado con el dispositivo, lo que rompe la compatibilidad hacia atrás, pero solo para gestionar correctamente la ruptura de la compatibilidad que se introdujo anteriormente […]
Se lanzó la versión 0.9.2 de la biblioteca libmdbx, que implementa un motor de clave-valor compacto y ultra rápido. libmdbx es una profunda reestructuración de la legendaria base de datos LMDB y, según los desarrolladores, supera a su precursor en fiabilidad, conjunto de características y rendimiento. Principales novedades, mejoras y correcciones: Disponibles enlaces para Nim (autor Jens Alfke, arquitecto en Couchbase) y Rust (autor Clément Renault, fundador de MeiliSearch). Paquete disponible para […]
Silenciosamente, un misterioso grupo de individuos no identificados está preparando el lanzamiento de una placa madre centrada en la seguridad basada en el procesador Elbrus-8SV. Características de la placa: Factor de forma: Mini-ITX Procesador: MCST Elbrus-8SV 8 núcleos @ 1.5 GHz VLIW (completamente compatible con LGA3647 para el montaje del disipador) Puente sur: MCST KPI-2 Memoria: 8 GB o 32 GB (2x [4+1] 8 Gbit/32 Gbit DDR4 DRAM […]
Se lanzó una actualización de dotenv-linter, una herramienta útil para revisar y corregir errores en archivos .env (archivos de variables de entorno de Docker). Muchos programadores intentan seguir el manifiesto de doce factores al desarrollar software. Este enfoque ayuda a evitar numerosos problemas relacionados con el despliegue de aplicaciones y su mantenimiento posterior. Uno de los principios de este manifiesto establece que todos los ajustes deben almacenarse en […]
Pasados 10 meses desde la última versión, se publicó la versión 0.33 de mpv. Con esta versión, la construcción del proyecto es posible exclusivamente en Python 3. Se realizaron numerosas modificaciones y correcciones en el reproductor, incluyendo: Nuevas características: Filtrado de subtítulos por expresión regular; Soporte HiDPI en Windows; Soporte exclusive fullscreen en d3d11; Opción de utilizar sixel para reproducciones de video en […]
Se lanzó una nueva versión de Ardour, una estación de trabajo de audio digital gratuita. La principal novedad es el soporte para la API de plugins VST3 en todos los sistemas operativos compatibles con el programa. También se admiten extensiones de PreSonus, que permiten al plugin recibir información sobre el escalado de la interfaz en pantallas de alta densidad, integrar una versión reducida de la interfaz del plugin en el host, etc. Entre los cambios también se incluye la aceleración […]
Después de cinco años de desarrollo, se lanzó gmusicbrowser-1.1.16. gmusicbrowser es un reproductor de audio y gestor de colecciones musicales, escrito en Perl utilizando el toolkit Gtk+. Utiliza el backend gstreamer, mplayer o mpv. Ofrece plantillas de interfaz de usuario altamente personalizables. Soporta la edición de etiquetas, renombrado, búsqueda, notificaciones, etc. En la nueva versión: Soporte de la interfaz en Gtk+3. Soporte para el formato opus. Se han actualizado las fuentes de portadas […]
El lenguaje de programación Scala continúa evolucionando dentro de la rama 2.13. El nuevo lanzamiento de Scala 2.13.4 incluye varias novedades interesantes, entre las que se encuentran: soporte experimental para bibliotecas escritas en Scala 3; mejorada la verificación de exhaustividad de patrones. Ahora esta verificación funciona tanto al usar expresiones guardadas como extractores personalizados; se ha cambiado el comportamiento de ExecutionContext […]
El 18 de noviembre de 2020, gracias a los esfuerzos de los empleados de MCST, se inauguró el esperado foro para desarrolladores de software para los microprocesadores Elbrus. El foro está configurado para funcionar en modo cerrado: los usuarios no registrados no pueden leer los mensajes, y los motores de búsqueda no pueden indexar las páginas del foro. Para registrarse en el foro, el usuario debe proporcionar información obligatoria: apellido, nombre, segundo nombre, teléfono de contacto, cargo, nombre de la organización, departamento […]
Se ha publicado en GitHub una utilidad de código abierto para generar alias cortos a partir del historial de bash/zsh: https://github.com/CSRedRat/topalias. Las tareas que resuelve el programa incluyen: análisis de archivos ~/.bash_aliases, ~/.bash_history, ~/.zsh_history con el historial de ejecución de comandos en la terminal de Linux en entornos Bash/Zsh. Ofrece abreviaturas cortas (acrónimos) para comandos largos, que son difíciles de recordar y escribir, pero que se usan con frecuencia (aunque puede que ni siquiera se sospeche de esto) […]
Se lanzó la versión 8.12 (la última versión menor disponible al momento de escribir esta noticia – 8.12.1) de la herramienta de prueba interactiva de teoremas Coq (gallo). Coq incluye un lenguaje de programación con tipos dependientes Gallina (gallina), basado en la teoría de la construcción del cálculo. El sistema Coq permite desarrollar tanto pruebas de teoremas verificables por computadora como programas junto con la prueba de correspondencia con la especificación. En la nueva versión se incluyeron […]