IRC channel logs

2022-08-02.log

back to list of logs

***efraim_ is now known as efraim
***civodul` is now known as civodul
<nckx>Saw this mentioned somewhere and thought of y'all: https://maneage.org/ (I don't know if it's new, good, relevant, or none of the above.)
<civodul>nckx: yup, one of the authors is even coming to The Event! https://10years.guix.gnu.org/program/#maneage-a-proof-of-concept-for-rigorous-reproducible-research-paper-criteria
<drakonis>nice!
<nckx>Whalp.
<civodul>a Guixy version of the tool would be ideal