Je soutiendrai ma thèse le 11 décembre prochain. La soutenance est publique.
Lirefrlun. 02 décembre 2019
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
Comme d'habitude en septembre, LFS arrive en version stable 9.0 !
Lirefrdim. 01 septembre 2019
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
Comme d'habitude en septembre, LFS arrive en version stable 8.3 !
Lirefrlun. 03 septembre 2018
J'ai publié un article rigolo sur le blog de Guix. En voici une traduction.
Lirefrdim. 29 avril 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