IRC channel logs

2013-04-29.log

back to list of logs

<civodul>Hello Guixers!
<civodul>hey there!
<Steap>hey!
<CaptainLex>Afternoon, guiks!
<civodul>'lo CaptainLex!
<CaptainLex>How is everyone?
*civodul is fine
<CaptainLex>Sadly I have end-of-semester school that is distracting me from debugging Guix, so I am submitting my proposal now while I have the time
*CaptainLex is glad to hear it :)
<civodul>good
<CaptainLex>Submitted!
<civodul>great!
<civodul>did you post the URL somewhere?
<CaptainLex>I didn't! I shal
<CaptainLex>shall*
<civodul>yes
<civodul>how far did you go installing & using Guix?
<civodul>it would be nice to achieve some success before trying to go further ;-)
<CaptainLex> https://google-melange.appspot.com/gsoc/proposal/review/google/gsoc2013/captainlexington/1
<CaptainLex>This is the link
<CaptainLex>Should I put on the guix-bugs?
<civodul>yes, would be great
<civodul>well, it's not public
<CaptainLex>Woooops
<CaptainLex>I'll look for the public URL
<civodul>ok
<CaptainLex>but I have to goooo right now
<CaptainLex>I'll post it tonight!
<CaptainLex|AFK>Hmm
<CaptainLex|AFK>civodul: Can you try the link again?
<mark_weaver>I can see your proposal now.
<CaptainLex|AFK>Awesomesauce
<mark_weaver>Heh, I can sympathize with the frustration of not being able to join most projects because they use languages that I don't like :-/
<mark_weaver>I suppose that's why I'm working on Guile and Guix as well :)
<civodul>CaptainLex|AFK: works for me too
<CaptainLex|AFK>Excellent!
<civodul>good that you mention systemd ;-)
<CaptainLex|AFK>Haha Steap warned me you didn't like it :P
<civodul>heh
<bubu^>next step will be to propose a kernel flavor :)
<bubu^>Guix/Hurd would be cool :D
<CaptainLex|AFK>Okay, cats, that's it for me
<CaptainLex|AFK>I'm AFK for realzies again
<CaptainLex|AFK>Catch you later! :D
<civodul>bubu^: that's part of the plan, but only as one of 2 or 3 options
<bubu^>what are the other options ?
<bubu^>for the far term
<civodul>Linux-Libre and kFreeBSD
<bubu^>the thing is I suspect linux will be a microkernel before the hurd is complete :(
<civodul>not sure ;-)
<bubu^>there is such a big different of pace
<civodul>yeah
<bubu^>and the linux guys are trying to put much more things in userspace now
<civodul>OTOH pace is nothing without guile
<bubu^>:)
<bubu^>but the thing is you could arrive to the point that in 10 years linux would become a micro kernel
<civodul>seems unlikely
<bubu^>and theory would have been proven right, but taking the long and hard path of the reality
<bubu^>theory never lies :)
<bubu^>if by design micro kernels are better, one day it will proven so :)
<civodul>well, there's QNX...
<bubu^>but you have two path, try to build a solution for the theory which seems quite hard to implement
<bubu^>or reject it and be confronted to lots of struggling
<bubu^>and step by step by fixing the issues
<bubu^>you end up proving it
<civodul>well, the Hurd is not theoritical either
<bubu^>yes that's right
<bubu^>but still, design seems way better to me
<bubu^>and seems that in practice it is
<bubu^>but it's hard to grasp (at least it's not as intuitive)
<civodul>not as intuitive as what?
<bubu^>as putting everything in the same directory and brutaly linking all the source files :)
<civodul>ah :-)
<bubu^>(i'm a bit exagerating the facts)
<civodul>i actually find it much easier to understand
<civodul>maybe i'm biased, but still
<bubu^>because you are trained for order and logics :)
<civodul>heh
<civodul>the .defs at http://git.savannah.gnu.org/cgit/hurd/hurd.git/tree/hurd quickly make sense, IMO
<bubu^>:)
<bubu^>time for some sleep
<civodul>Steap: i don't get what the Python packaging article you linked to adds to the table :-)
<civodul>seems like "python setup.py" is standard