dark-flames
dark-flames
Programming Language / Dependent Type Theory / Full Stack Developer
Kyoto University Kyoto, Japan
Rynco Maekawa
lynzrand
"Never tried hard before, But dreamt to be special."
Mainly doing compilers, but interested in everything.
C / Rust / C# / Typescript;
en_US / zh_CN.
@moonbitlang AS13-November-01
M4tr1xt4ng
MATRIXKOO
Semi-Programmer | Vegetable PLer| Working on PLDI
@Vidar-Team @InProgramming @earth
LM
emptymalei
I build ML models in Germany. Applied Scientist, PhD in Physics. Worked on neutrino physics, cosmology, spiking neuron models, interplanetary immigration (scif
@spikinglabs Germany
Hypatia du Bois-Marie #RemoveCCP #中共下台 #FormalSciencesForHumanRight #形式科學為人權
analytic-bias
sapiens dominabitur astris пишем юными руками библиографию земли 🛜🔑🏴🇹🇼🇺🇦🏳️🌈🏳️⚧️🤝✊🎆
Institut Xiaohuan Ruan des Hautes Études Civiques et Scientifiques
Jun Gao
gaojunxuan
Windows & React Native dev | C#, C , Python, JavaScript, Rust | Computational Biology | Theoretical CS and Algorithm Design | University of Toronto '24
Chicago → Toronto