Following

Vsevolod Livinskii

@vlivinsk@discuss.systems

james

@yoo@discuss.systems

Rachit

@notypes@discuss.systems

John Regehr

@regehr@mastodon.social

Chris Fallin

@cfallin@mastodon.world

Max Willsey

@mwillsey@discuss.systems

Zachary Tatlock

@ztatlock@discuss.systems