ProHoster > Blog

Catégorie : Blog

Rubrique Blog

La version Scala 2.13.4 est sortie

Posted on

Le langage de programmation Scala continue de se développer dans la branche 2.13. La nouvelle version Scala 2.13.4 comprend plusieurs nouveautés intéressantes, parmi lesquelles : support expérimental des bibliothèques écrites en Scala 3 ; amélioration de la vérification d'exhaustivité des branches lors de la correspondance avec les modèles. Maintenant, cette vérification fonctionne également avec des expressions de garde et des extracteurs personnalisés ; le comportement de ExecutionContext a été modifié […]

Forum fermé de la communauté Elbrus ouvert

Posted on

Le 18 novembre 2020, grâce aux efforts des employés de la société MCST, le forum tant attendu pour les développeurs de logiciels pour les microprocesseurs Elbrus a été ouvert. Le forum est configuré pour fonctionner en mode fermé : les utilisateurs non enregistrés ne peuvent pas lire les messages, et les moteurs de recherche ne peuvent pas indexer les pages du forum. Pour s'inscrire sur le forum, l'utilisateur doit fournir les informations obligatoires : nom, prénom, patronyme, numéro de téléphone de contact, poste, nom de l'organisation, département […]

topalias : un utilitaire pour générer de courtes alias à partir de l'historique bash/zsh

Posted on

Un utilitaire Open Source pour générer de courtes alias à partir de l'historique bash/zsh a été publié sur GitHub : https://github.com/CSRedRat/topalias. Les tâches résolues par le programme : Analyse des fichiers ~/.bash_aliases, ~/.bash_history, ~/.zsh_history contenant l'historique des commandes dans le terminal Linux utilisant les shell Bash/Zsh. Il propose des abréviations courtes (acronymes) pour des commandes longues, difficilement mémorisables, mais souvent utilisées (bien que cela puisse même ne pas être soupçonné) […]

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

« au début 610 611 612 613 614 615 616 617 618 619 à 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