Skip to content

Users following Deducteam

@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@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

@francimolli
Francesco Mollica francimolli
Ad Maiora.

BitBang S.r.l. Bologna (BO)

@elias-lnwbr
Elias Leinenweber elias-lnwbr
Embedded systems security R&D engineer

@ProvenRun Paris, France

@CogniDroid
Dries Frederickx CogniDroid
Existing in a time where I try to use my incompetence.

Belgium

@AngeValli
Ange Valli AngeValli
PhD Candidate in Applied Mathematics

@L2S-lab @CentraleSupelec @Universite-Paris-Saclay Paris

@stepbrobd
StepBroBD stepbrobd
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))

@Inria Grenoble, France

@Lenvanderhof
Len P. van der Hof Lenvanderhof
Think Big–Build Beyond. Founder & owner of LPH98.ventures.

LPH98.ventures Rotterdam, The Netherlands

@Sherin-SEF-AI
Sherin Joseph Roy Sherin-SEF-AI
Entrepreneur & Technologist | Founder @ DeepMost AI |Computer Vision | Self Driving Vehicle | Edge AI

DeepMost-ai Bangalore, India

@seanpm2001
Sean P. Myrick V19.1.7.2 seanpm2001
I'm an experienced programmer, with the intent to make the world a much better place, and protect freedoms of the Internet. I am skilled in Python, and web dev.

Self-employed; looking for tips Walla Walla Washington, USA, Earth, Milky way, <Universe>

@overshiki
Le Niu overshiki
A Bayesian and Haskeller into Quantum Computing

Shanghai

@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@PersonForSure
Monocled PersonForSure
Hobbyist, learning formal methods and systems programming. 16y/o

>_

@gborough
Geoffrey Borough gborough

Lexitree Melbourne Australia

@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@ciaran-matthew-dunne
Ciarán Dunne ciaran-matthew-dunne
proof assistants, formal math, etc

Paris, France

@matematiflo
Florent Schaffhauser matematiflo

Heidelberg University Heidelberg

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

@proxima-technology Japan

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@SeriousBusiness101
SeriousBusiness101
i have no mouth and i must beatbox
@ligurio
Sergey Bronnikov ligurio
I make software suck less
@FadiShawki
Fadi Shawki FadiShawki
The Etherlands @orbitmines

@orbitmines The Netherlands

@vserge
Serge Volkov vserge

Smart Innovative Building Solutions Moscow

@sacerdot
Claudio Sacerdoti Coen sacerdot

Alma Mater Studiorum - Universitá di Bologna Bologna (Italy)

@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@bond15
bond15
Formal Methods Research Scientist @ Two Six

Two Six Labs Seattle Washington