Hi, 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/> Awesome! As I replied on Fediverse, congratulations and welcome to the nascent Guix and Guile commercial services community; it's exciting to see it grow. Hopefully it'll means Guix becomes attractive to more businesses, knowing they can find and get the support they need. > 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. Haha! Your introduction paragraph made me laugh. :-). [...] > 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/>. That sounds really interesting! Perhaps you can turn GNU Hurd into a competitor to seL4? That'd be something. I wish you the best of luck and look forward to what's to come from it! -- Thanks, Maxim
