Followers

Dennis Yurichev

@dennisyurichev@mastodon.social

mattpd

@mattpd@mastodon.social

Jeff

@jeffscience@c.im

Satnam Singh

@satnam6502@mastodon.social

Tobias Grosser

@grosser@mastodon.social

Zachary Tatlock

@ztatlock@discuss.systems

Yao Li

@liyao@mastodon.acm.org

Eric Holk

@theincredibleholk@mastodon.social

Zhengyang Liu

@hyperoptimizer@mastodon.social

Torsten Grust

@teggy@discuss.systems

Max Willsey

@mwillsey@discuss.systems