Hey Janneke,

Janneke Nieuwenhuizen <[email protected]>, Janneke Nieuwenhuizen 
<[email protected]> writes:

> Hi, Guixers and Guilers!
>
> It is a grand pleasure to finally introduce Reasonable Sourcery, our
> sociocratic research and development worker cooperative aimed at
> Correctness for Free Software, and Free Software for Correctness
> (thank you Pjotr ;)
>
>     <https://reasonable-sourcery.coop/>

Congratulations! This is a beautiful and exciting motto.

> For starters, we will apply this in order of appearance to:
>
> - GNU Shepherd <https://gnu.org/s/shepherd>
> - Spritely Goblins <https://spritely.institute>
> - GNU Hurd <https://gnu.org/s/hurd>

Looking forward to seeing what model checking could bring in this areas!

> This cooperative also enables us to sustain the work on GNU Mes, the
> Guix bootstrap
> <https://guix.gnu.org/en/blog/2023/the-full-source-bootstrap-building-from-source-all-the-way-down/>,
> and Hurd support in Guix
> <https://guix.gnu.org/en/blog/2024/hurd-on-thinkpad/>.

And that’s great too.  We need these activities to be sustainable.

Best luck to the two of you with your endeavors!

Ludo’.

Reply via email to