HackInScience : automatiser l'enseignement de Python

Posté par  . Édité par Pierre Jarillon, Xavier Teyssier, Ysabeau 🧶, patrick_g et palm123. Modéré par Pierre Jarillon. Licence CC By‑SA.
38
15
jan.
2021
Éducation

HackInScience est un logiciel de publication et de correction automatique d'exercices, son instance hackinscience.org est une collection d'exercices Python.

HackInScience est né en 2014 : j'enseignais alors le Python en université (promos d'environ 70 élèves), et avec les collègues on s'est dit qu'il serait bon de passer plus de temps à aider les élèves qu'a les corriger, que la correction c'était automatisable, mais que passer du temps avec eux, ça ne l'était pas.

Deux "on jette tout et on recommence" plus tard, et deux confinements plus tard, on en est là :

Tout le code est open-source, c'est un simple Django pour présenter les exercices, des websockets pour recevoir sans attendre la correction du bot, et un Celery pour "load-balancer" les rendus aux serveurs de correction. Je n'enseigne plus en université mais le site étant toujours en ligne, et les confinements aidant, il a trouvé son public : 1500 exercices sont réussis par semaine en ce moment.

J’essaye de passer deux semaines par an à plein temps sur le projet, en 2019 j’ai travaillé l’internationalisation (être traducteur de la doc de Python et ne pas traduire ses propres projets n’était pas bien sérieux…), et en 2020 la notion de classement et d’équipes.

Changeons ces logiciels open source qui nous espionnent

Posté par  (site web personnel) . Édité par Benoît Sibaud, Ysabeau 🧶, Florent Zara et Pierre Jarillon. Modéré par Benoît Sibaud. Licence CC By‑SA.
33
14
jan.
2021
Communauté

Bonne année chères amies et chers amis du libre,

Et si pour changer notre planète, nous essayions de changer le logiciel ? Je veux dire en créant des tickets et en soumettant des changements respectueux des utilisateurs aux projets libres, non ? (NdM: l’auteur de la dépêche évoque notamment les services de statistiques, de télémétrie, l’obligation d’accepter des conditions d’utilisation de services tiers, et le fait que les requêtes vers ces services tiers fournissent beaucoup d’information sur l’utilisateur, le tout sur trois projets libres dont deux proviennent de Google et un de Microsoft).

Bonne idée de résolution pour ce début de nouvelle année. ¯_(ツ)_/¯

10 minutes pour résumer l'activité de l'April en 2020

Posté par  . Édité par Xavier Teyssier et Ysabeau 🧶. Modéré par Pierre Jarillon. Licence CC By‑SA.
Étiquettes :
18
13
jan.
2021
Communauté

Depuis 1996, l’April mène un important travail de promotion et de défense du logiciel libre. Malgré une année 2020 éprouvante pour tout le monde, nous avons mené de nombreuses actions. En attendant la publication du rapport d’activités complet nous avons publié un résumé en une dizaine de minutes de lecture :

  • actions institutionnelles ;
  • émission de radio « Libre à vous ! » ;
  • participation au collectif CHATONS (Collectif des Hébergeurs Alternatifs, Transparents, Ouverts, Neutres et Solidaires) ;
  • actions de sensibilisation ;
  • logiciel libre et monde associatif ;
  • transcriptions ;
  • traduction de la philosophie GNU ;
  • revue de presse ;
  • activités internes…

Bonne lecture.

Bravo et merci aux bénévoles et à l’équipe salariée. Et merci à toutes les personnes qui nous soutiennent (par une cotisation ou un don).

Emmabuntüs célèbre ses 10 ans en plusieurs langues

Posté par  . Édité par Benoît Sibaud et Pierre Jarillon. Modéré par Xavier Teyssier. Licence CC By‑SA.
20
13
jan.
2021
Communauté

Ce lundi 4 janvier 2021, le collectif Emmabuntüs vient d’annoncer la sortie de sa nouvelle version Emmabuntüs Debian Édition Alpha 2, basée sur la Debian 11 Bullseye, disponible en 32 et 64 bits et supportant les environnements Xfce ainsi que LXQt.

C’est donc l’occasion de fêter dignement ses 10 années de présence en ligne, qui ont débuté par une interview donnée à Framasoft en janvier 2011, suivie de la mise en ligne de la distribution en mars 2011.

