Yongshun Ye
ShreckYe
Kotlin full stack developer; programming language theory (functional programming, type theory, formal math, etc.) enthusiast
Chengdu
Guilherme Lima
guilhermez2006
Análise e Desenv. de Sistemas - Senai 3/4
Html/Css/JavaScript/NodeJs/MongoDb/ Git
Brasil
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
Barton Rhodes
bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then ⊛ represents agency
being exerted on systems"
@plurigrid san francisco
Yuntian Liu
Fulcrum-Nebula
Shanghai Jiao Tong University, School of Mathematical Science.
Shanghai Jiao Tong University Dong Chuan Rd. No.800, Shanghai,China
YuHang Wang
Ayanami1314
student of ShangHai Jiao Tong University@SJTU
Wanna be a good programmer!
ShangHai Jiao Tong University
Jelly Terra
jellyterra
Focus on computer architecture, formal verification, compiler including HLS.
Gensokyo Silicon China
PreviousNext