I got a working compiler built with ! If you recall, this is a dependency I need to build , the build system used by apps and many others.

Don't get too excited though, it's only the first of a very long bootstrap chain. That kotlin I built is from 2012, the last that did not require kotlin to build.

This is all thanks to the excellent work done by Emmanuel Bourg, at github.com/ebourg/kotlin-boots, on top of which I bootstrapped all other dependencies.

I got adb and fastboot building from the latest android release in ! It was quite difficult because I chose to reimplement the build system. Soong makes too many assumptions and it was too hard for me to make it work outside a huge monolithic source directory.

Build them from this channel:


Before continuing on packaging the rest of , I'll fix cross-building (libcxx is broken) and implement the rest of the importer.

Finally, the first package to use the build system!


Took me some time to tweak the build system to make it work properly.

Coucou ! On a traduit l'annonce de sortie de 1.3.0 avec @alice et on l'a publié sur linuxfr :)


Bonne lecture !

Finally, I released Guile Netlink 1.0. It implements netlink, rtnetlink and a high-level API inspired by iproute2. So you can do (addr-add "enp1s0" "") from guile!

Hopefully, the high-level API can be used on Linux to replace our current implementation of container networking and static networking service type.

git clone git.lepiller.eu/git/guile-netl
home page: git.lepiller.eu/guile-netlink
doc: git.lepiller.eu/guile-netlink/

And that's the end of the Day !

Thank you everyone for participating, it's been a really great day! I hope to see you all again soon on IRC or the mailing list, and at a future Guix Day event maybe beginning of 2021 :)

Special thanks to our presenters who did very well, despite the obvious lack of preparation on our side ;)

Day: Starting the BoF (birds of a feather, flock together) for "The ways forward (roadmap and beyond)" chaired by @civodul :)

Join the fun: guixbbb.fosshost.org/b/zim-dmr

Day: Starting Q&A session for "Bootstrapping the Java Ecosystem" by... me :D

Join the fun: guixbbb.fosshost.org/b/zim-dmr

Day: Starting BoF (birds of a feather, flock together) for "Rust and Cargo" chaired by John Soo :)

Join the fun: guixbbb.fosshost.org/b/zim-dmr

Technical issues during the Day. Starting the Q&A for the talk "Guile Hacker Handbook" by @jeko in 5 minutes! The rest of the schedule remains the same.

Join the fun: guixbbb.fosshost.org/b/zim-dmr

Day: Starting BoF (birds of a feather, flock together) for "Peer-to-peer substitutes and sources" by David Dashyan :)

Join the fun: guixbbb.fosshost.org/b/zim-dmr

Day: Starting Q&A for " Progress so far on the Guix Build Coordinator" by Chris Baines :)

Join the fun: guixbbb.fosshost.org/b/zim-dmr

Join the Day on Sunday! Click the link below to join the conference, from 10am:



there will only be an extended Q&A for each session. See the schedule and links to the talks below:


I'm looking forward to seeing you all. I'm so excited!

The online Day will take place on Sunday, November 22, and you can now watch the pre-recorded talks.


Or when you have time, until the 21. We will not have a dedicated time to watch them together on Sunday, instead we will have an extended Q&A of 25 (!) minutes for each subject.


Time for me to be annoying again!

The online Day will take place on November 22, and you have until November 6 to send your proposals!

If there is any subject on which you want to give a talk (15 to 45 minutes, it's up to you), please send your proposal to `guix-days@gnu.org`!

If you do not want to give a talk, but are willing to lead a discussion session on a specific topic during the conference, send us a message too!


The hackers are very happy to announce the first online Guix Day Conference on Sunday November, 22nd. This is open to everyone and will be held entirely online. Want to speak? Submit your proposal!

Talks will be released from the 14 to give everyone a chance to watch them, whatever their timezone.


Extreme debugging.

echo 0 > /sys/devices/system/cpu/cpu1/online

I worked a bit on my netlink implementation yesterday and added the RTM_*ADDR types for rtnetlink. This was enough for me to write some code that adds an IP address (v4 or v6) to an interface! The goal is to use it to replace the current static-networking-service-type in as it currently only supports ipv4. You can find the code here:


and I have a manual at git.lepiller.eu/guile-netlink/


Le réseau social de l'avenir : Pas d'annonces, pas de surveillance institutionnelle, conception éthique et décentralisation ! Possédez vos données avec Mastodon !