9:15 AM
@AndreaMarino I do not know anything about this topic - but at least I'll try to offer some possibilities where to ask.
Of course, if chat doesn't work, probably one should consider posting a question on some of the sites.
I've mentioned this in the Category Theory room and the random cohomology room. No response - but that's not surprising, those rooms are not visited very often.
Aug 23, 2021 at 15:35, by Aaron Mazel-Gee
@AT0 Welcome! Just so you and others know, this room is mostly inactive these days; the conversation has migrated to a discord server, which can be accessed here: nodorek.net . I'd suggest that if you have further or follow-up questions you ask them there.
OTOH, it seems that some users still visit this room occasionally. If I look at the list of pingable users, I see: Rune Haugseng, Tyler Lawson, Omar Antolín-Camarena, Denis Nardin, John Palmieri, Saal Hardali, Martin Sleziak.
« first day (3284 days earlier) ← previous day next day → last day (119 days later) »