Rappelons que celle-ci est née au sein d’Emmaüs, pour faciliter le reconditionnement des ordinateurs donnés aux associations, notamment humanitaires, mais aussi pour favoriser la découverte de GNU/Linux par les débutants, tout en prolongeant la durée de vie du matériel informatique, ce qui réduit le gaspillage lié à la surconsommation de matières premières.

Une extension pour les remplacer toutes

Posté par  . Édité par Benoît Sibaud, Pierre Jarillon, Ysabeau 🧶 et Xavier Teyssier. Modéré par Benoît Sibaud. Licence CC By‑SA.
Étiquettes :
50
12
jan.
2021
Internet

L’extension TabFS (GPLv3) monte les onglets de votre navigateur web comme un système de fichiers sur votre ordinateur. C’est astucieux parce qu’à partir de là il est possible d’utiliser nos outils habituels pour manipuler les onglets. C’est comme scripter n’importe quelle partie de l’ordinateur. Plus besoin d’extensions qui alourdissent dès lors qu’on peut interagir avec les onglets et leur contenu à volonté.

Voyons comment cela se présente…

Revue de presse de l'April pour la semaine 1 de l'année 2021

14
12
jan.
2021
Internet

Cette revue de presse sur Internet fait partie du travail de veille mené par l’April dans le cadre de son action de défense et de promotion du logiciel libre. Les positions exposées dans les articles sont celles de leurs auteurs et ne rejoignent pas forcément celles de l’April.

Ambassadeur pour le numérique - Émission « Libre à vous ! » du 5 janvier 2021 — Podcasts

Posté par  . Édité par Ysabeau 🧶. Modéré par patrick_g. Licence CC By‑SA.
8
12
jan.
2021
Communauté

Quatre-vingt-huitième émission « Libre à vous ! » de l’April. Podcast et programme :

  • sujet principal : discussion avec Henri Verdier, Ambassadeur pour le numérique

  • chronique de Marie-Odile Morandi sur le thème « Une résolution de début d'année pour chacune de nos 36 000 communes »

  • interview de Sarah Fernandez par Isabella Vanni sur le thème « L'association ARCAF (Autodéfense et Ressources pour le Choix et l'Autonomie des Femmes) et les logiciels libres »

Mise à niveau de EvalSMSI

17
11
jan.
2021
Sécurité

En novembre 2009 j’annonçais, sur LinuxFr.org, la publication de l’application EvalSMSI.

Initialement EvalSMSI était une application Web, sous licence GPLv3, développée en PHP/MySQL, permettant de réaliser l’évaluation d’un Système de Management de la Sécurité de l’Information (SMSI) selon la famile des normes ISO2700x.

Ces dix dernières années EvalSMSI a continué à évoluer pour devenir un logiciel open source d’autoévaluation et d’audit multi-référentiels. Il permet à une entité de mettre en place et de suivre son SMSI à partir de sa propre politique de sécurité du système d’information (PSSI) ou d’un autre référentiel de son choix.

Agenda du Libre pour la semaine 2 de l'année 2021

Posté par  . Édité par Benoît Sibaud et Ysabeau 🧶. Modéré par Benoît Sibaud. Licence CC By‑SA.
12
11
jan.
2021
Communauté

N. D. M. : vu le contexte de pandémie de Covid‑19 et les restrictions locales ou nationales (Belgique, France, Québec et Suisse) sur les rassemblements, certains événements sont susceptibles d’être annulés (que les organisateurs aient pensé à mettre à jour l’Agenda du Libre ou non).

Calendrier Web, regroupant des événements liés au Libre (logiciel, salon, atelier, install party, conférence), annoncés par leurs organisateurs. Voici un récapitulatif de la semaine à venir. Le détail de chacun de ces 29 événements (France: 28, autre: 1) est en seconde partie de dépêche.

Bâtir une communauté comme un service

Posté par  (site web personnel) . Édité par Benoît Sibaud, NeoX, Anonyme, Ysabeau 🧶 et claudex. Modéré par Ysabeau 🧶.
44
9
jan.
2021
Culture

