James Payor @jamespayor

I think about AI. I'm working on a dependently-typed programming language that's less painful to use. Married to @sbwzp payor.io Joined October 2011
  • Tweets
    734
  • Followers
    289
  • Following
    253
  • Likes
    10K