Soutenance de thèse

Je soutiendrai ma thèse le 11 décembre prochain. La soutenance est publique.

Lirefrlun. 02 décembre 2019

Guix sur une carte ARM

J'ai publié un article sur le blog de Guix à propos de l'installation d'un système sur une carte ARM. En voici une traduction.

Lirefrmer. 27 novembre 2019

LFS 9.0 est publiée !

Comme d'habitude en septembre, LFS arrive en version stable 9.0 !

Lirefrdim. 01 septembre 2019

Canal coq pour Guix

Un petit billet pour annoncer la création d'un petit canal pour Guix, contenant plusieurs versions de l'assistant à la preuve coq.

Lirefrjeu. 27 juin 2019

Scala et sbt, bientôt dans Guix ?

Je voudrais pouvoir faire du développement android sur Guix, mais nous n'avons pas encore tous les outils. L'un d'entre eux, gradle, dépend de scala et sbt. J'ai un peu avancé sur le sujet, alors faisons un petit point.

Lirefrlun. 21 janvier 2019

LFS 8.3 est publiée !

Comme d'habitude en septembre, LFS arrive en version stable 8.3 !

Lirefrlun. 03 septembre 2018

Guix sur Android

J'ai publié un article rigolo sur le blog de Guix. En voici une traduction.

Lirefrdim. 29 avril 2018

LFS 8.2 est publiée !

Pour le printemps, LFS arrive en version stable 8.2 !

Lirefrlun. 19 mars 2018

Modifier l'image de démarrage Android

Ce soir j'ai décidé de décortiquer le fonctionnement du démarrage sous Android. J'attrape un ancien téléphone à moi, et je tente de modifier l'image de démarrage.

Lirefrmar. 27 février 2018