IRC channel logs

2021-02-25.log

back to list of logs

<PurpleSym>rekado_: Indeed, we have a graphical package manager now, which modifies manifest files. Here is the backend part: https://github.com/leibniz-psychology/mashru3/blob/master/mashru3/cli.py#L1025
<PurpleSym>And this is the front end: https://6xq.net/paste/screenshot-notebook-pkgmgr.png
<PurpleSym>(Sorry for the shitty Python code.)
<zimoun>hi!
<civodul>o/
<zimoun>civodul: I have seen your toot message about the internship you are proposing about repro2docker. Well, I have never really used it but once last time I checked, I have been confused about the “repro” part when reading this <https://github.com/jupyterhub/repo2docker/blob/master/repo2docker/buildpacks/base.py#L24>. :-) Will be cool to have Guix integrated to be really reproducible. ;-)
<civodul>zimoun: argh, yeah, looks like we could do better :-)
<civodul>i thought it'd be nice to have Guix support in there, with at least guix.scm/manifest.scm and ideally channels.scm too
<civodul>(my boss told me we have funding for one intern, whee!)
<efraim>An intern you say, interesting🤔
<civodul>student intern to be precise, which here means ~500€/month
<civodul>not something i'd recommend to someone not already living nearby...
<efraim>I'm not sure about their expertise or the job requirements but peanutbutter-something from Nepal has been looking for a guix related job.
<civodul>oh ok; they'd have to be physically here tho, so i don't think that'd be reasonable
<efraim>a bit far to commute
<civodul>:-)
***rekado_ is now known as rekado
<civodul>i wonder if we could get RSE sponsorship for Guix-HPC events: https://society-rse.org/policy-for-socrse-events-and-initiatives-grant/
<efraim>gnu's debbugs doesn't have a subscribe command :/
<efraim>meant that for general guix
<zimoun>civodul: are you member of the RSE society?
<civodul>actually no :-)
<zimoun>«At least one of the event organisers to be a member of society»
<zimoun>«The current cost of a year’s membership is £20.»
<civodul>oh well
<civodul>i'm looking at poet mode: https://github.com/kunalb/poet/
<civodul>but what's the thing that gives those nice bullets for headings?
<civodul>looks like it's another mode, no?
<zimoun>well, after a quick scroll to the RSE website, I do not know if it is worth to ask for sponsorship.
<rekado>civodul: I use emacs-org-superstar for that
<rekado>I once gave a Guix talk at RSE.
<zimoun>It is interesting to read the log about the recent Debian Med (virtual) sprint. <https://lists.debian.org/debian-med/2021/02/msg00152.html>
<rekado>was a bit awkward because a third of the talks there were Microsoft-sponsored and free software wasn’t taken very serious
<zimoun>civodul: do you mean <https://github.com/sabof/org-bullets>?
<rekado>I use org-mode with variable-pitch mode and the Vollkorn font
<rekado> https://github.com/integral-dw/org-superstar-mode is a successor of org-bullets
<rekado>I just started my first AWS EC2 VM with Guile AWS. It’s really ugly:
<rekado>(RunInstances (RunInstancesRequest #:MaxCount (Integer 1) #:MinCount (Integer 1) #:ImageId (ImageId "ami-69ba4a06") #:InstanceType (InstanceType "t2.micro") #:KeyName (KeyPairName "my-keypair")))
<rekado>this is the Guile library translated from the JSON API specifications
<rekado>the return value is an SXML abomination (in the case of EC2) or JSON (in the case of the more recent APIs)
<rekado>I’ll try EFS next, so that there’s a shared /gnu EFS that can be mounted on all EC2 VMs.
<rekado>civodul: guess the service: “We've temporarily limited some of your account features […] For full access, please: Pass a Google reCAPTCHA challenge”
<civodul>rekado: rings a bell :-)
<civodul>rekado: oh now i remember you gave a talk at RSE; i hadn't made the connection
<civodul>org-superstar-mode works great, thanks!
<civodul>poet-mode is nice but it's a full-blown theme, which is kinda annoying
***Server sets mode: +cnt
***rekado_ is now known as rekado