Skip to content
View vihdzp's full-sized avatar
🏳️‍🌈
Unicorns, rainbows and lightning
🏳️‍🌈
Unicorns, rainbows and lightning
64 followers · 31 following

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: Starstruck

Block or report vihdzp

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@Jabrhm
Jabrhm
I only learn programming for Coq and I'm already suffering. WHY THE INDUCTIVE TYPES DO NOT HAVE AN EXPLICIT INDUCTION RULE????

Mexico

@aquariiuu
violet inbound aquariiuu
webdev, dsp, i don't use github

Seattle

@plp127
Aaron Liu plp127

Pittsburgh, PA, USA

@Carolis
Carolis
shoot the arrow, then paint the target

(x,y,z)

@Xvezda
Xvezda Xvezda
Front-End Developer / Web Application Bug Hunter / VIM, JavaScript, Python ❤️

Seoul, South Korea

@SnO2WMaN
SnO₂WMaN SnO2WMaN
お前の好きなものが分かってよかった

チルノのパーフェクトさんすう教室

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

Proxima Technology Japan

@lucianchauvin
Lucian lucianchauvin
Undergraduate in pure mathematics and computer science. Meow :3

Texas A&M University Austin/College Station

@tooliltoolate
tooliltoolate
@RustyCobalt36
Rusty RustyCobalt36
@Dpbm
Alexandre Dpbm
Hi, I'm Alexandre Aka Dpbm. I'm a Brazilian developer. In love with quantum computers 😍

Brazil

@MohammedSharukh
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

@Komyyy
Miyahara Kō Komyyy

Tokyo University of Science Tokyo, Japan

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@fotisandstuff
Fotis and Stuff fotisandstuff
Interested in anything that involves audiovisual science and art.
@soraros
soraros
@SuperSonicHub1
Kyle Anthony Williams SuperSonicHub1
Just a guy manipulating streams of binary into something neato. MIT '27

@mit New York

@Diatom33
Alice Blair Diatom33
@edwardzcn-decade
Edward Zhuang edwardzcn-decade
@atalii
Tali Auster atalii

Reed College 2028 Portland, OR

@SSSPigeon
Shuge Rong SSSPigeon
落日飞驰，听歌看海

Carneigie Mellon University 5000 Forbes Ave, Pittsburgh, PA 15213

@sophie-pyxis
Sophie Pyxis sophie-pyxis
Senior Staff ML Engineer with a passion for solving problems through Machine Learning, MLOPS and Data Engineering

Natura São Paulo, Brazil

@tristan-f-r
Tristan F.-R. tristan-f-r
ferrets

Reed College Portland, OR

@longemen3000
Andrés Riedemann longemen3000
Julia and chemical engineering

Chile

@anandijain
anand jain anandijain
cs music p=np

San Jose CA, Boston MA

@Gustavo-Castro19
Gustavo-Castro19
@estradilua
Lua Viana Reis estradilua
Master student in ergodic theory who also likes computers. Type 1 diabetic.

ICMC/USP Brasil

@shubhamkumar13
shubham shubhamkumar13
Projects on : https://codeberg.org/shubhamkumar13

India

@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@at-raposo
Raposo at-raposo

Brazil

@AndresNeron
Andrés Nerón AndresNeron
I studied pure mathematics and computer systems. I'm a passionate about Linux distros, AI development and cryptography.

Oracle

@joewatt95
joewatt95
@algebraic-dev
Sofia Rodrigues algebraic-dev
i like functional programming languages
@chenjulang
chenjulang
@jaalonso
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)

@AquaEBM
AquaEBM
I love using math to make beautiful things

Polytech Lyon Lyon, France

@inthar-raven
Kieran Crowloft inthar-raven
@sayurc
Sayu sayurc

Milky Way

@balsamicrow
balsamicrow
@nhthn
Nathan Ho nhthn
dsp
@Rel1cx
REL1CX Rel1cx
Open-source developer, former senior frontend architect.

Making lint rules for "pitfall site:react.dev"

@renzol2
renzo renzol2
now @Paylocity prev. cs+music @illinois 🐸🌱

CS@Illinois

@ScottJWalter
Scott J. Walter ScottJWalter
Just another digital nomad roaming the information superhighway, looking for adventure and enlightenment.

Minneapolis, MN

@OliverKovacs
Oliver Kovacs OliverKovacs
Also known as dnydxn. Computer Science student at ETH Zürich.

ETH Zürich Zürich, Switzerland

@mo271
Moritz Firsching mo271

Google Research Basel, CH

@amydevs
Amy! amydevs
Software Engineer and Computer Science Student

@SpinShare Australia

@JCLArriaga5
José Carlos López Arriaga JCLArriaga5
Winter Is Coming 💻 :atom: 🐍

Guanajuato, México

@gciruelos
Gonzalo Ciruelos gciruelos
(\x. x x) (\x. x x)

Buenos Aires, Argentina

@BinaryCrown
Jayde <3 BinaryCrown
Well, I guess I exist. So, yeah...

UK

@ElNico56
ElNico56