janneke @janneke@octodon.social

#Rust for #Linux: https://github.com/Rust-for-Linux

This is:

1. Terrific! Memory-safe kernel code, woohoo!
2. Terrible! Unbootstrappable, memory-unsafe code still around, monolithic kernel weaknesses still here.

🎉 GNU Guile 3.0.7 has been released 🎉

https://lists.gnu.org/archive/html/guile-user/2021-05/msg00026.html

#gnu #guile #scheme #lisp #guix

#GNU #Guix 1.3.0 is out, woohoo! 🎉

👉 https://guix.gnu.org/en/blog/2021/gnu-guix-1.3.0-released/

Lots of good stuff in there: usability improvements, performance improvements, #POWER9 support, and more!

@brab Great to see camlboot mentioned. The paper by Gabriel et al. on #bootstrapping is delightful!
http://gallium.inria.fr/~scherer/drafts/camlboot.pdf

Cc: @roptat @janneke

Pre-Scheme: A low-level dialect of scheme https://thintz.com/resources/prescheme-documentation

Pre-scheme is what scheme48's lowest level is written in... it's also uses Hindley-Milner type inference! Neat!

Did I mention that we at Igalia are hiring? We're hiring! Join our respectful egalitarian flat cooperative structure and let's build free open source software together. ❤️​

https://www.igalia.com/jobs/

For students we also offer a CE programme:

https://www.igalia.com/coding-experience/

Several areas of work are possible.
We're very remote-friendly.

“Getting bytes to disk more quickly”—the story of optimizing substitute download speed in #GNU #Guix:
https://guix.gnu.org/en/blog/2021/getting-bytes-to-disk-more-quickly/

Presenting "A Lisp REPL as my main shell" for FOSDEM2021:
https://fosdem.org/2021/schedule/event/lisprepl/

#fosdem #lisp #repl #shell #commonlisp #sly #emacs

System Crafters made a nice video introduction to #GNU #Guix:
https://www.youtube.com/watch?v=iBaqOK75cho (51 mn)

It’s an intro but it goes in depth, gently diving into package definitions and OS declarations.

I just watched a talk by a kiddo, Alice M., "Here's how you can get all your day-to-day computing done with free software". Nice 👍

I hope kids join the GNU Guix soon.

#LibrePlanet2021 #GNU #Guix

"GNU Mes - the Full Source Bootstrap
Reproducibility is not enough: The missing link between stage0/M2-Planet and Mes",
@janneke 's 2021 FOSDEM talk on the latest state of the bootstrappability work in Guix:

fosdem.org/2021/schedule/event…

(not yet watched)

Whoo, it's pretty rough around the edges, but this is probably the first #Guix Build Coordinator agent build on the GNU Hurd!

I attended most of the talks in the “Declarative” #FOSDEM track today and I enjoyed them all!
https://fosdem.org/2021/schedule/track/declarative_and_minimalistic_computing/

It’s been truly inspiring all along, and perhaps one of the best programs this devroom has had over the last few years. Thank you, fantastic hackers!

My #Guix talk covered various #declarative aspects of #Guix—perhaps too many in hindsight!
https://fosdem.org/2021/schedule/event/gnuguix/

#FOSDEM

The talk ended up looking like a demo of new features I worked on as I was preparing it.

One of the things I showed is the #GNU #Guix System Explorer, a new tool to visualize and query system components and their connections:
https://notabug.org/civodul/guix-explorer

We would like to thank you all for attending, all the help from the many many volunteers and hope to see you (in person) again next year! Please help us improve by sending feedback to feedback@fosdem.org

"The Death of Openness and Freedom?
Open Source Under Attack"
was a bloody good talk https://fosdem.org/2021/schedule/event/open_source_under_attack/

#fosdem #FOSDEM2021

Day 2 of #FOSDEM2021 is here! Make sure to stop by our booth for some fun info and links and to check out today’s chat schedule. https://stands.fosdem.org/stands/the_gnome_foundation/gnome/