Derek Dreyer @herrdreyer@types.pl

Web: https://people.mpi-sws.org/~dreyer

Get used to disappointment.

Joined Nov 2022

61 Following 265 Followers

Max Willsey @mwillsey@discuss.systems

Jules @julesjacobs@discuss.systems

Antoine Kaufmann @antoinek@discuss.systems

Edward Z. Yang @ezyang@chaos.social

John Wickerson @wicko3@mastodonapp.uk

Felipe @fbanados@types.pl

Loris D'Antoni @lorisdanto@discuss.systems

James Larus @jameslarus@discuss.systems

Noam Zeilberger @noamzoam@mathstodon.xyz

Fabian Muehlboeck @fabianm@mastodon.acm.org

Andrej Bauer @andrejbauer@mathstodon.xyz

David Thrane Christiansen @d_christiansen@types.pl