Du 19 au 22 novembre 2020, Debian a organisé une « MiniDebConf » en ligne avec pour thème principal le jeu vidéo, et nattie a invité le projet Unvanquished à soumettre une conférence. Membre actif de ce projet j’ai proposé le sujet suivant :

Bâtir une communauté en tant que service : comment cesser de souffrir de « ce code est censé être forké ».

Dont voici la présentation :

Il est connu que les précédents moteurs id Tech ont vu leur code source ouvert lorsqu’ils furent remplacés et donc non rentables. Bien que l’apport à l’humanité fut gigantesque, les développeurs de jeux souffrent encore aujourd’hui des choix de conception et de l’état d’esprit induit par le fait qu’une telle base de code était destinée à mourir. 20 ans plus tard, nous nous concentrerons sur l’héritage de l’id Tech 3, sur la manière dont le marché, les communautés open source et les pratiques de développement ont évolué, et nous embarquerons dans l’aventure de la transition nécessaire depuis des vidages de dépôt de code mort à un écosystème en tant que service.

Mini Deb Conf: bâtir une communauté comme un service

En partant de divers exemples tirés de l’industrie du jeu vidéo, la conférence est le fruit d’une quinzaine d’année d’observations et d’immersion et développe une réflexion plus large sur la nature d’un service, le besoin de développer des communautés, la place de la collaboration dans une communauté de logiciel libre, comment des choix de conceptions peuvent induire un état d’esprit qui nourrit la conception à son tour, etc. Sont abordées certaines problématiques comme le coût (éventuellement caché) de certaines pratiques, la nature d’une économie, ou encore comment certaines méthodes encouragent plus volontiers la production de déchet ou bien le recyclage de la production.

Cette conférence de 45 minutes a été donnée en ligne, en anglais, le dimanche 22 novembre 2020 à 19:30 UTC.

Cette dépêche propose une retranscription et traduction en français de cette conférence. La vidéo peut également être visionnée en anglais avec un sous-titrage francophone (ou anglophone).

Merci à Debian pour l’accueil et l’organisation de l’événement et à Thomas Vincent de Debian France pour la transformation de la retranscription en sous-titres et le fastidieux travail de synchronisation, ainsi que son méticuleux travail de relecture et de correction de la traduction en français.

Note de l’auteur — Cet article et la retranscription sont couverts par les termes de la licence CC 0 1.0 « Transfert dans le domaine public ».

Statistiques 2020 du site LinuxFr.org

Posté par  (site web personnel) . Édité par olivierweb et antistress. Modéré par Ysabeau 🧶. Licence CC By‑SA.
Étiquettes :
29
8
jan.
2021
LinuxFr.org

C’est peu dire que l’année 2020 a été particulière (pour nos visiteurs venus en DeLorean, en cabine de police britannique ou pour les rejetons de Skynet, rappelons la pandémie de Covid-19, les deux périodes de confinement en France, beaucoup moins d’occasions de voir les contributeurs du site vu le manque d’événements, etc.). Quel effet sur l’activité du site LinuxFr.org en 2020 ? Quelles évolutions en termes de trafic Web, de contenus créés, de commentaires déposés, de navigateurs utilisés, d’utilisation des fonctionnalités du site, de contribution au code, etc. Bref, qu’est‐ce qui a changé et de quelle manière durant 2020 ?

Le site rend accessible un grand nombre de statistiques (faites‑vous plaisir si vous souhaitez vous plonger dedans, c’est fait pour) ; cette dépêche résume les variations constatées en 2020.

Fondation pour le Logiciel Libre – Émission « Libre à vous ! » du 15 décembre 2020 — Podcasts

Posté par  . Modéré par Benoît Sibaud. Licence CC By‑SA.
11
8
jan.
2021
Communauté

Quatre-vingt-septième émission « Libre à vous ! » de l’April. Podcast et programme :

  • sujet principal : présentation de la Fondation pour le Logiciel Libre, Free Software Foundation, FSF, avec Geoffrey Knauth, président de la Fondation et Odile Bénassy, développeuse de logiciels libres, administratrice de la FSF depuis quelques mois ;
  • chronique « Le fil rouge de la musique libre » par Éric Fraudain, créateur du site Au Bout Du Fil. Éric nous présente l'artiste Darren Curtis
  • chronique « Le libre fait sa comm' » d'Isabella Vanni, coordinatrice vie associative et responsable projets à l'April, sur l'importance de ne rien lâcher face à une commune se vantant de distribuer gratuitement des logiciels non libres aux élèves de l'école primaire

