Lean people to follow on twitter?

Stream: general

[Andre Popovitch]

I'm looking for proof assistant/dependent types/fp people to follow on twitter, does anyone have any suggestions? if you tweet about these things please include yourself!

[Jason Rute]

I’m not a twitter person, but I know of some accounts. (You will have to Google for the handles and double check my spelling.)

• Andrej Bauer
• Talia Ringer
• Leo de Moura

• Xena Project (Kevin Buzzard)
  Also here are some machine learning for theorem proving folks depending on your interests:

• Jesse Michael Han

• Stan Polu
• Christian Szegedy
• Markus Rabe
• Yuhuai Tony Wu

[Andre Popovitch]

Thanks!

[Chris B]

Sebastian is on twitter as well: derKha