Following

Alwe

@Alwe_Logic@mathtod.online

Björn Schießle :europa:

@bjoern@social.schiessle.eu

Rome archaeology and stuff

@Rome_and_stuff@mastodon.social

Jon Sterling

@jonmsterling@mathstodon.xyz

Formal Methods Europe

@fme@mastodon.acm.org

Masaki Hara

@qnighy@qnmd.info

seL4

@sel4@fosstodon.org

mwmarkland

@mwmarkland@social.vivaldi.net

yuki1729

@yuki1729@social.vivaldi.net

Peter Krefting

@nafmo@social.vivaldi.net

Charadriiformes

@Charadriiformes@social.vivaldi.net