se-sic
Users following se-sic
Paul Bittner
pmbittner
Software Engineer and PhD | Likes Agda, Agdq, ADTs, ASTs, MtG
Salzgitter Digital Solutions Würzburg
Yunqi Chen
UniqueClouds
Incoming Ph.D student in UC Irvine.
Interested in open source community, knowledge production.
University of California, Irvine Hangzhou