Re: Feedback (was Re: Meet Guix at Capitole du Libre in Toulouse)

2023-12-03 Thread Oliver Propst

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

2023-10-04 Thread Oliver Propst
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

2022-10-03 Thread Oliver Propst

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

2022-10-03 Thread Oliver Propst

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

2022-09-25 Thread Oliver Propst

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

2022-09-25 Thread Oliver Propst




 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

2022-03-25 Thread Oliver Propst
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

2022-03-18 Thread Oliver Propst

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

2022-03-01 Thread Oliver Propst

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

2022-02-23 Thread Oliver Propst

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

2022-02-14 Thread Oliver Propst
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

2022-02-13 Thread Oliver Propst

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

2022-01-26 Thread Oliver Propst

Me too.

--
Kinds regards Oliver Propst
https://twitter.com/Opropst



Re: File search

2022-01-25 Thread Oliver Propst

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

2022-01-25 Thread Oliver Propst

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

2022-01-12 Thread Oliver Propst

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

2022-01-12 Thread Oliver Propst

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?

2022-01-12 Thread Oliver Propst
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)

2022-01-11 Thread Oliver Propst

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

2022-01-10 Thread Oliver Propst
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

2022-01-08 Thread Oliver Propst
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

2022-01-07 Thread Oliver Propst
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

2020-06-12 Thread Oliver Propst
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