Categoría Blog
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 […]
El 15 de noviembre, la compañía Purism comenzó el envío de los teléfonos Librem-5 de la modificación para producción en masa con el nombre en código Evergreen. El envío se divide en etapas. Primero, se enviarán dispositivos para los primeros compradores. El envío de dispositivos para los compradores posteriores está planeado para el primer trimestre de 2021. Las características del dispositivo no han cambiado mucho. Entre los últimos cambios, se destaca la batería aumentada hasta 4500 mAh. Evergreen no […]
Firefox 83 está disponible. El motor JS SpiderMonkey recibió una importante actualización con el nombre en código Warp, lo que mejoró la seguridad, el rendimiento (aumento de hasta el 15%), la capacidad de respuesta de las páginas (hasta el 12%), y redujo el uso de memoria (en un 8%). Por ejemplo, la carga de Google Docs se aceleró aproximadamente un 20%. El modo "solo HTTPS" se considera suficientemente listo (ahora tiene en cuenta las direcciones de la red local, donde la aplicación de HTTPS a menudo […]
El repositorio youtube-dl en GitHub, que había sido bloqueado anteriormente, fue desbloqueado el 16 de noviembre después de que la EFF (Electronic Frontier Foundation, Fundación Frontera Electrónica) presentara argumentos contra la declaración de violación de DMCA [PDF]. GitHub (propiedad de Microsoft) declaró que determinó que la reclamación no cumplía con su política de eliminación bajo DMCA. Fuente: linux.org.ru