visortelle
Follow
Gavin Mendel-Gleason
GavinMendelGleason
Interested in formal methods for real software. My primary focus is on databases, RDF, Type theory, logical query languages and program transformation.
TerminusDB Dublin
Wenzhi Feng
thetumbled
@apache Apache Pulsar Committer &&
Apache Bookkeeper Contributor
BIGO guangzhou
wenbingshen
@apache BookKeeper Committer | @streamnative KoP (Kafka-on-Pulsar) Maintainer | @apache Pulsar/Kafka/Flink/Hudi Contributor
weibo BeiJing
Maarten
maartends
From no-path (1) to go-path (2).
http:https://maartendeschrijver.me/img/hardin-cartoon.png
https://gitlab.com/maarten_ds
https://keybase.io/maartends
@viaacode Earth
Alex
martishin
Engineering Manager with a background in designing and developing distributed high-load systems
Miro Amsterdam
Harun Sevinc
HrnSvnc
@inovex / @adcolabs Cologne, Germany
Keying Qi
unicoco7
A student of University of Chinese Academy of Sciences
University of Chinese Academy of Sciences
PreviousNext