IRC channel logs
2023-03-10.log
back to list of logs
<PurpleSym>Urgh, look like CRAN blacklisted the guix-cran bot. <PurpleSym>Once a day. But I moved to a new server and had to fill the store again (i.e. download all source files). <rekado>last I checked the importer downloads every package twice <civodul>checking for reproducibility i guess, that's smart <rekado>“to advance science and blockchain”; that’s like “for the good of humanity … and also pancakes” <zimoun>they say Etherenum but they do not mention explicitly the consensus method – before or after the big swith of Etherenum? <zimoun>“Artificial Intelligence: a Problem of Plumbing? by Gerald J. Sussman“ looks intriguing :-) <zimoun>oh civodul is part of the committee :-) <civodul>i'm part of the *program* committee, so i merely review papers <civodul>most likely i won't be able to attend physically (which is sad because i have good memories of past editions)