<roptat>I see, I found it usefull to think about it as process-calculus when looking the in literature for a representation of petri nets (although I found only representations of π-calculus using petri nets instead of the reverse ^^')
<roptat>but maybe it's a source of inspiration for them
*kmicu also doesn’t use Electron/etc but that’s not a valid reason to block others from using it at all costs.
<nckx>I hate chromium and everything it stands for, and I'd prefer not to see it in Guix, but not this way.
<wingo>it's worth saying tho that it's the only browser providing site isolation tho
<kmicu>[Jokin’] Eww (Emacs Web Wowser) also provides that by not supporting js xD
<nckx>kmicu: That I don't see what's wrong with the linked message probably exposes my bias further ;-)
<rain1>I have been realizing that this situation isn't sustainable for free software. the web standards committee needs to dial down the complexity of the specs so that they can be independently implemented
<sisyphe_>I'd like to build package for an arm target on my x86_64 computer but I'm not able to solve most cross-compilation issues. Compiling with qemu is very slow, that's why I would have used distcc but is there any alternative ?
<mikadozero>What about Guix SD on seL4? I like that seL4 is formally verified. In a seL4 talk I heard they have RISC-V on their roadmap. So I think RISC-V computer, seL4 and Guix SD would be a nice setup.
<nckx>mikadozero: Search the mailing list archives for that, though I don't think any work was ever done besides agreeing ‘yeah that would be nice’.
*nckx was really into L4 &c circa 2008. Guix/seL4 would be heaven.
<rmw>nckx: it was a PATH var problem, I can install those packages now. (I probably add to much guix stuff to my path but I am still learning guix.)
<nckx>I.e. ‘will rebuild foo packages: <fewer than foo packages>’?
<Richard[m]>Hey, I can't seem to boot the USB GuixSD that I created on an older HP Laptop. I can boot the same USB on my main machine, but for whatever reason it just wont boot on the Laptop. Any ideas what the issue could be?
<Richard[m]>I can boot other gnu/linux distributions just fine with my laptop.
<Richard[m]>Actually... I have another idea, I'll try booting it from a CD instead of a USB.