Rendez‐vous en direct chaque mardi de 15 h 30 à 17 h sur 93,1 MHz en Île‐de‐France. L’émission est diffusée simultanément sur le site Web de la radio Cause Commune.

Vous pouvez laisser un message sur le répondeur de la radio, pour réagir à l’un des sujets de l’émission ou poser une question. Le numéro du répondeur : +33 9 72 51 55 46.

Systèmes d'exploitation pour téléphones — partie 4 : Firefox OS 🦊🚀

36
7
jan.
2021
Mobile

Cette quatrième dépêche nous emmène dans les coulisses de Firefox OS, ses origines, ses motivations, les orientations stratégiques, les succès, le cauchemar de la direction de Mozilla, la coupe budgétaire, l’échec de la poursuite par la communauté… et, et, un survivant…

Le logo de Firefox OS représente un renard avec une grande queue de flammes alors que pendant des années nous répétions à tous ceux qui osaient traduire “Firefox” par “Renard de feu” que la vraie signification était “Panda roux”…

La trop volumineuse dépêche originelle découpée en petites bouchées :

  1. Les premières initiatives ☎😍
  2. La lignée de Maemo à Nemo 🔒
  3. Le libre sur la planète Android 🤖💚
  4. La saga Firefox OS 🦊🚀       ← Vous êtes ici
  5. Ubuntu sur ordi et téléphones 🖥️📲

Pour les estomacs coriaces, la dépêche indigeste est disponible sur deux dépôts Git miroirs : Framagit et GitHub.

Merci de nous aider pour les dépêches en cours de rédaction. 📳💟
Après publication, continue de faire vivre ces informations en proposant ta 🐔 sur un des dépôts Git.

Systèmes d’exploitation pour téléphones — partie 3 : Android 🤖💚

47
6
jan.
2021
Mobile

Avec cette dépêche sur les systèmes d’exploitation plus ou moins libres pour téléphones, partons à l’exploration de l’écosystème Android, dont la progression a fasciné les libristes il y a une dizaine d’années, car synonyme de victoire du logiciel libre. Puis, nous nous sommes rendu compte que les téléphones Android ne sont pas si libres que ça et que de grandes organisations l’utilisent pour épier notre vie privée.

Qu’est‐ce qui reste de libre ? En quels systèmes Android pouvons-nous avoir confiance ? Faisons le tour des nombreuses initiatives et reprenons le contrôle sur notre téléphone. 📱😍

Les dépêches :

  1. Les premières initiatives ☎😍
  2. La lignée de Maemo à Nemo 🔒
  3. Le Libre sur la planète Android 🤖💚   ← Vous êtes ici
  4. La saga Firefox OS 🦊🚀
  5. Ubuntu sur ordi et téléphone 🖥️📲

Tout est regroupé sur deux dépôts Git : Framagit et GitHub.

Une fois publiée, une dépêche LinuxFr.org est rarement modifiée. Néanmoins, les articles sur les dépôts Git peuvent toujours bénéficier de tes suggestions, même plusieurs années après la publication.

Medo, un éditeur de vidéos pour Haiku

42
6
jan.
2021
Audiovisuel

La première version bêta de Medo vient d’être publiée. Il s’agit d’un éditeur de vidéos pour Haiku, extensible par des greffons OpenGL et GLSL.

Le paquet comprend plusieurs effets, comme :

  • manipulation des couleurs (saturation, exposition, température, etc.) ;
  • balance des blancs et courbes d’ajustement des couleurs ;
  • utilisation des LUT (Look Up Tables) Adobe ;
  • création de masques et de keyframes ;
  • plusieurs effets de transition ;
  • plusieurs effets spéciaux (flou, vision nocturne, chroma key, etc.) ;
  • transformations spatiales (rotation, translation, mise à l’échelle, recadrage) ;
  • incrustation de texte, y compris des polices 3D ;
  • manipulation du son (égaliseur 20 bandes, « fade »).