Anant Prakash
APwhitehat
Seasoned software engineer with experience in building backend systems in Golang and C++.
Past contributions in @matrix-org @scipy
@pclubiitk CMU, Pittsburgh, PA
Ayush Bansal
ayush268
Graduated from IIT Kanpur, major in Computer Science and Engineering.
Interested in systems and development.
University of Illinois Urbana-Champaign
John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Kushal Babel
kushalbabel
Security/PL/Systems
PhD Student @cornelltech @initc3
Cornell University NYC
Haresh Khanna
hareshkh
Software Engineer @SimpleDataLabsInc | ex @microsoft |
B.Tech(CSE) - IIT Roorkee
Prophecy.io Bangalore
Noshaba Cheema
noshaba
PhD Candidate at Max-Planck Institute for Informatics
Working on Reinforcement Learning for Animation and Games
Harsh Narang
harshnarang8
Coder. Interested in learning stuff, and more interested in building it.
Student India
Venkat Arun
venkatarun95
I develop Performance Verification and Synthesis, which is a way to use formal methods to design systems that perform reliably
UT Austin
Sagnik Bhattacharya
sagnikb
ECE PhD student at UMD, information and coding theorist
College Park, Maryland, USA
Amit Saharan
asaharan
Director of Tech @masai-codes | Co-founder @prepleaf
@masai-codes Bangalore, India
PreviousNext