Trivabble continue à évoluer

Posté par  (site web personnel) . Édité par Davy Defaud, theojouedubanjo, bubar🦥, claudex, Benoît Sibaud et palm123. Modéré par Davy Defaud. Licence CC By‑SA.
98
20
avr.
2020
Jeu

Trivabble est un jeu de Scrabble en ligne que j’ai commencé en 2016 pour que les membres éparpillés de ma famille puissent jouer ensemble.

Trivabble

Sortie de 0 A.D. Alpha 23 « Ken Wood » (annonce tardive)

Posté par  . Édité par Alcyone, play0ad, papap, Davy Defaud, ZeroHeure, BAud, eingousef, M5oul, Benoît Sibaud, bubar🦥 et Ysabeau 🧶. Modéré par Ysabeau 🧶. Licence CC By‑SA.
Étiquettes :
98
22
juin
2020
Jeu

0 A.D. : Empires Ascendant est un jeu vidéo de stratégie en temps réel (RTS) historique en 3D développé par Wildfire Games. C’est un projet libre (code sous GPL v2, données sous CC BY‑SA 3.0), au développement ouvert, visant des standards de qualité artistique comparables à ceux de l’industrie, ainsi qu’un grand respect de la réalité historique. Le jeu permet d’incarner treize factions qui ont marqué leur histoire entre les rives de l’Atlantique et la chaîne de l’Himalaya, au cours de la période allant de −500 av. J.‑C. à −1 av. J.‑C.
Une forêt dans 0 A.D.
0 A.D. a fait l’objet d’un exposé au Grafik Labor les 11 et 12 mai 2019 à Rennes, par Stanislas Dolcini, aka Stan`, qui nous a apporté des nouvelles fraîches.
0 A.D. : Empires Ascendant est encore actuellement considéré « en cours de développement », par les fans exigeants, mais le jeu est jouable à tel point qu’une communauté de joueurs conséquente s’est déjà construite autour ; et son succès est révélé par les statistiques : 250 000 téléchargements en 2018 et 100 000 comptes multijoueurs.
Cette dépêche présente la version Alpha 23, Ken Wood, du projet sortie en mai 2018.

Note d’avertissement : cette dépêche vient de fêter ses deux ans passés dans l’espace de rédaction, elle sort donc avec un petit retard le temps de corriger les derniers bogues restants (release when it’s ready!).

Sortie de Coq 8.5 bêta, un assistant de preuve formelle

98
28
jan.
2015
Science

L'assistant de preuve Coq, deux fois primé l'année dernière, vient de sortir en version 8.5 bêta. Attendue depuis plus d'un an déjà, on trouvera au menu de cette version un nombre certain de changements en profondeur.

Coq est un assistant de preuve sous licence LGPL 2.1, développé entre autres à l'INRIA. Issu des travaux sur la correspondance de Curry-Howard, Coq peut être vu aussi bien comme un langage de programmation que comme un système de preuves mathématiques. Il est, de fait, employé par les deux communautés. Parmi les développements en Coq, on peut citer par exemple le compilateur C certifié CompCert sur le versant informatique et la preuve du Théorème de Feit et Thompson sur le versant mathématique. Plus récemment, une des failles d'OpenSSL a été découverte grâce à Coq[0] . Il est aussi de plus en plus utilisé comme système interactif pour l'apprentissage de la logique dans l'enseignement supérieur.

On rappellera dans le reste de la dépêche les grands principes qui sous-tendent Coq, ce qu'il est, ce qu'il n'est pas, puis on détaillera les changements introduits dans cette version.

Mise en demeure, suite et fin

Posté par  (site web personnel) . Modéré par Benoît Sibaud. Licence CC By‑SA.
Étiquettes :
98
25
oct.
2013
LinuxFr.org

Le 31 mai dernier, pour la première fois dans l'histoire du site et de l'association LinuxFr, nous avions reçu une mise en demeure d'un cabinet d'avocats agissant pour le compte d'une entreprise s'estimant « discréditée » par un commentaire sur une entrée de forum qu'elle avait elle-même créée.

Le lendemain, le PDG de la société présentait ses excuses sur le site sous la forme d'une dépêche.

Constatant que « la forme n'y était pas », et estimant que les principes essentiels définis le Règlement Intérieur du Barreau de Paris n'avaient pas été respectés, nous avions alors effectué un signalement au Barreau. Avec le même but pédagogique que précédemment, et de transparence et de suivi de l'histoire vis-à-vis de notre lectorat, nous publions ici notre lettre et la réponse reçue (anonymisées).

NdM : nous vous demandons bien évidemment de garder un ton aussi respectueux dans vos commentaires.

À la mémoire de Yann, notre camarade libriste

97
21
mar.
2021
Communauté

Le monde du libre est en deuil depuis que nous avons appris ce mardi 16 mars 2021 la disparition de Yann Le Pollotec rattrapé à 59 ans par l’épidémie du Covid. Après avoir eu de nombreuses responsabilités au sein du Parti Communiste Français, notamment dans son département de Seine-Saint-Denis, il était depuis l’année 2000 membre de la direction nationale du PCF. Il était connu dans les communautés libristes et fablabs, notamment pour l'espace numérique de la Fête de l'Humanité et pour ses prises de position (« Il a aussi beaucoup fait pour la prise en compte des questions numériques, du logiciel libre, de l'Internet citoyen, etc. » pour citer une des réactions).

Yann Le Pollotec

Le Conseil d’État reconnaît que le gouvernement US peut accéder aux données de santé des Français

Posté par  (site web personnel) . Édité par Davy Defaud. Modéré par Davy Defaud. Licence CC By‑SA.
97
15
oct.
2020
Justice

Dans une ordonnance rendue publique ce jour, le Conseil d’État, saisi par le collectif Santenathon, reconnaît que le gouvernement des États‑Unis peut accéder sans contrôle aux données de santé des Français hébergées par le Health Data Hub chez Microsoft, et demande des garanties supplémentaires.

Cette décision est justifiée par l’arrêt de la Cour de justice de l’Union européenne (CJUE) du 16 juillet 2020, dit « Schrems II », qui juge que la surveillance exercée par les services de renseignements américains sur les données personnelles des citoyens européens est excessive, insuffisamment encadrée et sans réelle possibilité de recours. La CJUE en a déduit que les transferts de données personnelles depuis l’Union européenne vers les États‑Unis sont contraires au règlement général sur la protection des données (RGPD) et à la Charte des droits fondamentaux de l’Union européenne, sauf à apporter des garanties particulières ou dans certains cas dérogatoires.

Les jours sont donc bien comptés pour cette plate‑forme développée depuis deux ans, sans appel d’offre, et au mépris de l’offre des sociétés françaises et européennes, notamment des acteurs du logiciel libre. Le Gouvernement a en effet exprimé, jeudi dernier devant le Sénat, sa volonté de transférer le Health Data Hub sur des plates‑formes françaises ou européennes. Dans l’intervalle, la juge du Conseil d’État demande au Health Data Hub de travailler à minimiser ce risque, notamment en concluant un nouvel avenant avec Microsoft, et à ce que la CNIL instruise les demandes d’autorisation des projets de recherche utilisant le Health Data Hub en vérifiant que l’intérêt du projet, compte tenu de l’urgence sanitaire actuelle, est suffisant pour justifier le risque encouru et que le recours à la plate‑forme est nécessaire.

Troisième mise en demeure pour l'association LinuxFr

Posté par  (site web personnel) . Modéré par Benoît Sibaud. Licence CC By‑SA.
97
12
déc.
2019
LinuxFr.org

LinuxFr.org est au fil du temps devenu un site web francophone de référence sur le monde du libre et au-delà, qui traite en particulier de l'actualité du Logiciel Libre, en mode contributif, géré par une équipe bénévole, par et pour des libristes enthousiastes, et sans pub. Après plus de 21 ans d'existence, LinuxFr.org comporte plus de 100 000 contenus (dépêches, journaux, etc.) et environ 1,8 million de commentaires.

Le site dispose notamment d'une équipe de modération intervenant a priori (dépêches, sondages) ou a posteriori (journaux, forums, wiki, tags, commentaires). L'équipe suit des règles de modération, que nous ne manquons pas de rappeler régulièrement lorsque des commentaires ou contenus problématiques le nécessitent ou qu'une édition/suppression est faite. En tant que « service de communication au public en ligne édité à titre non professionnel au sens de l'article 6, III, 2° de la loi 2004-575 du 21 juin 2004 » par l'association LinuxFr, comme le stipulent nos mentions légales, le site dispose aussi d'un directeur de publication (en l'occurrence votre serviteur).

Pour la troisième fois (premier cas en 2013, voir 1, 2 et 3 ; second cas en 2017) dans l'histoire du site et de l'association, nous avons reçu en juin 2019 une mise en demeure, cette fois-ci pour contrefaçon de marque et/ou concurrence déloyale, envoyée par un établissement public à caractère administratif français, concernant un journal écrit par un de nos visiteurs.

NdM. : nous vous demandons bien évidemment de garder un ton respectueux dans vos commentaires.

20 ans de LinuxFr.org

Posté par  (site web personnel) . Édité par Davy Defaud. Modéré par Nÿco. Licence CC By‑SA.
97
28
juin
2018
LinuxFr.org

LinuxFr.org fête aujourd’hui 28 juin 2018 ses vingt ans : bon anniversaire LinuxFr.org ! Vingt ans que le site vit par et pour les communautés du Libre, géré par des bénévoles et soutenu par ses visiteurs contributeurs. Merci à tous ceux qui ont contribué et contribuent au succès du site : administration système, animation de l’espace de rédaction, développement, dons, écriture de contenus, modération, réalisation de logos ou de feuilles de style, etc. Le meilleur moyen de nous dire merci est de proposer une dépêche ou d’en rédiger collaborativement dans l’espace de rédaction pour faire vivre le site.

Mise à jour : une série d’entretiens avec nos visiteurs contributeurs a été publiée : 1, 2, 3, 4, 5 et 6.

Alors, ça fait quoi d’avoir 20 ans ?

Côté chiffres, le site comporte plus de 101 000 contenus publiés (environ 37 300 journaux, 36 300 entrées de forum, 25 100 dépêches, 400 sondages, 170 liens (nouveauté 2018), 110 pages de wiki), et plus de 1,72 million de commentaires. Mais aussi plus de 140 entrées ouvertes dans le système de suivi des suggestions et des bogues (et presque un millier déjà traités), ce qui représente un gros boulot à réaliser (sans parler du travail énorme en cours sur le design). Bref, nous sommes preneurs de toutes les bonnes volontés pour contribuer sur les nouveaux contenus et améliorer le code du site.

Et si la meilleure des cartes RAID était libre ?

Posté par  (site web personnel) . Édité par Nils Ratusznik, Nicolas Casanova, Tonton Th, palm123, NeoX, ZeroHeure, Jiehong, jcr83 et Nÿco. Modéré par ZeroHeure. Licence CC By‑SA.
97
10
fév.
2014
Technologie

ZFS comme son nom ne l'indique pas n'est pas juste un système de fichiers. Plus je l'utilise plus je dirais même que le système de fichiers n'est qu'une des fonctionnalités sympa de ZFS. ZFS est avant tout un moyen d'organiser de façon efficace ses ressources de stockage, une sorte de carte RAID surpuissante.

NDA : merci à Nicolas Casanova, Tonton Th, NeoX, Jiehong, jcr83 et ZeroHeure pour leur relecture attentive

Sortie de « La bataille pour Wesnoth » 1.14

Posté par  . Édité par Davy Defaud, bubar🦥, Anonyme, Benoît Sibaud et _seb_. Modéré par bubar🦥. Licence CC By‑SA.
96
7
mai
2018
Jeu

The Battle for Wesnoth est un jeu de stratégie au tour par tour, une pièce incontournable dans le monde du jeu libre. Après un peu plus de trois ans et plus de 16 000 commits, une nouvelle version stable est annoncée ce 2 mai.

Logo

Mise aux poings sur systemd

96
13
juin
2014
Technologie

systemd est un gestionnaire du système et de services (aussi appelé « PID 1 », car c’est le premier processus à être lancé) pour Linux, compatible avec SysV et les scripts d’init LSB. systemd a des capacités de parallélisation énergiques. Il utilise les sockets et l’activation par D-Bus pour démarrer les services, permettant le démarrage à la demande des démons. Il surveille et commande les processus avec les groupes de contrôle (cgroups) Linux. Il prend en charge la construction d’instantanés et la restauration de l’état du système. Il maintient les points de montage et d’auto-montage, et implémente une logique de contrôle transactionnelle élaborée fondée sur les dépendances entre services.

systemd ne fait pas partie du projet freedesktop.org, bien qu’hébergé sur le site. Il est codé en langage C et publié sous licence GNU GPL 2.1+. Il a été lancé par Lennart Poettering, auteur de PulseAudio et d'Avahi entre autres, et est maintenant activement développé par plusieurs dizaines de développeurs.

La dernière dépêche concernant systemd a suscité de nombreuses réactions et certaines d'entre elles montraient une méconnaissance de ce logiciel : la dépêche se contentait, pour la majeure partie il est vrai, de traduire les notes de versions.

Je vais donc faire un point sur systemd, histoire d’en finir une bonne fois pour toutes avec les discussions sans fin sur systemd (l’espoir fait vivre).

Le vhélio sort en v1.0.0

Posté par  . Édité par L'intendant zonard, Ysabeau 🧶 et Benoît Sibaud. Modéré par Ysabeau 🧶. Licence CC By‑SA.
95
28
sept.
2023
Do It Yourself

Le vhélio est un vélo cargo à assistance électrique qui se veut « solaire, solide et solidaire », entièrement développé sous licence libre (licence CERN-OHL-S version 2) et porté par l’association « Vélo Solaire Pour Tous ».

Nous célébrons dans cette dépêche la sortie de la première version stable (v1.0.0) plus d’un an après la sortie de la version béta 0.01. C’est aussi l’occasion de vous présenter le projet, ses récentes évolutions et les avancées à venir.

Logo du vhélio

Haiku R1 bêta 1

Posté par  (site web personnel, Mastodon) . Édité par ZeroHeure, BAud, palm123, Davy Defaud, Ontologia, Zatalyz, vincent LECOQ et Benoît Sibaud. Modéré par Ontologia. Licence CC By‑SA.
Étiquettes :
95
30
sept.
2018
Haiku

Haiku est un système d’exploitation conçu pour les ordinateurs de bureau. Il est facile à utiliser, léger, et cependant puissant.

Après une longue période sans version publiée (la dernière version alpha date de 2012), une version bêta vient enfin d’être publiée !

Haiku applications et préférences

Haiku se lâche enfin

95
24
nov.
2014
Haiku

Le projet Haiku est une réminiscence de feu BeOS. Pour les plus jeunes, BeOS était un système d'exploitation propriétaire développé en C++ par Be Inc. de 1990 à 2000. Son architecture était totalement indépendante, tout en ayant beaucoup de traits POSIX, ce qui permettait avec peu de travail d'y retrouver Qt, Mozilla, SDL, QEMU, Bash et bon nombre d'autres références classiques aux côtés de la logithèque propre de BeOS.

Haiku, anciennement OpenBeOS, reprend donc le flambeau de BeOS, avec cette ré-écriture libre, entreprise en 2001, avec l'appui de l'association à but non lucratif créée à cet effet. D'après Wikipédia, « …une version alpha de Haiku R1 est distribuée le 14 septembre 2009. La R1 Alpha 2 est sortie le 9 mai 2010, la R1 Alpha 3 le 20 juin 2011, et la R1 Alpha 4 le 12 novembre 2012. ». Nous couvrons ici les plans pour Haiku Bêta 1 et R1. Pour information ou rappel, toujours d'après Wikipedia : « Le développement d'Haiku est actuellement focalisé sur la R1, qui doit être quasiment identique à la dernière version distribuée par Be, la R5. ».

Haiku

Sortie de Linux 2.6.29

Posté par  (site web personnel) . Modéré par Pascal Terjan.
95
24
mar.
2009
Noyau
La sortie de la version stable 2.6.29 du noyau Linux vient d'être annoncée par Linus Torvalds. Le nouveau noyau est, comme d'habitude, téléchargeable sur les serveurs du site kernel.org.

En revanche ce qui sort du cadre habituel c'est la nouvelle mascotte qui a été adoptée pour cette version !
Dans le cadre de la campagne de sauvetage du diable de Tasmanie, les développeurs du noyau qui assistaient à la conférence LCA à Hobart ont participé à une vente de charité.
Linus Torvalds a promis de remplacer, pour une version, le brave manchot Tux par son diabolique cousin Tuz si la vente atteignait 3 500 dollars.
Comme le résultat final a été de près de 35 000 dollars nous pouvons profiter, juste pour ce 2.6.29 qui devient collector, de la présence de cet irascible marsupial dans le source du noyau.

Plus sérieusement vous trouverez le détail des évolutions, nouveautés et prévisions dans la seconde partie de la dépêche.