ymn @lambdaterm

Machine learning engineer and type theory enthusiast. Ekaterinburg, Russia Joined February 2016
  • Tweets
    1K
  • Followers
    68
  • Following
    255
  • Likes
    3K