Re: A paper about Plan 9 and Guix

On Thu, Apr 04, 2024 at 10:20:04PM +0200, Edouard Klein wrote: > Dear Guix developers, > > A paper of mine has been accepted as a Work in Progress at the next > International Workshop on Plan 9 (http://iwp9.org/). > > I'll be presenting it not next week end, but the one after (12-14 April >

Re: GSoC 2024

t; Ludovic Courtès (civodul) > > Trusted computing: Goblins for GNU Guix > Christopher Webber, Ludovic Courtès and Pjotr Prins > > Guix Data Service revision processing instrumentation and performance > Christopher Baines > > Guile based build-tool > Pjotr Prins > > GNU

Re: GNU and GSoC

comes along. Any Hurd ideas out there? How about improved Guix support and test coverage? Or Mes - Ekaitz? GSoC gives extra helpers. Pj. On Fri, Feb 23, 2024 at 06:15:39PM -0500, Kierin Bell wrote: > > Hey Guix, > > Pjotr Prins writes: > > > The GNU project is a GSoC

GNU and GSoC

The GNU project is a GSoC org again. Last year Sarthak did a great job working on parameterization of Guix. It works, and you can try the code. See => https://guix.gnu.org/blog/2023/parameterized-packages-for-gnu-guix/ => https://blog.lispy.tech/ For this year GNU can propose projects again. We

Hurd download image is too small; Was: Re: Guix Hurd at… Guix@Paris! [Was: GNU Hurd at Guix days]

On Fri, Feb 09, 2024 at 08:27:49AM +0100, Tanguy LE CARROUR wrote: > May 2024 be the year of the Hurd! 爛 It looks like it with LLVM on Hurd coming! I predict the Guix, Hurd `Mes' next as a hackable system. Add SMP and RISC-V and the fun really starts. What a time to be alive :) BTW the Hurd

Re: Collecting Guix talks at FOSDEM

On Tue, Feb 06, 2024 at 09:19:15AM +0100, Tanguy LE CARROUR wrote: > Hi Pjotr, > > > Quoting Pjotr Prins (2024-02-06 08:39:25) > > It would also be nice to write a BLOG about what was discussed at Guix > > days > > I have notes about what sessions took p

Re: Collecting Guix talks at FOSDEM

Hi Steve, It would also be nice to write a BLOG about what was discussed at Guix days and FOSDEM. That way we get a historical record. If you take the lead we can collect the notes that were made and write a concise overview of each discussion. I am sure people are happy to help. That an idea?

Re: GUIX days and FOSDEM 2024

it again in 2025. Pjotr & Manolis. On Thu, Feb 01, 2024 at 01:35:31PM +0000, Pjotr Prins wrote: > Guix days is happening with a large group! To keep track of things we > have a guix days channel on matrix: > > https://matrix.to/#/#guix-days:matrix.org > > Pj. > --

Re: GUIX days and FOSDEM 2024

Guix days is happening with a large group! To keep track of things we have a guix days channel on matrix: https://matrix.to/#/#guix-days:matrix.org Pj.

Re: GUIX days and FOSDEM 2024

e in both cases. Pj. On Tue, Jan 16, 2024 at 05:32:09AM +0000, Pjotr Prins wrote: > Guix days has close to 40 participants now - that is the number we can > host in the main room due to fire regulations. Do add yourself if you > intend to join because if we are too many we'll go by this l

Re: GUIX days and FOSDEM 2024

. On Thu, Jan 04, 2024 at 09:49:09PM +, Pjotr Prins wrote: > Just a quick heads up. Feb 1+2 we are organising Guix days and a devroom at > FOSDEM (Feb 4). > > https://libreplanet.org/wiki/Group:Guix/FOSDEM2024 > > (do add your name if you want to attend - the amount of attend

GUIX days and FOSDEM 2024

Just a quick heads up. Feb 1+2 we are organising Guix days and a devroom at FOSDEM (Feb 4). https://libreplanet.org/wiki/Group:Guix/FOSDEM2024 (do add your name if you want to attend - the amount of attendees of Guix days is limited to some 40).

Extra Guix hack day before Guix days?

Before FOSDEM we are organizing the traditional Guix days at ICAB. If you want to join sign-up on https://libreplanet.org/wiki/Group:Guix/FOSDEM2024 (the page is a wiki and editable). The Guix days and FOSDEM tend to be filled time-wise. We are wondering who would want to come a day early for

Re: Guix Days & Declarative and Minimalistic Computing: CfP for FOSDEM 2024

+0100, Pjotr Prins wrote: > Dear all, > > And ahead of FOSDEM we'll organise the annual Guix days again. That is > Th+Fr at ICAB in Brussels. They have cheap lodging and some of us plan > to stay there: > > https://icab.be/ > > So that is 4 days of Geeks and Guix fun! &

Guix Days & Declarative and Minimalistic Computing: CfP for FOSDEM 2024

t "Declarative and > Minimalistic Computing devroom" as track (if you don't we won't find > it), and include the following information: > > * The title and subtitle of your talk > * A short abstract of one paragraph > * A longer description if you wish to do so > *

Re: GNU Mes 0.25 released

Congrats everyone. This is massive! On Sat, Nov 11, 2023 at 07:38:42AM +0100, Janneke Nieuwenhuizen wrote: > We are happy to announce the release of GNU Mes 0.25! > > Although it's been only nine months since the previous release, this > release represents 116 commits over two years by six

Re: Guix Days and Fosdem 2024

On Wed, Sep 27, 2023 at 03:34:59PM -0400, Christine Lemmer-Webber wrote: > Very excited for FOSDEM / Guix Days 2024! Definitely think there's been > plenty happening in Spritely-land that we'll have some things we want to > get in front of people, and conversations about how we can best work >

Re: A Forum for Guix Users

On Fri, Jul 14, 2023 at 02:10:49PM -0700, Felix Lechner via Development of GNU Guix and the GNU System distribution. wrote: > Hi Robby and Sarthak, > > On Thu, Jul 13, 2023 at 7:17 AM Robby Zambito wrote: > > > > I personally think that it would be wiser to improve the documentation > >

Re: Zig build system and river Wayland compositor

Thanks for the package updates - we are using them. Pj.

Re: GSoC news

Welcome Sarthak! On Thu, May 04, 2023 at 09:22:47PM +0200, Gábor Boskovits wrote: >Hello guix, >We have some news about GSoC, the community is accepting a new intern, >Sarthak. The agreed on internship project title is Parameterized >Packages for GNU Guix. Welcome on board, and we

Re: GNU Shepherd 0.10.0rc1 available for testing!

Awesome work! Note that you can run shepherd in user land too - that is a great feature. Pj. On Fri, Apr 28, 2023 at 03:37:12PM +0200, Ludovic Courtès wrote: > Hello Guix! > > I am pleased to announce that the first release candidate of version > 0.10.0 of the GNU Shepherd is available for

Re: Zig on core-updates

They just added a tag for the next release. We can wait. On Mon, Apr 10, 2023 at 05:56:52PM +0200, Andreas Enge wrote: > Am Fri, Mar 17, 2023 at 09:33:31AM + schrieb pukkamustard: > > A hunch: This might have something to do with Zig not properly > > supporting glibc 2.35:

Re: Notes from the Guix Days

On Wed, Mar 15, 2023 at 05:34:24PM +0100, Ludovic Courtès wrote: > Pjotr, can you add Andreas’ notes linked above? Does anyone else have > notes to share? Added. https://gitlab.com/pjotrp/guix-days-fosdem-2023

Projects for the Google Summer of Code

specified in your ideas page. Starting in >March 20, contributors will start submitting their proposals through >the >program website. > (end quote) >Next week I am on holiday, so I asked Pjotr Prins to take over the >initial >coordination tasks until

Re: Google Summer of Code?

We can still add ideas after acceptance. We put one in for Mes. On Mon, Feb 13, 2023 at 10:51:28AM +0100, Simon Tournier wrote: > Hi, > > On Fri, 10 Feb 2023 at 09:05, Gábor Boskovits wrote: > > > I will contact Jose, pass a link to the ideas side and check how to proceed > > and if we can

Re: Google Summer of Code?

I think we can add a few projects. Happy to co-mentor. On Wed, Feb 08, 2023 at 10:03:06AM +0100, Ludovic Courtès wrote: > Hello Guix! > > Jose Marchesi applied to have GNU participate as an umbrella > organization in GSoC: > >

zuo build system; formerly: Can zig-build-system be an alternative to the gnu-build-system?

On Thu, Feb 02, 2023 at 12:52:28PM -0500, Philip McGrath wrote: > You might be interested in Zuo, which was created to replace the work of > `make` in the build system for Racket and Racket's branch of Chez Scheme. > (The name comes from a Chinese word for "make".) It's packaged for Guix: >

Re: The Guix Days! (FOSDEM 2023)

Restaurant at top of https://libreplanet.org/wiki/Group:Guix/FOSDEM2023

Re: Can zig-build-system be an alternative to the gnu-build-system?

Hi jgart, zig as a build system is nice, but it is llvm bound and only targets zig and C/C++. It does not handle packages, and that is a feature in my book ;). Mind they are planning to go down the packaging route, from what I can tell. There have been some older discussions about creating our

Re: The Guix Days! (FOSDEM 2023)

Just a heads up: we are excited to have Guix days and the FOSDEM devroom in Brussels Feb 2-5!! If you want to attend Guix days, please add to this list (the login is a bit hidden). We can only have limited people and catering. If we run over the max room number we'll have a problem: =>

Stratification of GNU Guix into Independent Channels, X-mas and Guix days!

tis like packages under a X-mas tree guix xmas add games guix xmas add tex guix xmas add paint guix xmas add payamas unlike debian these packages contain packages that can overlap too! that would be interesting. happy holidays Guix and thank you community! Hope to see you all at Guix days in

Re: FOSDEM 2023 - Declarative and Minimalistic Computing - Call for Participation

won't find > it), and include the following information: > > * The title and subtitle of your talk > * A short abstract of one paragraph > * A longer description if you wish to do so > * Links to related websites/blogs etc > > To see what a final talk looks like

Re: issue tracking in git

On Wed, Nov 23, 2022 at 11:29:48AM +0100, Giovanni Biscuolo wrote: > Homepage is https://tissue.systemreboot.net/ > > Wow! Very interesting project, it deserves more visibility! (why did I > miss its existance?!? :-O ) Ah well. We have just been using it and building it up over the last year

Re: issue tracking in git

On Tue, Nov 22, 2022 at 06:57:59PM +0100, Giovanni Biscuolo wrote: > Hello Pjotr > > Giovanni Biscuolo writes: > > [...] > > > As a new initiative we are discussing/designing a gemini + git issue > > tracker. > > please are there updates about this initiative? Yeah, issue tracker lives here:

Re: Fwd: question on setting up guix.scm for project development

It is a good idea. Best way is to create your own packages in a channel and include those. On Mon, Nov 14, 2022 at 10:41:58AM -0800, Andy Tai wrote: > Hi, guix allows setting up an environment containing all the > dependencies for development of a package; this can be done via a > guix.scm file

Re: Permanent URL for GUIX packages

On Fri, Nov 04, 2022 at 03:49:15PM +, Luis Felipe via Development of GNU Guix and the GNU System distribution. wrote: > > I'd like to link guix.gnu.org/packages/monolith-2.6.1/ from my project's > > README file (https://github.com/Y2Z/monolith), but due to the version > > string being part

Re: RISCV porting effort

. Pj. On Wed, Jun 22, 2022 at 03:37:46PM +0200, Ludovic Courtès wrote: > Pjotr Prins skribis: > > > Chris Batten created the slides and presented twice. He writes: > > > > We presented our work on using Guix in computer architecture research at > > the gem5 users

Re: RISCV porting effort

in preparing the two workshop presentations. I am looking forward to continuing to collaborate on this in the future! On Sat, Jun 18, 2022 at 12:52:11AM +0200, Pjotr Prins wrote: > On Fri, Jun 17, 2022 at 06:08:18PM +0200, Ludovic Courtès wrote: > > And… I think one of you will hav

Re: RISCV porting effort

On Fri, Jun 17, 2022 at 06:08:18PM +0200, Ludovic Courtès wrote: > And… I think one of you will have to come and present all this work in > Paris: . Who’s in? :-) We should all show up :)

Re: RISCV porting effort

Most of you are probably aware that a RISC-V effort is going on in GNU Guix. Ekaitz is working on the GNU Mes bootstrap and Efraim is porting packages (gcc and clang are ported), both NLNet projects. Also with our NSF project we are using GNU Guix for emulators and running on bare metal! We have

Re: Arun Isaac Presentation on guix-forge this Saturday

Guix-forge aims to replace github and gitlab. I don't know how much Arun will show, but I would like to note that under their guidance we have replaced the github issue trackers, kanban boards, and CI for the genenetwork project. https://ci.genenetwork.org/ https://issues.genenetwork.org/ In

Re: Building a software toolchain that works

On Thu, Mar 17, 2022 at 03:04:18PM -0500, Katherine Cox-Buday wrote: > In addition, because free software is largely developed in people's spare > time, they're going to use whatever tools make them most productive or even > just happy. They're probably not thinking about their software against

Re: Building a software toolchain that works

On Tue, Mar 15, 2022 at 09:23:33AM +0100, Ludovic Courtès wrote: > This is what we’re pushing as part of the Guix-HPC effort¹. Ricardo’s > research team, for instance, has published bioinfo papers that build on > Guix for reproducibility. Colleagues of mine in HPC (linear algebra and > run-time

Re: Building a software toolchain that works

On Mon, Mar 14, 2022 at 07:05:30PM +, Ryan Prior wrote: >I love how easy Guix makes it to build lots of tricky software, and >more all the time. Thanks to everybody who's enabled this amazing work >and continues to maintain it! Let's double down on that, and keep >thinking of

Today's talks! (formerly Schedule for FOSDEM 2022 available online)

Today is our devroom with great Lisp talks by Will Byrd, Arun Isaac, Manolis & Oliver and the Webbers! And two GNU Guix talks by Andrew Tropin and Mathieu Othacehe :) https://fosdem.org/2022/schedule/track/declarative_and_minimalistic_computing/ Don't miss out. Jonathan McHugh goes cowsay to

Re: Celebrating ten years of Guix

On Wed, Jan 12, 2022 at 03:27:32PM +0100, Ludovic Courtès wrote: > Hello Guix! > > This year marks the tenth anniversary of Guix; what if we used that as a > pretext to join forces and organize “special events” throughout the > year? Obviously the Guix Days are already a great start! Great

Re: Organising Guix Days

We also have a devroom at FOSDEM 2022 (online). Last year was a great succes with many cool talks and a social during the day, see => https://archive.fosdem.org/2021/schedule/track/declarative_and_minimalistic_computing/ We still have slots for 2 or 3 speakers. If you are interested in talking

Re: “What’s in a package”

Great post Ludovic! We are contributors, consumers and fans of GNU Guix for good reason. On Wed, Sep 22, 2021 at 12:08:15AM +0530, Arun Isaac wrote: > > Hi Ludo, > > > https://hpc.guix.info/blog/2021/09/whats-in-a-package/ > > Thanks for writing this article! This article will be very useful

Re: issue tracking in git

On Fri, Aug 13, 2021 at 06:19:23PM +0200, Giovanni Biscuolo wrote: > Hi Adriano and Ricardo, > > I'm also _very_ interested in keeping issues in the same repo as code > and I'm really envious of Fossil users [1] :-D As a new initiative we are discussing/designing a gemini + git issue tracker.

Re: New Operating System and Kernel development

Hi Amar, Did you study Hurd and other micro-kernel approaches? Some people working on that here (though not me). Pj. On Wed, Jul 07, 2021 at 11:51:45AM +, Amar M. Singh wrote: > Hello all, > > Is there any research into new Operating Systems and kernel > development? I'd like to

Re: Substitutes from bordeaux.guix.gnu.org

Excellent! On Fri, Jun 18, 2021 at 03:56:30PM +0100, Christopher Baines wrote: > > Christopher Baines writes: > > > Christopher Baines writes: > > > >> While I've been working on the software side of building things for > >> substitutes through the Guix Build Coordinator for over a year now

Re: Idea: a meta language for (language) build systems - npm, Racket, Rust cargo

On Tue, Jun 15, 2021 at 12:04:59AM +0200, Leo Prikler wrote: > Soon: There are 15 competing build systems Very true ;) > Guix as a build system, with or without GWL, is fine as long as it's > just fun and games, but it comes with the serious downside of not being > compatible with any other

Re: Idea: a meta language for (language) build systems - npm, Racket, Rust cargo

On Tue, Jun 08, 2021 at 03:11:31PM +0200, Ludovic Courtès wrote: > (I’m late to the party…) Never late :) > > I found a cargo -> ninja converter. It is that kind of idea. Guix > > would use ninja with rustc instead of cargo. A stripped down cargo > > could potentially work too - but cargo is a

Re: Some more rust/cargo insights

On Mon, Jun 07, 2021 at 09:10:48AM +0200, Hartmut Goebel wrote: > Am 06.06.21 um 20:38 schrieb Pjotr Prins: > > Since that community is about not invented here - maybe we can incense > > someone to pick it up. Needs a mature programmer though. > > One solution that came to

Re: Idea: a meta language for (language) build systems - npm, Racket, Rust cargo

On Tue, Jun 01, 2021 at 08:24:51AM +0200, Leo Prikler wrote: > > I have a feeling they won't be that interested ;). > I do think some of them are interested, but you're right in that the > industry as a whole is not. Industry appears to go the other way. There are several initiatives to speed up

Re: Idea: a meta language for (language) build systems - npm, Racket, Rust cargo

On Sun, May 30, 2021 at 09:17:20PM +0200, Konrad Hinsen wrote: > How about pushing all the other package manager towards producing > sexp-packs, and helping them to get there? I have a feeling they won't be that interested ;). My thoughts are that every software package simply consists of files

Idea: a meta language for (language) build systems - npm, Racket, Rust cargo

Maybe this is a crazy idea: It appears to me that every language out there today is creating their own build system. We know that creating build-system package support for GNU Guix is complicated by: 1. Live updates over the internet 2. Circular dependencies 3. Tests requiring internet access

Re: Rust freedom issue claim

Scopes sure looks cool! Pj.

Re: Rust freedom issue claim

On Wed, May 26, 2021 at 04:32:03PM +0200, Ludovic Courtès wrote: > That’s a somewhat different topic. FWIW, I’m both excited at the idea > of having a memory-safe replacement for C gaining momentum, and > frightened by the prospects of Rust being this replacement, for many > reasons including:

Re: RISC-V is giving away developer boards

$99 boards with 1GB RAM. Getting there! https://liliputing.com/2021/05/nezha-is-a-99-single-board-pc-with-a-risc-v-processor.html On Tue, May 04, 2021 at 08:53:05PM +, Ekaitz Zarraga wrote: > > > > And if someone EU-based is interested to work full time for 6 months > > we should apply for

Re: RISC-V is giving away developer boards

> is this thread [1] ("Porting Guix to RISCV", from last october) the latest > news on developments regarding guix and RISC-V? Pretty much. We have a few interested people here! GNU Mes is on board to help create a bootstrap. I think it makes sense to submit an application to NLNet and it also

Re: RISC-V is giving away developer boards

On Tue, May 04, 2021 at 10:35:41AM +0200, Ludovic Courtès wrote: > Hi! > > It seems there’s a number of interested developers, great! I believe > the RISC-V people expect a commitment from applicants to work on porting > software. That means y’all need to be ready to dedicate some time to >

Re: please, let avoid misunderstandings

Hi Simon, Thanks for your heroic explanation. I think it also tells us something about the grief some of the maintainers went through. This is a good point to close the threads. All points have been made and it is necessary not to burden the people too much who do the real work. As in talk is

Re: A "cosmetic changes" commit that removes security fixes

On Sat, May 01, 2021 at 12:53:43PM +0530, Arun Isaac wrote: > We may like to imagine that being a core maintainer is not a badge of > honor, but in reality, it *is* a badge of honor. A core maintainer is > not just a regular participant any more than the President is just a > public servant. If

Re: RISC-V is giving away developer boards

On Sat, May 01, 2021 at 06:14:14AM +0200, Bengt Richter wrote: > Could some riscv-model-version.scm be written to use qemu to create > an exact virtual metal RISC-V board (of the kind being sampled, for starters) > for use on our laptops and PCs? > > I think that might get more people involved,

Re: A "cosmetic changes" commit that removes security fixes

On Fri, Apr 30, 2021 at 07:40:36PM +0200, Pierre Neidhardt wrote: > I trust that it is the case, but being the devil's advocate, I could > argue that from reading this thread does not make it obvious. Maybe the > decision process should be made more transparent? Let's not make this a big thing.

Re: RISC-V is giving away developer boards

It is probably a good idea to apply from an academic institution to increase chances of getting a free board. I am happy to help with the application. We already have the 2GB RAM polarfire which we mostly use for toy stuff right now:

Re: A "cosmetic changes" commit that removes security fixes

Peeps, I am not a core maintainer, but it should be obvious that core maintainers would not take a decision to revoke commit rights lightly. Since it hardly happens is it now a loss of face on both sides which it should not be. Marius representing the core maintainers clearly wrote: This is the

Re: Meta Guix: why guix is awesome!

Hi Leo (Prikler), On Thu, Apr 29, 2021 at 01:52:12AM +0200, Leo Prikler wrote: > I don't know enough about marketing to give you a good answer on that, > but when it comes to what we're competing against, it seems to be a > rather uphill battle outside of the small bubble, that we've carved >

Re: Criticisms of my "tone" (was Re: A "cosmetic changes" commit that removes security fixes)

Dear Leo, On Wed, Apr 28, 2021 at 01:55:25PM -0400, Leo Famulari wrote: > You should have sent a message that explained the problem and tried to > teach the solution. I've seen you do it many times before; That is perhaps fair comment. It is always best to be constructive and not too personal.

Re: A "cosmetic changes" commit that removes security fixes

On Mon, Apr 26, 2021 at 07:21:14PM +0200, Ludovic Courtès wrote: > Hi Léo, > > Tobias Geerinckx-Rice skribis: > > >> https://git.sr.ht/~lle-bout/guix/commit/a045a48dd961f0c5c3d536dcc3fd21d9c08d2d50 > >> https://git.sr.ht/~lle-bout/guix/commit/6477daa338fbf1c9edacfc3690aca77cacfe0008 > >> Can

Re: Guix in Debian!

I just did: apt-get install guix on a fresh Debian server install: Setting up liblz1:amd64 (1.12-1) ... Setting up libpcrecpp0v5:amd64 (2:8.39-13) ... Setting up guile-2.2 (2.2.7+1-5.4) ... update-alternatives: using

GNU Guix and GNU Mes apply for Google Summer of Code

We are applying in the context of the GNU project. Please check https://libreplanet.org/wiki/Group:Guix/GSoC-2021 with three ideas. If you have your own idea and would like to mentor a student, feel free to add one! Pj.

Re: FOSDEM + Guix Day: hurrah!

On Fri, Feb 12, 2021 at 04:07:24AM +0100, raingloom wrote: > Wait what??? > I was under the impression that talks would be recorded. So they... > weren't??? At all??? Am I waiting for an upload in vain? The FOSDEM talks were recorded. The Guix day we made more informal. I am sorry, we did not

Re: FOSDEM + Guix Day: hurrah!

On Thu, Feb 11, 2021 at 12:14:34PM +0100, Léo Le Bouter wrote: > On Thu, 2021-02-11 at 11:07 +0100, Ludovic Courtès wrote: > > Hello Guix! > > > > With all the excitement and activity these days, I almost forgot to > > say > > it: *big thanks* to Pjotr and Manolis for organizing the FOSDEM > >

GNU Guix for Google Summer of Code (GSoC)

The GNU project will apply for GSoC again. I have started a page for project ideas here: https://libreplanet.org/wiki/Group:Guix/GSoC-2021 If you think a student can help your project, do add your idea. Every project should have 2 or 3 mentors. Note that the work should be doable in ~180 hours

Re: Blog post about the upcoming FOSDEM + Guix Day

Just a reminder: tomorrow we have a GNU Guix day online! Free for all. See https://libreplanet.org/wiki/Group:Guix/FOSDEM2021 Starts at 5am UTC with a Greek breakfast and runs all day until we are done! See the link in above page. Pj.

Re: Blog post about the upcoming FOSDEM + Guix Day

We start Monday at 5am UTC (6am AMS/Berlin, 7am Athens) to cater for some of Asia. The day ends when the last one switches off the lights :). Manolis, Efraim and Bonface have promised to be there. The bluebutton link will be announced a day ahead. Pj. On Tue, Feb 02, 2021 at 05:40:04PM -0500,

Re: Blog post about the upcoming FOSDEM + Guix Day

Sure. Call a time tomorrow and anyone on IRC/mail/matrix can pop in. Are you a host Manolis? A host can create rooms. On Mon, Feb 01, 2021 at 06:31:37PM +, Manolis Ragkousis wrote: >Maybe it would be a good idea to test big blue button tomorrow? How >about a call? >Sent from

Re: Blog post about the upcoming FOSDEM + Guix Day

On Mon, Feb 01, 2021 at 05:30:26PM +0100, Ludovic Courtès wrote: > Pjotr, Manolis, what are you thoughts? I’m happy to have this event and > to make something unconference-style, but IMO we need to have a clearer > view of when it’ll take place, what we’ll be doing, who’s going to > moderate,

Re: Blog post about the upcoming FOSDEM + Guix Day

On Mon, Feb 01, 2021 at 10:41:53AM +0100, zimoun wrote: > Hi Ludo, > > On Mon, 1 Feb 2021 at 10:35, Ludovic Courtès wrote: > > > > > https://git.savannah.gnu.org/cgit/guix/guix-artwork.git/tree/website/drafts/meet-guix-at-fosdem-2021.md > > LGTM! > > > Regarding the Guix Day next Monday,

Re: Login to a guix container

On Mon, Jan 25, 2021 at 08:29:32AM +0100, Ricardo Wurmus wrote: > In your requirements for an audit, how does a “Guix container” differ > from a “Linux container”? Guix uses the kernel features like cloning > namespaces and unsharing the filesystem directly. It merely mounts > individual store

Login to a guix container

I was just thinking that it should be possible to login with ssh into a GNU Guix shell running in a container that gets fired up by the sshd. I am thinking about a safe shell for fetching files. If this works no chroot setup is required. Or is this a really dumb idea :) Pj.

Re: Guix Days and FOSDEM 2021

wider audience. Even so we are also happy if just 10 people show up and get some declarative hacking done :) Manolis & Pjotr. On Sun, Dec 20, 2020 at 03:04:48PM +0100, Pjotr Prins wrote: > As we have a devroom at FOSDEM 2021 we decided to organise an online > Guix day too on Feb. 8th. 20

Re: Can't develop on foreign distro - core dump linking error

Have you tried building in a Guix container? See 'bullet proof' in my guix-notes. On Sat, Jan 02, 2021 at 11:00:27AM +0100, Hartmut Goebel wrote: > Hi, > > after happily developing guix on a foreign distro for quite some years > (well, I had some issue now and then but was always able to

Guix Days and FOSDEM 2021

As we have a devroom at FOSDEM 2021 we decided to organise an online Guix day too on Feb. 8th. 2021. Unlike other years it is an online event which also gives the opportunity to have people attend from all over the world! We are making it a one day event of 12 hours so we can start with Asia, move

Re: Discussion: How to package rust crates now and in future?

Hi Hartmut, We are using Rust from Guix and just a few comments/thoughts: On Fri, Dec 18, 2020 at 07:08:24PM +0100, Hartmut Goebel wrote: >Hi, > >I suggest to discuss this with a broader community. > >TIL: Shall rust packages be packaged with #:skip-build #t? Shall tests >be

Re: non-root store

On Sun, Dec 06, 2020 at 03:57:00PM +0100, Ricardo Wurmus wrote: > A common complaint about Guix is that it requires root permissions to > install, which is “scary” and may seem unnecessary on single-user > systems. By wrapping guix-daemon so that it uses file system > virtualization (via user

Re: guix environment: error: cannot create container: unprivileged user cannot create user namespaces

On Fri, Dec 04, 2020 at 05:32:08PM +0100, zimoun wrote: > Have you tried to do the recommandation? > > please set /proc/sys/kernel/unprivileged_userns_clone to "1" As root: echo 1 > /proc/sys/kernel/unprivileged_userns_clone Yes, it is common on Debian and such. Pj.

Re: [Guix Day] Join the conference!

That was a great Guix day! Thanks for organizing. I think we had over 80 visitors, maxing around 60 at a time. I think we should do this 2-3 times a year. How about creating a simple survey with questions on your first days living with GNU Guix: 1. What was your primary motivation for starting

Re: Etymology of derivation

On Mon, Nov 02, 2020 at 04:43:14PM +0100, Pierre Neidhardt wrote: > Hi Arun! > > Actually I don't understand what "message" would mean in "build-message". > I'm more confused than with "derivation" :p It is the minimal build information that the build-daemon requires. A message to the build

Porting Guix to RISCV

Anyone interested in porting GNU Mes and GNU Guix to RISCV? We can try and purchase the hardware. We have a Polarfire running https://www.crowdsupply.com/microchip/polarfire-soc-icicle-kit and there are more options coming. I am happy to support such an initiative and buy the hardware. Pj.

Re: Advantages over Nix?

On Tue, Oct 27, 2020 at 02:14:18PM +0100, zimoun wrote: > Let's pick an example: the sources.json file ingested by Software > Heritage. Basically, Guix does that when building its website and the > relevant Scheme code is here: > > >

Re: Advantages over Nix?

Quite a few of us here have used and developed against Nix in the past and Nix certainly is a great work and the original inspiration of GNU Guix (and doing things better). When Ludo introduced Guix at FOSDEM in 2014, however, I was convinced to change my ways on the spot - after using Nix (from

Re: Releasing guix binary in Docker format too?

Hi Danny! On Tue, Sep 22, 2020 at 11:51:05AM +0200, Danny Milosavljevic wrote: > Now, Heads has most of its stuff on CI servers that use Docker for a lot of > things. It would be very interesting to have a Docker registry for a number of (complicated) Guix packages. We have bioinformatics

Guix containers 'advertised' in git repos

We are using Guix containers for deployment and software development. I was thinking it would be nice to advertise them in the git repos. Maybe we can standardise on that. What I have now is have a file .git-deploy for deployment. E.g.,

Re: gcc-10 toolchain does not include string to numeric conversion functions like std::stoull

On Mon, Jul 13, 2020 at 04:21:33PM +0200, Ludovic Courtès wrote: > Hi Erik, > > Erik Garrison skribis: > > > Thanks for reproducing this. Did you take a look at a resolution beyond > > your analysis in this message? It would seem that the attempted compilation > > isn't working during the

Re: Reproducible Research Hackathon: Friday, July 3rd

We at UTHSC are game. We are struggling with an old version of the GeneNetwork web service 1.x which is now running on a 10 year old CentOS. The backup time machine server died recently. GenNetwork1 depends on Python 2.4(!) with modules that have not been updated this century, and an older

Re: “Reproducible research articles, from source code to PDF”

On Thu, Jun 18, 2020 at 03:05:42PM +0200, Ludovic Courtès wrote: > Sounds like a good idea! Perhaps a one-day hackathon to begin with? > Early July maybe? If I have no other obligations I am game. Pj.

Re: Slurm with containers (i.e., orchestration)

Ricardo added slurm-drmaa in the past (I can't believe it almost 4 years ago we packaged slurm!) which may also help in addressing some points http://www.drmaa.org/ Pj. On Mon, May 18, 2020 at 07:49:00AM -0500, Pjotr Prins wrote: > I am looking into some light-weight style orchestration.

  1   2   3   4   5   6   7   8   9   10   >