Skip to content
View martinescardo's full-sized avatar

Block or report martinescardo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@ck76
CHENG KUN ck76
一期一会 Software Engineering is about tradeoffs, there is no one right answer.

NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai

@rahulc29
Rahul Chhabra rahulc29
Cubes and realizers 🧊λ

Aarhus Univeristy Aarhus, Denmark

@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@daljit46
Daljit Singh daljit46
Research Software Engineer at King's College London. Working on @MRtrix3
@ice-kylin
icekylin ice-kylin
`println!("Hi!");`

University College London United Kingdom

@jmikedupont2
Mike DuPont jmikedupont2
Senior Full stack developer focused on p2p ml ai devops https://linktr.ee/h4km discord account m1337d

@meta-introspector New Jersey

@weirdsmiley
Manas weirdsmiley
Compilers, PL, OS

New Delhi, India

@morphismz
Raymond Baker morphismz
A contractable space

@MercuryTechnologies Right Here

@AtticusKuhn
Atticus Kuhn AtticusKuhn
Computer Science Student at Trinity College, Cambridge

Cambridge, United Kingdom

@FeorgeGeorge
Kadanstsev Georgii FeorgeGeorge
Pure Mathematics graduate student, working on formalisation of category theory + mathematical logic

Saint Petersburg, Russia

@clehene
Cosmin Lehene clehene

TapWater San Francisco

@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.

Chapman University Orange, CA

@FadiShawki
Fadi Shawki FadiShawki
The Etherlands @orbitmines

@orbitmines The Netherlands

@jul1u5
Julius Marozas jul1u5
PhD @ Chalmers

Chalmers University of Technology Sweden/Lithuania

@samkuhn
Sam Kuhn samkuhn
Full Stack 3D Web Developer - WebGPU, WebGL, AR, VR, Serverless, Cloud

UK

@ungatz
sanad ungatz

Indiana University Bloomington, IN, USA

@varikvalefor
la .varik. .VALefor. varikvalefor
ni'o la .varik. cu prami je cu cmacypre je cu mutce le ka ce'u seljda kei je cu co'e... je cu co'e ja ponse la'o zoi. varikvalefor@aol.com .zoi

US-MD

@SchrodingerZhu
Schrodinger ZHU Yifan SchrodingerZhu
Working!

University of Rochester Rochester, NY

@fogti
Ellen Emilia Anna Zscheile fogti
mostly Rust programmer; using mostly Gentoo Linux and a few others; math student (previously at TUC) at RWTH Aachen; make more infra.

Aachen

@struce2
struce2 struce2
长方体混凝土瞬间移动工程师
@m4p1e
maplgebra m4p1e
PhD student interested in cybersecurity and some theories. PWN player of @Nu1LCTF

ShanghaiTech University, China.

@AlfabetaWeb
B. A. Ballesteros AlfabetaWeb
Full Stack Developer . Tech teacher. Eager to learn, improve and practice. Open to collaborate

European Union

@4ad
Aram Hăvărneanu 4ad
Mathematical engineer bringing type safety to the cloud.

Vienna, Austria

@lane-core
lane lane-core
formal verification, (homotopy) type theory, and categorical nonsense

san francisco

@cumsoft
cumsoft cumsoft
CLT, XR & Hybrid Kernel Dev

cumsoft New York, NY

@DavetheSlayer
Haoyu Sun DavetheSlayer

University of California, Berkeley

@kotoromo
Nicky García kotoromo
Math student at UNAM. I really like category theory, homotopy type theory and computer proof assistants. I'm also a data science enthusiast.

Mexico City

@Kraks
Guannan Wei Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers

Tufts University

@ST-48-1240162
Gewenxin Yu ST-48-1240162
audio signal processing, bioacoustics, machine learning and computer music.

Shanghai

@slerpyyy
Aaron Bies slerpyyy
coder • demoscener • shader artist • university student

Saarland University Germany

@randoruf
Kaede Shiina randoruf
信じる心があなたの魔法〜

Melbourne

@jaypmorgan
Jay Paul Morgan jaypmorgan
Machine Learning researcher with a focus its application to heliophysics.

Swansea University UK

@0xameer
0xameer
https://sr.ht/~carnotweat/

carnot Bangalore