ProHoster > Blog

Categoría: Blog

Categoría Blog

Coq 8.12

Posted on

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

Inicio de entregas de Librem 5 Evergreen

Posted on

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

Posted on

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

youtube-dl en GitHub desbloqueado

Posted on

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

Las imágenes de Fedora 33 publicadas en AWS Marketplace

Posted on

Esta historia comenzó en 2012, cuando a Matthew Miller, entonces nuevo líder del proyecto Fedora, se le planteó una tarea que a primera vista parecía sencilla: brindar a los clientes de la nube AWS la posibilidad de desplegar fácilmente servidores basados en Fedora. La tarea técnica de construir imágenes adecuadas para su uso en infraestructura de nube se resolvió con bastante rapidez. Así que tanto como qcow, como […]

Frrouting 7.5

Posted on

¡Se lanzó una nueva versión del programa para la gestión de enrutamiento dinámico en linux/BSD Frrouting! Cambios disponibles: Soporte BFD Perfiles de soporte Opción para establecer TTL mínimo Soporte BGP RPKI en VRF Correcciones en BGP Graceful Restart Se añadió la opción para mostrar rutas de forma detallada Se añadió la opción de configuración maximum-prefix force bestpath-routes para la configuración en el vecino Se añadió el comando bgp shutdown message MSG… Se añadió la posibilidad […]

Se lanzó una nueva versión de Open CASCADE Technology (OCCT) 7.5.0

Posted on

OCCT es el único núcleo de modelado geométrico de código abierto actual que se distribuye bajo una licencia libre. Open CASCADE Technology es una parte importante de proyectos como FreeCAD, KiCAD, Netgen, gmsh, CadQuery, pyOCCT y otros. La versión OCCT 7.5.0 incluye más de 400 mejoras y correcciones con respecto a la versión anterior 7.4.0. La versión Open CASCADE […]

Se lanzó la versión androwish «El Condensador de Flux».

Posted on

AndroWish es un puerto nativo de tcl/tk con baterías para la plataforma Android, que permite ejecutar scripts sin cambios o con cambios mínimos. También se están desarrollando comandos específicos para Android, para interactuar con el sistema y dispositivos: borg — gestión e interacción con Android; ble — para interacción con dispositivos bluetooth; rfcomm, usbserial — transmisión de datos a través de dispositivos bluetooth y usb-serial. Incluye lo necesario para […]

Lanzamiento de .NET 5

Posted on

Microsoft ha lanzado .NET 5 para sistemas operativos Windows, macOS y Linux. .NET 5 es una plataforma unificada de código abierto que integra .NET Core, .NET Framework, Xamarin y Mono, permitiendo el uso de una única base de código para soluciones en todas las plataformas, incluidas Android e iOS. Se ha mejorado considerablemente el rendimiento y reducido el consumo de memoria. C# 9 y F# 5 introducen nuevas bibliotecas para la salida de código […]

The Mutt 2.0

Posted on

«Todos los clientes de correo son malos. Este simplemente es menos malo.» se ha actualizado a la versión 2.0. Este aumento radical en su número mayor se debe más a la introducción de una serie de cambios que rompen la compatibilidad que a la aparición de nuevas funcionalidades (que son bastante limitadas en comparación con versiones anteriores): al utilizar el comando <attach-file> para visualizar y seleccionar múltiples adjuntos, la salida después […]

Liberación de QVGE 0.6.1 (integración con GraphViz)

Posted on

https://www.linux.org.ru/images/19295/1500px.jpg Ha tenido lugar el lanzamiento de la nueva versión del editor visual multiplataforma de grafos Qt Visual Graph Editor 0.6.1. Esta versión se distingue por una integración más estrecha con el paquete GraphViz, específicamente: se cargan grafos en formato DOT directamente a través de dot, lo que permite un parseo de mayor calidad; se puede invocar a los motores de diseño de GraphViz directamente desde la interfaz gráfica de la aplicación, con vista instantánea de los resultados. También desde la aplicación […]

Edición del 20º Aniversario de FontForge

Posted on

El 7 de noviembre de 2020 se lanzó el editor de fuentes libre FontForge por el 20 aniversario de la existencia del proyecto, originalmente llamado PfaEdit. El autor del proyecto es George W. Williams, quien fue el principal (y casi único) desarrollador hasta 2012. Los paquetes binarios de la edición del 20 aniversario de FontForge (también conocida como FontForge 20201107) vienen con una presentación especial en honor al aniversario. El cambio más significativo […]

« al inicio 613 614 615 616 617 618 619 620 621 622 al final »
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