Following

Adrian Sampson

@adrian@discuss.systems

Zachary Tatlock

@ztatlock@discuss.systems

Santosh Nagarakatte

@santoshgnag@mathstodon.xyz