Followers

Orlando 🇲🇽 :linux: :julia: ⁂

@0rkk0@fosstodon.org

freax

@freax@friendica.opensocial.space

tamimi

@tamimi@mastodon.acm.org

Steph. Luis Rolland-Brabant ⁂

@stphrolland@mathstodon.xyz

freax

@freax@joinfriendica.de

Charles Southerland

@csoutherland@mastodon.acm.org

Marius Mikučionis

@MariusM@qoto.org

Nicolai Brodersen Hansen

@nbhansen@mastodon.social

Kettle, Turing-complete

@turingfull_kettle@mathstodon.xyz

Formal Methods Europe

@fme@mastodon.acm.org