😶
Rolling the dice.
Li Yao
lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Coq.
Portland State University Portland, OR
Ziyang Li
lzy960601
Just be confident.
Nanjing University Nanjing,Jiangsu Province && Hefei,Anhui Province
Chun Tian
binghe
Common Lisp programmer and HOL proof engineer
Australian National University Canberra, Australia
Kenneth Reitz
kennethreitz
I wrote Requests: HTTP for Humans and Pipenv. The only thing I really care about is user experience.
@cppalliance Virginia, USA, Earth, Milky Way.