Je soutiendrai ma thèse le 11 décembre prochain. La soutenance est publique.
Lirefrlun 02 Decembro 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 Novembro 2019
Comme d'habitude en septembre, LFS arrive en version stable 9.0 !
Lirefrdim 01 Septembro 2019
Un petit billet pour annoncer la création d'un petit canal pour Guix, contenant plusieurs versions de l'assistant à la preuve coq.
Lirefrĵaŭ 27 Junio 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 Januaro 2019
Comme d'habitude en septembre, LFS arrive en version stable 8.3 !
Lirefrlun 03 Septembro 2018
J'ai publié un article rigolo sur le blog de Guix. En voici une traduction.
Lirefrdim 29 Aprilo 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 Februaro 2018