Re: Feedback (was Re: Meet Guix at Capitole du Libre in Toulouse)
On 2023-11-29 17:01, Simon Tournier wrote: Hi, Hi Simon thanks for the update. -- Kinds regards Oliver Propst
Re: Guix Days and Fosdem 2024
Nice to see that the planning for FOSDEM 2024 have begun. It will be interesting to see what happens with regards to Guix. On Mon, Oct 2, 2023 at 1:14 PM Munyoki Kilyungi wrote: > Pjotr Prins aliandika: > > > 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 > >> with the greater Guile/Guix ecosystem. > >> > >> - Christine > > > > Totally! And glad you plan to be there! I plan to go. I think FOSDEM > > is the one conference I never want to miss out on. > > > > For FOSDEM/Guix days we need one or two people, in addition to Manolis > > and myself, to help preparations for the events etc. Oliver, do you > > want to help again? Anyone else interested? > > Me. Also ... > > > Best way to influence > > proceedings is by contributing. Not a heavy task because we split > > the work and Manolis always handles the most stressful bit of getting > > the speaker list online ;) Seriously Manolis, we are grateful. > > > > Pj. > > If VISA issues are a non-issue, I could also help > out physically if one points me to how ;) > > -- > (Life is like a pencil that will surely run out, > but will leave the beautiful writing of life.) > (D4F09EB110177E03C28E2FE1F5BBAE1E0392253F > (hkp://keys.openpgp.org)) > -- -mvh Oliver Propst
Re: Capitole du Libre at Toulouse
On 2022-10-01 13:14, Andreas Enge wrote: Am Mon, Sep 26, 2022 at 11:30:53PM +0200 schrieb zimoun: We decided that with only two confirmed and one uncertain participation, we would not have enough people power and did not submit anything. Andreas Sorry to hear this :( -- Kinds regards Oliver Propst https://twitter.com/Opropst
Re: Guix System For Kids
On 2022-10-02 21:32, jgart wrote: What do people think of having an education distro for kids? Sounds as a fantastic idea to me :) If we somehow could get the manpower to make it happen. -- Kinds regards Oliver Propst https://twitter.com/Opropst
Re: Capitole du Libre at Toulouse
On 2022-09-25 11:30, Andreas Enge wrote: Hello, Hi Anderas I think this sounds very interesting initiative. Thanks very much posting information about this. Julien pointed out that the Capitole du Libre is going to take place in Toulouse on the weekend of November 19 and 20: https://capitoledulibre.org/ and wondered whether we should ask for a booth. Time for this is running out, we have until tomorrow, Monday, evening... If we can afford it and people are interested in volunteering for the booth (and give submit a talk) why not. The first question is whether we will be enough people; it looks like Julien and I will be free, but two is not a lot, since of course we would also like to wander around. With a lack of members in the Southwest of France in Guix Europe, I took the liberty to cross-post guix-devel. Would others be available and like to join? I'm could be interested to join the efforts. I am not quite sure how one presents a distribution at a booth, since there is not really much to attract the eye, or is there? If we just have *something* to show I guess we there should not to much of a hassle to have a conversation about Guix from that point on. In general I guess to be present at a conference like Capitole du Libre could be a great place to spread knowledge and interest about Guix, computational science etc. Think if we had something like a booklet about Guix we could give out to participants at events like this that could be great I think... -- Kinds regards Oliver Propst https://twitter.com/Opropst
Fwd: Re: Capitole du Libre at Toulouse
Original Message Subject: Re: Capitole du Libre at Toulouse Date: 2022-09-25 15:46 From: Oliver Propst To: Andreas Enge On 2022-09-25 11:30, Andreas Enge wrote: Hello, Hi Andreas I think this sounds very interesting initiative. Thanks very much posting information about this. Julien pointed out that the Capitole du Libre is going to take place in Toulouse on the weekend of November 19 and 20: https://capitoledulibre.org/ and wondered whether we should ask for a booth. Time for this is running out, we have until tomorrow, Monday, evening... If we can afford it and people are interested in volunteering for the booth (and give submit a talk) why not. The first question is whether we will be enough people; it looks like Julien and I will be free, but two is not a lot, since of course we would also like to wander around. With a lack of members in the Southwest of France in Guix Europe, I took the liberty to cross-post guix-devel. Would others be available and like to join? I'm could be interested to join the efforts. I am not quite sure how one presents a distribution at a booth, since there is not really much to attract the eye, or is there? If we just have *something* to show I guess we there should not to much of a hassle to have a conversation about Guix from that point on. In general I guess to be present at a conference like Capitole du Libre could be a great place to spread knowledge and interest about Guix, computational science etc. Think if we had something like a booklet about Guix we could give out to participants at events like this that could be great I think... -- Kinds regards Oliver Propst https://twitter.com/Opropst
Re: Windows Subsystem for Linux
Yeah I very much agree about that it could be good idea idea to have the Guix system available as a Wsl 2 image as I think could serve as a good gateway to many people to learn more about Guix and maybe free and open source software in general for that matter. Kinds regards Oliver Propst https://twitter.com/Opropst
Re: Building a software toolchain that works
On 2022-03-18 07:27, Pjotr Prins wrote: 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 the backdrop of the larger software ecosystem. Agree. Though I would not underestimate these people involved in creating such ecosystems. Often they are not even on Linux. When the Dlang people created dub I pointed them to Guix. Obviously I failed to convince them. Guix solves a lot of issues, and is wonderful to use, but I don't think it solves the most difficult issues: human issues :) It is a complex world out there if you look at the mix of operating systems and compilers/interpreters. From my point of view GNU Guix greatly simplies development and deployment - targeting Linux - at the cost of some up-front investment. It is nice when people realise that so much complexity goes away living in a Guix world. Very interesting notes. And well don' think there is an understatement what so-ever that I basically agree with points here :) *I mean just was stated during the Guix online days a few weeks ago I think its "simplicity" that makes Guix such interesting and attractive project. And something which in turn I guess makes us motivated to contribute and further spread the knowledge about the power of Guix (and free software in general for that matter). -- Kinds regards Oliver Propst https://twitter.com/Opropst
Re: workflow while hacking on Shepherd
On 2022-03-01 08:59, Attila Lendvai wrote: Hi Attlila thanks for working on this. For me your proposal seems to make sense (but I guess input from more folks would be needed). -- Kinds regards Oliver Propst https://twitter.com/Opropst
Re: [minor patch] Amend CoC
On 2022-02-23 10:48, Andy Wingo wrote: On Tue 22 Feb 2022 18:16, Taylan Kammer writes: If anyone's annoyed by this thread, please tell, and let us move it off-list. I am annoyed by it I think it should be off-list :) Me to :) -- Kinds regards Oliver Propst https://twitter.com/Opropst
Recording of FOSDEM 2022 videos are now available to view online
Here is just a brief note about that most of the FOSDEM 2022 videos are now available online to view here [0] for those who is interested to have a look at them (something which I think you absolutely should be if you are interested and have a passion for Guix and open source computing). FOSDEM 2022 which despite taken place entirely online this year can properly be considered as a great success for the Guix project and the Declarative and Minimalistic Computing devroom as we had so many cool people both attending and presenting at the event. I think further that the videos from FOSDEM 2022 are a true testament to the love and care the people who took time to present at FOSDEM 2022 feel for free and open source computing and the Guix project in general for that matter in this for many people difficult and *challenging times we live in. Anyways here's to hopefully many more years of love and passion for the advancement of Guix [1] and free and open source computing. *which for me and maybe others can work as a motivating factor to work for and push for doing the right thing and pushing technology in the "right" proper direction (which it feels like the Guix project is all to me basically). *I can mention that I almost got tears in my eyes when I this weekend read about Tobias Platens efforts of including Veloren, a game written in Rust for Guix (how cool is not that?). See this mail [2] for more details about Tobias work and efforts. 0. https://fosdem.org/2022/schedule/track/declarative_and_minimalistic_computing/ 1. https://guix.gnu.org/ 2. https://lists.gnu.org/archive/html/guix-devel/2022-02/msg00118.html *If the situation with regards to Covid the pandemic improves I think there is a a decent possibility about that FOSDEM 2023 could be an in-person event and that people are allowed to meet physically in larger groups again. -- Kinds regards Oliver Propst https://twitter.com/Opropst
Re: Planning to package Veloren in Guix
On 2022-02-12 19:46, Tobias Platen wrote: Hello, Today I released my prerecorded talk about Gaming on Guix[1], where I mentioned Veloren. So next I want to package Veloren, which is written in Rust. Awesome news. Really wish you the best of luck in your effort Tobias :) *a game written in Rust seems almost to cool to be true (btw). -- Kinds regards Oliver Propst https://twitter.com/Opropst
Re: Clarifying blog post licensing
Me too. -- Kinds regards Oliver Propst https://twitter.com/Opropst
Re: File search
On 2022-01-25 12:20, Oliver Propst wrote: On 2022-01-25 12:15, Ludovic Courtès wrote: I'm also not an expert at Sql-Lite but I can state that the effort looks very nice and promising Ludovic :) And definitely a step-up from the current implementation (obviously).. -- Kinds regards Oliver Propst https://twitter.com/Opropst
Re: File search
On 2022-01-25 12:15, Ludovic Courtès wrote: I'm also not an expert at Sql-Lite but I can state that the effort looks very nice and promising Ludovic :) -- Kinds regards Oliver Propst https://twitter.com/Opropst
Re: Celebrating ten years of Guix
On 2022-01-12 17:04, Oliver Propst wrote: On 2022-01-12 15:27, Ludovic Courtès wrote: What I guess would be helpful for the community is I guess by trying to do some of the things you listed in a decently orderly manner though. Which if we make certain efforts might actually be *possible. *I have to that end created a shared etherpad here [0] which I guess we could use for now. 0 https://yopad.eu/p/Ten_years-of-Guix-celebration_ideas-365days -- kinds regards Oliver Propst https://twitter.com/Opropst
Re: Celebrating ten years of Guix
On 2022-01-12 15:27, Ludovic Courtès wrote: Hello Guix! What do people think? I think its sounds as great idea to celebrate ten of Guix by doing some or all of the activities you list Ludovic. Something that may could initiate some in opinion needed hope and enthusiasm for Guix and *GNU/Linux systems in general. Building on the great work and efforts many people have done over last ten [!] years aiming (and some degree succeeded) to from my understanding build a solid, extensible computer system centered around GNU software and the principle of freedom for computer users with a varying needs. -- Kinds regards Oliver Propst https://twitter.com/Opropst
Re: Planet of Guix-related posts?
As someone how cares deeply about Guix I can state I think that the Cookbook is a great resource. I feels like the Cookbook have a clear focus on quality documentation and has to life only as a result of lots hard work and love for the Guix project. That said even as a technical person I do must admit that find some segment and concepts in the cookbook as hard to read and understand (especially from the the perspective of a non-technical person). So guess a relevant question could be how do we make the Guix documentation easier to understand for everybody and how do we improve the explanations of the current segments in the Cookbook. -- Kinds regards Oliver Propst https://twitter.com/Opropst
Re: Guix Documentation Meetup This Saturday (January 15)
On 2022-01-11 17:01, jgart wrote: Hi Guixers, Hi Jgart thanks for the *note. *will try to attend the meeting. -- Kinds regards Oliver Propst https://twitter.com/Opropst
Re: Guix Documentation Meetup
Hi Matt I thanks for your very elaborate and insightful mail. As a Guix user and enthusiast I definitely agree that documentation is important for the project. Also if I understand things correctly there are actually plans to host a documentation meetup this Saturday (maybe at around 10:30 AM ET as the last ones). On 2022-01-08 05:52, Matt wrote: I want to be a part of this. I feel like I've been rubbing two sticks together while it seems some people out there have Zippo lighters Cool. One final question: How might announcements of the "Guix Documentation Meetup" (and "Guix Packaging Meetup)" be made more prominent? I check the mailing list from time to time, but missed the announcements because they were buried. Maybe meetings could be announced on info-guix? Sounds as good ideas to me and something that I think the project should consider. If they become regular, maybe put them on https://guix.gnu.org/en/contribute/? FWIW, I'm willing to be present so that a documentation meetup could run monthly. I'm an FSF member and could use the FSF Jitsi service if I needed to host it. I've not used Big Blue Button before. I'm sure your participation and potential contributions to the documentation meetup would be very welcome at this point in time :)
Re: GNU Guix maintainer rotation
Right I guess that we should be glad that Efraim have steeped up as a maintainer for the project and of course thank Ludovic and Marius for the many years of service for Guix and free software. -- Kinds regards Oliver Propst https://twitter.com/Opropst
Schedule for FOSDEM 2022 available online
Just a brief note about that the schedule for FOSDEM 2022 is now available online at https://fosdem.org/2022/schedule/track/declarative_and_minimalistic_computing/ for who is interested in details about the talks. *FOSDEM 2022 which is this year is scheduled for the 5-6 of February, with our day scheduled for Sunday the 6th of February. -- Kinds regards Oliver Propst https://twitter.com/Opropst
Re: Reducing LLVM closure size
Well I think regardless that Pierre's efforts are very good and should be encouraged. On Fri, Jun 12, 2020 at 2:02 PM Julien Lepiller wrote: > Le 12 juin 2020 05:06:32 GMT-04:00, Pierre Neidhardt > a écrit : > > > >By the way, this looks like a bug: > > > >--8<---cut here---start->8--- > >> guix refresh -l llvm > >Building the following package would ensure 3 dependent packages are > >rebuilt: clang-toolchain@10.0.0 > >--8<---cut here---end--->8--- > > > >Why is only 1 package displayed? > > Because these are the dependants for llvm@10, but the default llvm is > llvm@9: > > guix refresh -l llvm@9 > Building the following 1180 packages would ensure 2092 lependent packages > are rebuilt: … > > That's not on latest master, so your numbers can vary a bit. > > -- -mvh Oliver Propst