🎯
Focusing
Institute of Computing Technology, Chinese Academy of Sciences.
interested in Compiler
Fehr Mathieu
math-fehr
Research assistant at the University of Cambridge. PhD student at the University of Edinburgh.
University of Cambridge Cambridge, UK
Chris Cummins
ChrisCummins
Member of Technical Staff @ Axiom Math. Previously Meta FAIR, DeepMind, Google, Intel.
Palo Alto, California
Mate Soos
msoos
Model counting, SAT solving, symbolic execution, cryptography, and IT security
Berlin, Germany
Adib Attie
dibsonthis
Software engineer with a passion for creativity and problem solving.
Aginic Sydney
Soumith Chintala
soumith
/\︿╱\ _____________________________
\0_ 0 /╱\╱________________________
\▁︹_/
Thinking Machines New York, USA
Meta Experimental
facebookexperimental
These are Meta projects that are not necessarily used in production but are being developed in the open nevertheless.
Menlo Park, California
Andrew Myers
andrewcmyers
Professor of computer science at Cornell University. Works on programming languages and security.
Cornell University Ithaca, NY, USA
Yegor Bugayenko
yegor256
Author of "Angry Tests" and "Elegant Objects" books (buy them on Amazon); architect of @objectionary; founder of @zerocracy; creator of @zold-io
@zerocracy China
Microsoft Azure
Azure
APIs, SDKs and open source projects from Microsoft Azure
United States of America
João Nuno Carvalho
joaocarvalhoopen
Hi, I’m a software engineer - computer science and electronics. I develop in many programming lang. I do command line, GUI and Web, Machine Learning and others.
Portugal - Lisbon
PreviousNext