Chers lecteurs,

J'ai le plaisir d'annoncer la première sortie de DAFT (v0.0.1).

https://github.com/UnixJunkie/daft

DAFT est un outil en ligne de commande pour transférer des fichiers de manière sécurisée, par exemple pendant une expérience computationnelle distribuée. C'est le compagnon idéal (pour les fichiers) de logiciels tels que PAR ou GNU parallel. PAR est un outil pour bouger efficacement ses données quand il n'y a pas de système de fichier distribué d’installé sur les noeuds. PAR ne nécessite pas de droits root (…)

Cher Journal,

J'ai l'impression qu'en France et en Europe, il y a sûrement des entreprises et des organisations qui font des trucs "cools", mais elles ne sont pas mises en avant.

Ce que j'appelle des trucs "cools", ce sont des projet orientés très programmation système (en C) ou programmation fonctionnelle (principalement OCaml, Haskell et Erlang. Mais ça peut aussi être C++14, Scala, Clojure, …) ou « big data », avec du R&D de préférence libre.

J'ai cherché, je n'ai presque (…)

Bonjour nal,
Aujourd'hui je vais te parler de résolution naïve d'un problème combinatoire, en explorant un arbre. Le problème vient d'un jeu de société, et la résolution se fera en Haskell, illustrant des notions intéressantes : Anamorphisme et Deforestation_(computer_science).

Explication du jeu

Le jeu du Ricochet Robots est un jeu de société constitué d'une grille de jeu, comportant des cases, avec des murs certains côtés, et certaines cases ayant un symbole d'une certaine couleur.

Quatre Robots (chacun d'une (…)

C'est un fait : la programmation fonctionnelle à la vent en poupe (enfin, de nouveau), et les processeurs multi-cœurs y seraient pour quelque chose.

Haskell est connu pour être un de ces langages puissants, mais pas forcément simple à aborder, surtout qu'il peut-être fainéant. Bref, il est souvent recommandé de s'y connaître un peu en fonctionnel avant de s'y attaquer.

Mais voilà, Richard Bird vient de sortir un nouveau livre permettant de découvrir la programmation fonctionnelle et haskell en (…)

• Une comparaison rapide de Rust et C++ si vous êtes pressé

• Il est resté cloîtré 7 ans en rase campagne avec un 486 pour seul compagnon, il a écrit son OS. Émouvant

• Un jeune physicien anglais propose une théorie physique de la Vie révolutionnaire. D'après ce que j'en ai compris, il a découvert le principe d'auto-organisation au niveau moléculaire, qui remet en perspective le second principe d'entropie.

• Les Anglais veulent refaire un Concorde. Il pourrait même aller dans (…)

John Carmack, c'est ce développeur de renom chez IdSoftware, qui a participé à la création de titres phares du jeu vidéo PC avec la série des Doom, des Wolfenstein et des Quake. Bien que n'étant pas des logiciels libres, leurs moteurs sont régulièrement libérés et LinuxFR se fait l'écho de ces libérations depuis sa création (ici, là et là par exemple). Bref tout ça pour dire que je sais bien qu'il ne fait pas du logiciel libre, (…)

On est souvent confronté dans le développement à des besoins constants d'évolution de structures de données. C'est pourquoi on possède maintenant de nombreux outils qui gèrent la migration, la colle objet-relationnel et autres problématiques purement techniques.

Mais peut-on construire une structure de donnée totalement générique, étanche à l'évolution des données à encoder ?
J'entend généricité par sa capacité à exprimer n'importe quel contenu sémantique.

M'étant pas mal amusé avec Attempto Controlled English, je m'en suis inspiré pour construire une structure (…)

Voici un bel ouvrage sur Scheme et la programmation en général paru récemment chez Ellipses : Premiers cours de programmation en Scheme de Jean-Paul Roy.

Jean-Paul Roy est agrégé en mathématique et enseigne au département informatique de l’Université de Nice Sophia-Antipolis. Il enseigne depuis plusieurs années LISP et est connu des schémeurs francophone pour son Mémento du schémeur.

L’ouvrage qui nous occupe est, selon les dires même de l’auteur, le fruit attendu de ces nombreuses années à enseigner (…)