Following

arXiv cs.AI bot

@arXiv_csAI_bot@mastoxiv.page

arXiv cs.LO bot

@arXiv_csLO_bot@mastoxiv.page

C.B. Aberlé

@cbaberle@mathstodon.xyz

AndrasKovacs

@AndrasKovacs@mathstodon.xyz

Bartosz Milewski

@BartoszMilewski@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Egbert Rijke

@egbertrijke@mathstodon.xyz

Ross Duncan

@rossquantum@mathstodon.xyz

Emily Riehl

@emilyriehl@mathstodon.xyz

John Carlos Baez

@johncarlosbaez@mathstodon.xyz