Voir les billets dans toutes les langues

LFS 9.0 est publiée !

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

Lirefrdim. 01 septembre 2019

Coq kanalo por Guix

Rapida mesaĝo por anonci la kreadon de malgrandan kanalon por Guix. Ĝi enhavas multajn versiojn de la pruvada asistilo Coq.

Lireeojeu. 27 juin 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

Mi parolas esperanton

Ĉi tiu blogero estas ekzemplo, sed mi vere parolas esperanton (iomete).

Lireeolun. 25 février 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

Astuces pour GNU Guix

Je contribue au projet GNU Guix. Voici quelques astuces pour rendre l'utilisation plus facile ou pour se sortir de situations a priori impossibles.

Lirefrlun. 15 janvier 2018

My configuration

Here is the configuration file I use for the GuixSD system that hosts this website.

Lireensam. 02 septembre 2017

Mia konfiguro

Jen la konfigura dosierulo ke mi uzas por krei la GuixSD sistemon kio gastigas ĉi tiu retejo.

Lireeosam. 02 septembre 2017

Ma configuration

Voici le fichier de configuration que j'utilise pour le système GuixSD qui héberge ce site.

Lirefrsam. 02 septembre 2017

LFS 8.1 est publiée !

Avec la rentrée, LFS arrive en version stable 8.1 !

Lirefrsam. 02 septembre 2017