Type Theory
CHENG KUN
ck76
一期一会
Software Engineering is about tradeoffs, there is no one right answer.
NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai
Nikita Karetnikov
nkaretnikov
Math, machine learning, functional programming, compilers, demoscene. I love meeting new people, email me and introduce yourself!
Germany
Lattice 0
lattice0
rust, kernels, virtualization.
ad35661031be2c0d53deacee28d40a87f1d82f1c7698f58ae2bd61c60b8ad092