Post #2780915

@ionchy@types.pl @jesper@agda.club Afaiu there's huge fights over those CO2/token numbers because depending how you take training cost into account the results vary wildly?