Actualité : Linux Actualité par media
27 avril 2023
-
08:17
Toolinux
Ce qu’il faut savoir sur la création de la Fondation TLA+
Il y a quelques jours, la Fondation Linux donnait naissance à une nouvelle entité, la TLA+ Foundation. Son objectif est clair : promouvoir l'adoption et le développement du langage de programmation TLA+ développé à l'origine par Leslie Lamport. Mais de quoi parle-t-on ?
C'est quoi TLA+ ?
TLA+ (Temporal Logic of Actions) est un langage de spécification formel utilisé pour la conception, la modélisation, la documentation et la vérification de programmes, en particulier les systèmes distribués. Il peut générer des représentations visuelles (blueprints) de systèmes logiciels.
TLA+ et ses outils sont utiles pour éliminer les erreurs de conception fondamentales, qui sont difficiles à trouver et coûteuses à corriger dans le code. Le langage est basé sur l'idée que la meilleure façon de décrire les choses...
-
07:00
Toolinux
18 nouveaux jeux compatibles Linux avec Proton 8.0 (Valve)
La dernière version de Proton 7.0.6 va une nouvelle fois ravir ceux qui souhaitent utiliser des jeux Windows sur un système Linux. L'application se met au niveau de Wine 8 et propose une nouvelle salve de titres compatibles, dont Dead Space (2023).
Valve officialise nouvelle version de Proton 8, permettant à de nouveaux titres d'être compatibles avec Linux via Steam Play. C'est quoi Proton de Valve ?
Proton est un outil permettant au client Steam de faire tourner des jeux Windows depuis un système d'exploitation Linux. Il utilise Wine pour ce faire. En outre, il est gratuit et open source Quoi de neuf dans Proton ?
La nouvelle version de Proton apporte une série de mises à niveau, dont wine 8.0, wine-mono 7.4.1, vkd3d-proton 2.8-84-g08909d98, dxvk 2.1-4-gcaf31033 et dxvk-nvapi v0.62....