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!
