Following

arXiv cs.LO bot

@arXiv_csLO_bot@mastoxiv.page

Wan Shen Lim

@capybara@discuss.systems

Bart Jacobs

@bjacobs@social.edu.nl

Counting Is Hard

@counting_is_hard@mathstodon.xyz

Zach

@zaxioms@mathstodon.xyz

Carlo Angiuli

@carloangiuli@mathstodon.xyz

Fredrik Nordvall Forsberg

@fnf@mathstodon.xyz

Jesper Agdakx 🔸

@jesper@agda.club