Haoqing Wu
HaoqingWu
PhD in pure math;
crypto MFT.
AI Practitionaer
Views and code are my own.
Home London
Qin Gu
whalekeykeeper
Most projects here are quite outdated. Feel free to contact me to invite you see newer projects.
Nima Rasekh
nimarasekh
I am a postdoc at Universtät Greifswald. I am mostly interested in category theory and the formalization of categorical structures.
Universität Greifswald Greifswald, Germany
Jonathan Weinberger
jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.
Chapman University Orange, CA
Louis Faucon
lfaucon
Looking to do some good in the world by improving the quality of information that grabs billions of hours of human attention daily. With @tournesol-app
Oracle Zurich, Switzerland
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Yunus Emre Özdiyar
incendies
Full Stack Developer who is also interested in AI, game development, mobile development, and latest tech hypes
Türkiye
Theo M. Bulut
vertexclique
λx.λy.y → λx.λz.z | compiler opt,
@rust-lang, and ML | 0xD20F2F5E6DFD6F11 – Different barb, same wire
Berlin, Germany