ProHoster > Blog

Catégorie : Blog

Rubrique Blog

Coq 8.12

Posted on

La version 8.12 est sortie (dernière version mineure disponible au moment de la rédaction de la nouvelle – 8.12.1) de l'outil interactif de preuve de théorèmes Coq (poule). Coq comprend un langage de programmation à types dépendants Gallina (poule), reposant sur la théorie des calculs de constructions. Le système Coq permet de développer des preuves de théorèmes vérifiables par ordinateur, ainsi que des programmes avec preuve de conformité à la spécification. Dans la nouvelle version, il y avait […]

Lancement des expéditions de Librem 5 Evergreen

Posted on

Le 15 novembre, la société Purism a commencé l'expédition des téléphones Librem-5 en version de production en série, sous le nom de code Evergreen. Les envois se font en plusieurs étapes. Dans un premier temps, les appareils destinés aux premiers acheteurs seront expédiés. L'envoi des appareils pour les acheteurs tardifs est prévu pour le premier trimestre 2021. Les caractéristiques de l'appareil n'ont pas beaucoup changé. Parmi les dernières améliorations, on note l'augmentation de la batterie à 4500 mAh.

Firefox 83

Posted on

La version 83 de Firefox avec le moteur JS SpiderMonkey a reçu une importante mise à jour, sous le nom de code Warp, ce qui améliore la sécurité, la performance (augmentation allant jusqu'à 15 %), la réactivité des pages (jusqu'à 12 %) et réduit l'utilisation de la mémoire (de 8 %). Par exemple, le chargement de Google Docs a été accéléré d'environ 20 %. Le mode ‘HTTPS uniquement’ est jugé assez mûr (il prend désormais en compte les adresses du réseau local, où l'utilisation de HTTPS est souvent nécessaire).

youtube-dl sur GitHub débloqué

Posted on

Le dépôt youtube-dl précédemment bloqué sur GitHub a été débloqué le 16 novembre, après que l'EFF (Electronic Frontier Foundation, Fondation pour les frontières électroniques) a présenté des arguments contre la déclaration de violation du DMCA [PDF]. GitHub (appartenant à Microsoft) a déclaré avoir conclu que la déclaration ne correspondait pas à sa politique de suppression selon le DMCA. Source : linux.org.ru.

Les images de Fedora 33 publiées sur AWS Marketplace

Posted on

Cette histoire a commencé en 2012, lorsque Matthew Miller, alors nouveau leader du projet Fedora, s'est vu confier une tâche apparemment simple : permettre aux clients du cloud AWS de déployer facilement des serveurs basés sur Fedora. La tâche technique de création d'images adaptées à l'utilisation dans une infrastructure cloud a été résolue assez rapidement. Ainsi, tant pour qcow que pour les autres formats...

Frrouting 7.5

Posted on

Une nouvelle version du programme pour la gestion du routage dynamique sur Linux/BSD Frrouting est sortie ! Changements disponibles : prise en charge de BFD, profils de support, installation d'un TTL minimal, prise en charge BGP RPKI dans VRF, corrections dans BGP Graceful Restart, ajout d'une option pour afficher les routes en détail, ajout d'une option de configuration maximum-prefix force bestpath-routes pour la configuration aux voisins, ajout de la commande bgp shutdown message MSG… ajout de la possibilité.

Une nouvelle version d'Open CASCADE Technology (OCCT) 7.5.0 est sortie.

Posted on

OCCT — le seul noyau de modélisation géométrique open source actuellement disponible, distribué sous une licence libre. Open CASCADE Technology est un composant essentiel de projets tels que FreeCAD, KiCAD, Netgen, gmsh, CadQuery, pyOCCT et d'autres. La version OCCT 7.5.0 comprend plus de 400 améliorations et corrections par rapport à la version précédente 7.4.0. Version Open CASCADE […]

La version d'androwish « The Flux Capacitor » est sortie.

Posted on

AndroWish — un port natif de tcl/tk avec batteries pour la plateforme Android, permettant d'exécuter des scripts sans modifications ou avec des modifications minimes. Des commandes spécifiques à Android sont également en cours de développement pour interagir avec le système et les appareils : borg — gestion et interactivité avec Android ; ble — pour l'interaction avec les appareils Bluetooth ; rfcomm, usbserial — transfert de données via Bluetooth et appareils USB-série. Comprend les éléments nécessaires pour […]

Sortie de .NET 5

Posted on

Microsoft a publié .NET 5 pour les systèmes d'exploitation Windows, macOS, Linux. .NET 5 est une plateforme open source unifiée qui combine .NET Core, .NET Framework, Xamarin et Mono, permettant l'utilisation d'une base de code unique pour des solutions sur toutes les plateformes, y compris Android et iOS. La performance a été considérablement améliorée et la consommation de mémoire réduite. C# 9 et F# 5 apportent de nouvelles bibliothèques pour le rendu de code […]

The Mutt 2.0

Posted on

«Tous les clients de messagerie sont nuls. Celui-ci est juste moins nul.» a été mis à jour vers la version 2.0. Une telle augmentation radicale du nombre dans sa partie supérieure est plutôt due à l'introduction d'un certain nombre de changements qui rompent la compatibilité : lors de l'utilisation de la commande pour visualiser et sélectionner plusieurs pièces jointes, sortie après […]

Publication de QVGE 0.6.1 (intégration avec GraphViz)

Posted on

https://www.linux.org.ru/images/19295/1500px.jpg Une nouvelle version de l'éditeur graphique multiplateforme Qt Visual Graph Editor 0.6.1 a été publiée. Cette version se distingue par une intégration plus étroite avec le package GraphViz, notamment : les graphes au format DOT sont chargés directement via dot, ce qui permet un parsing de bien meilleure qualité ; appel des moteurs de mise en page GraphViz directement depuis l'interface graphique de l'application, avec un aperçu instantané des résultats. De plus, depuis l'application […]

FontForge Édition du 20ème Anniversaire

Posted on

Le 7 novembre 2020, le lancement de l'éditeur de polices open source FontForge dédié au 20e anniversaire du projet, initialement nommé PfaEdit, a eu lieu. Le créateur du projet est George W. Williams, qui a été le principal (et presque le seul) développeur jusqu'en 2012. Les paquets binaires de la version FontForge 20th Anniversary Edition (également connue sous le nom de FontForge 20201107) sont livrés avec un écran spécial en l'honneur de cet anniversaire. Le changement le plus significatif […]

« au début 613 614 615 616 617 618 619 620 621 622 à la fin »
Acheter un hébergement fiable pour les sites avec protection DDoS, serveurs VPS VDS 🔥 Acheter un hébergement fiable pour les sites avec protection DDoS, serveurs VPS VDS | ProHoster