Tci Gravifer Fang
Gravifer
Stars are manual not crawled;
it's just mark-and-recapture searching.
Tsinghua University Beijing
eneoli
eneoli
Hi there! I'm a CS student from Germany, currently interested in PL theory and computational logic.
Karlsruhe Institute of Technology
Mohammed Sharukh A
MohammedSharukh
Maths Teacher @98thPercentile | Ex-Maths Teacher @planetspark | Pentab User 🖋💻 | EdTech | AIED | AI/ML/DL/GNNs | IIT Palakkad '22 | MSc Mathematics
PlanetSpark Kerala, India
Shubham Aggarwal
shubh3794
I am a Senior Software Engineer at Amazon labs, an open source enthusiast. Contributor in Cpython. Former member of Computer Society of India
@amzn Bengaluru, India
John Baker
bakerjd99
I am a recusant programmer. I have lived in seven countries on four continents and would like to catch the first starship outta here!
Meridian Idaho
Taylor Belcher
hotdogontology
Math & CS Teacher, Part-Time CS PhD Student, Amateur Tiny Game Dev
South Carolina Governor's School for Science and Mathematics Hartsville, SC
Jose A. Alonso
jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
Universidad de Sevilla Sevilla (España)
Huỳnh Trần Khanh
huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
@rocq-community Vietnam
PreviousNext