Re: Introducing Reasonable Sourcery: a Guile/Guix hackers R&D cooperative

October 5, 2025 at 9:47 AM, "Janneke Nieuwenhuizen" <[email protected] mailto:[email protected]?to=%22Janneke%20Nieuwenhuizen%22%20%3Cjanneke%40gnu.org%3E > wrote:



> 
> 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/> https://reasonable-sourcery.coop/%3E 
> 
> As our lofty goals are not entirely foo, they're also not devoid of
> some quixotism, we can only hope that Reasonable Sourcery may exist
> somewhere on the spectrum between Guixotic and the Spritely Institute.
> Kudos to Guixotic for beating us to the punch and setting the bar.
> 
> Founders are two people that you may have heard of: Janneke
> Nieuwenhuizen (janneke) and Rutger van Beusekom (regtur).
> 
> Our ultimate goal is to bring model checking to Scheme by augmenting
> it through a SRFI.
> 
> For starters, we will apply this in order of appearance to:
> 
> - GNU Shepherd <https://gnu.org/s/shepherd> https://gnu.org/s/shepherd%3E 
> - Spritely Goblins <https://spritely.institute>/
> - GNU Hurd <https://gnu.org/s/hurd> https://gnu.org/s/hurd%3E 
> 
> 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/>, https://guix.gnu.org/en/blog/2023/the-full-source-bootstrap-building-from-source-all-the-way-down/%3E, 
> and Hurd support in Guix
> <https://guix.gnu.org/en/blog/2024/hurd-on-thinkpad/> https://guix.gnu.org/en/blog/2024/hurd-on-thinkpad/%3E .
> 
> Many thanks to the Guile and Guix communities for your ongoing
> inspiration!
> 
> Greetings,
> Janneke and Rutger
> 
> -- 
> Janneke Nieuwenhuizen <[email protected]> | GNU LilyPond https://lilypond.org/
> Freelance IT https://www.joyofsource.com/ | Avatar® https://avataracademy.com

May I make a recommendation?  If you are hoping for donations, perhaps you could
offer some simple web services...XMPP server, email, etc.  Perhaps people would
be more likely to give some money if they paid for a service.

I wish you good luck!  It sounds like you are doing some awesome work!