fosstodon.org is one of the many independent Mastodon servers you can use to participate in the fediverse.
Fosstodon is an invite only Mastodon instance that is open to those who are interested in technology; particularly free & open source software. If you wish to join, contact us for an invite.

Administered by:

Server stats:

10K
active users

#declarative

2 posts2 participants0 posts today

Want #cloudnative but with the power of #declarative configuration? The recoverability of #transactions for system configuration?

Wednesday it's the online #guix meet-up! With a great talk by @paulbutgold
about running docker / oci containers using the Guix configuration system.

His Gocix project has #prometheus, #grafana, #forgejo, #conduit and #traefik examples.

Meet-up details:

meetup.com/guix-social/events/

#nix#linux#oci

For #guix social I'm going to do a talk for #beginners on trying #guix as a #linux distribution. Basically, how to install Guix System, and getting started.

I'm going to do it in a #kvm #vm as that's an easy way to try the #nix derived #declarative goodness without fully committing.

What do you think the key things are to cover? Any particular sticky areas? Anything that was super interesting when you were getting started? What do #beginners need to know?

#programming #example #tutorial #commonLisp #series #declarative #functionalProgramming #lazyEvaluation #medium #article

medium.com/@screwlisp/common-l

I cover
- getting series and using it in a package
- Series' mapping
- Series' iteration (perform a side effect for the whole series, return nothing)
- Series' alter (in-place destructive modification of its input sequence)

Medium.com says it's possible to read my article in two minutes. Feel free to respond with the number of minutes it took you.

Medium · Common lisp lazy efficient series example - screwlisp - MediumBy screwlisp

What kinds of contributions do people make to #guix ?

As a #GNU #Linux package manager and distribution unsurprisingly most send patches to update packages.

But people also help by reviewing patches, handling and testing bugs, writing documentation and translating.

And it's easy to get started - there's even a handy web page:

guix.gnu.org/en/contribute/

And if you're at #FOSDEM there will be plenty of #guix people at the #Declarative computing room on Sunday, or maybe even the #Nixos room

guix.gnu.orgContribute — GNU GuixCheck all the ways you can contribute to make GNU Guix better, and join the world-wide community of volunteers.

How is #guix used as a #GNU #Linux #distro ?

System level packages are managed through #declarative configuration same as #nixos . User level packages using Guix Home.

Roughly 50% use guix home to manage their #dotfiles - big increase over hosted users.

40% to package their own #software - 36% for #isolated #development.

Lots of requests to deal with #dev dependencies (e.g. Python's requirements.txt) and languages like #rust #golang and #npm

See:

guix.gnu.org/en/blog/2025/guix

About 50% of users adopt #guix as a #gnu #linux distribution. Most in a #linux #desktop config.

That surprised me as it's harder than starting with it as a hosted package manager.

A lot of #linux #developers are interested in #declarative configuration. Feels like people are experimenting with #nix and #guix. Users commonly mentioned #nixos #archlinux #debian and #ubuntu

About 5% initially adopt as a server, and then when they have confidence it goes up to about a third. That's cool!

Replied in thread

#guix is growing and many new users are adopting it!

Almost 75% of the user-base are recent adopters having used it for less than 4 years. 50% less than 2 years!

It's a similar to #Nix who's survey showed 65% of users were 0-2 years.

There's been a surge of interest in the benefits of #declarative and #reproducibility.

And with #guix we also get #lisp and #gnu #freesoftware - but don't worry you don't _have_ to use #emacs to use Guix (said the #vim user)

See:

guix.gnu.org/en/blog/2025/guix

The #guix survey also showed that our users are knowledgeable #Linux people. Almost 50% are experts/advanced and 47% are intermediate!

A lot of the attraction is the #nix value of declarative configuration and reproducibility. Users also identified that Scheme, Guile and Lisp are cool! Perhaps the overlap of two different communities! That was my path from #clojure and #ubuntu /#debian

See Q1 in the post:

guix.gnu.org/en/blog/2025/guix

#scheme#emacs#guile

#Coding_Fridays : Estimation of cos(x) via dynamic series in Clojure

This is a very simple code snippet demonstrating the basic syntax of Clojure, which is considered as an "improved LISP" but with very important additional advantages, like being JVM-based and very closely tied to Java idioms.

Watch the full video in Youtube channel central -- youtube.com/@apneacoding

#Coding_Fridays : Fibonacci numbers calculation in Elixir

This is a very simple code snippet demonstrating the basic syntax of Elixir, which is considered as one of the 'pure' functional languages with a rich set of idioms.

See the full video in Youtube channel central -- youtube.com/@apneacoding

Source code available at the Github repository (see channel info).

Replied in thread

@flypaper For learners the difficult part - which you're already through - is #declarative config. Both #guix and #nix are the same here. I find #scheme easier to read.

#guix is a small community compared to #Nix. To get the best from it you need to 'actively' hangout with people. Be on #irc (yup!) and the mailing list.

#Nix users think #guix has a 'lack of software' and no 'proprietary'. For #modules and proprietary there is #nonguix. The #guix way is less centralised with channels.

Firing up #Inform7 on my #Mac to write another #interactiveFiction #game. Getting stuck into the prologue. This will be a much bigger game than I've written before, including 7 main sections in the #code. It is going to take some time. So best get on with it sooner rather than later! Excited to be back #coding. There's something magical about using this #declarative / #naturalLanguage / #objectOriented #programming language and IDE. #GameDev #IndieGame #TextGames #Parser #TextAdventure #Inform

#Coding_Fridays : Fibonacci numbers calculation in Erlang

This is a very simple code snippet demonstrating the basic syntax of #Erlang, which is considered as one of the 'pure' functional languages with a rich set of idioms.

See the full video in the Youtube central channel -- youtube.com/@apneacoding

Enable captions for more details and walk-through. Source code available at the Github repository (see channel info).