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/>
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>
- Spritely Goblins <https://spritely.institute>
- GNU Hurd <https://gnu.org/s/hurd>
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/>.
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
