Résultat électoral : le nouveau DPL est…

Posté par . Édité par Davy Defaud, Yvan Munoz, palm123, Benoît Sibaud, patrick_g et BAud. Modéré par patrick_g. Licence CC by-sa
42
21
avr.
2017
Debian

La période électorale franco‐française arrive bientôt à son terme, ce qui nous a valu des journaux sur les systèmes de vote et d’autres, un peu plus gratinés, de colleurs d’affiches. Pendant ce temps, dans le monde du logiciel libre, une élection avait lieu de son côté : Debian élisait son nouveau responsable en la personne de Chris Lamb. Cette dépêche est l’occasion de revenir sur son déroulement et son résultat.

Journal Arrestation du développeur Debian Dmitry Bogatov

Posté par . Licence CC by-sa
53
18
avr.
2017

Le 17 avril, le projet Debian a appris l'arrestation de Dmitry Bogatov (en) par les autorités russes.

Dmitry Bogatov est un enseignant en mathématiques, et un contributeur Debian actif. En tant que mainteneur Debian, par exemple, il travaillait dans le groupe Haskell et maintenait actuellement de nombreux paquets d'outils systèmes et en ligne de commande.

Pour le moment, les raisons de son arrestation et ce qui lui est reproché ne sont pas connues. Le projet a tout de même pris (...)

Journal Résultat électoral : le nouveau DPL est...

Posté par . Licence CC by-sa
22
17
avr.
2017
Ce journal a été promu en dépêche : Résultat électoral : le nouveau DPL est….

En cette période électoral, dans la lignée de certains journaux polémiques de ces derniers jours, je me devais de faire un journal pour relater le résultat d'une élection tombé hier. Non, il ne s'agit pas du résultat du référendum s'étant déroulé en Turquie ! On est sur LinuxFr.org, on y parle de logiciels libres et de ce qui gravite autour du libre en général. Je parlerais donc de l'élection du nouveau leader d'une des distributions majeures (et celle que j'utilise) (...)

Journal Xavier Leroy est le lauréat 2016 du Prix Milner.

Posté par . Licence CC by-sa
52
25
nov.
2016

Hier, jeudi 24 novembre 2016, Xavier Leroy a reçu le prix Milner à Londres à la Royal Society. Le prix Milner est le plus grand prix européen en informatique; il est décerné conjointement par la Royal Society, l'Académie des Sciences et l'académie allemande Leopoldina. Il est décerné en l'honneur de l'informaticien britannique Robin Milner qui fut lauréat du Prix Turing en 1992.

Le prix revient cette année à Xavier Leroy pour ses travaux tant théoriques que pratiques sur la fiabilité (...)

Journal Tagless-final ou l'art de l'interprétation modulaire.

Posté par . Licence CC by-sa
31
22
nov.
2016

Dans la lignée du journal EDSL et F-algèbres, ce journal présente une méthode pour plonger un langage dans un autre (ici OCaml) qui généralise la précédente et centrée autour de la notion d'interprétation. Contrairement aux méthodes plus courantes pour résoudre cette question, la méthode tagless-final permet également de résoudre le problème de l'extensibilité : étendre un type de donnés, ajouter des opérations dessus, sans avoir à réécrire du code déjà compilé et cela avec la sécurité du (...)

Apprendre la programmation fonctionnelle avec le MOOC OCaml

Posté par . Édité par Benoît Sibaud, palm123, jcr83 et dourouc05. Modéré par Yvan Munoz. Licence CC by-sa
26
15
sept.
2016
Éducation

Pour la deuxième année consécutive, l'université Paris Diderot, en partenariat avec la Sorbonne, INRIA, IRILL et OCamlPro, organise un MOOC d'initiation à la programmation fonctionnelle avec le langage OCaml. Les leçons débuteront le 26 septembre 2016 et se termineront le 12 décembre. Les cours seront donnés en anglais mais des sous-titres sont disponibles aussi bien en anglais qu'en français. Il est toutefois possible de s'inscrire jusqu'au 25 novembre pour les retardataires.