zaoqi
Follow
Deleted user
ghost
Hi, I'm @ghost! I take the place of user accounts that have been deleted.
:ghost:
Nothing to see here, move along.
Laurence Tratt
ltratt
Programmer, researcher. Software Development Team, King's College London
@softdevteam Somerset / London
Miles Sabin
milessabin
I do stuff with Scala. Partner at underscoreio, Typelevel cofounder, Scala SIP committee member. Type astronaut, shapeless/scalac/dotty hacker.
Underscore/Typelevel/shapeless/grackle Brighton, UK
Holden Karau
holdenk
Holden Karau is trans Canadian, and open source contributor. She is a Spark committer co-author of Learning Spark, High Performance Spark and Kubeflow for ML.
Open Source Big Data Dev San Francisco, CA, USA
Li Haoyi
lihaoyi
I'm a software engineer. If you like using my libraries or reading my blog https://www.lihaoyi.com/, you should check out my book https://www.handsonscala.com
Neeraj
neeraj9
Architect / Manager / Tech worked on multiple things across all the OSI layers from physical to application. C / C++ / Erlang / C# / Python / Java / many others
Microsoft
Mistrum Ro
thespencertupis
Hobbyist technophile w/ focus on federation and type theory.
New York, NY, USA
Kartik Singhal
k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.
Chicago, IL
Brendan Zabarauskas
brendanzab
I'm interested in how computers can extend human creativity, and how how type systems can be used as tools for thought. 👨🎨👨💻👨🔬
@yeslogic Melbourne, Australia
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
PreviousNext