fogfish
🄐ddict to Functional Programming & Category Theory ∴ Golang ∴ Scala ∴ Erlang.erl ∴ Service Creator ∴ 🄕 ⤳ Distributed Systems, Linked Data, Cloud & Security
Finland
Lqxc
lovebaihezi
Sound type is everything.
true = λx.λy.x
false = λy.λx.y
if = λc.λx.λy.y ~> x ~> c
Zixuan Tan
frezcirno
MLSys Now. Ex: Redis / Tair @aliyun, Kata Containers @kata-containers, Cloud Network Virtualization @bytedance
@bytedance
Xiandu Yu
yxd0379
My name is Yu Xiandu. I am pursuing a graduate degree in Information and Communication Engineering at Northeastern University, with a research focus on network.
Northeastern University Northeastern University (Hunnan Campus), Hunnan District, Shenyang, Liaoning Province, China.
Yingjun Wu
yingjunwu
Building infrastructure for the next TRILLION users.
RisingWave Labs Santa Clara, CA
Haruka
HarukaMa
If you see my name in your commit, then you are using a wrong email address on that commit. Fix that instead.
Company Location
Jon Gjengset
jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.
@helsing-ai Oslo, Norway
RustCn 社区
rustcn-org
Hi，欢迎来到 RustCn，一个学习研究型社区，聚焦于 Rust 语言学习和实战，不搞花活！ 公众号: Rust语言中文网，QQ 群 1009730433
Alex Chi Z
skyzh
building database systems @databricks, previously @cmu-db; a bubble tea every day makes me happy right away
Databricks 🧱 Bellevue, WA, USA ⇌ Shanghai, China
dark-flames
dark-flames
Programming Language / Dependent Type Theory / Full Stack Developer
Kyoto University Kyoto, Japan
Bob Niu
spartucus
Just a slob like one of us.
Just a stranger on a bus.
Trying to make his way home.
web3 world
PreviousNext