Proving stuff in Isabelle. Computer networks and security.
- Munich, Germany
Bendegúz Szczuka
asimoq
Junior Software engineer |
Student in Budapest at Óbudai University.
Budapest
Mythreon
Mythreon
Mythreon am I!
The (currently) One and only developer of "Anna, kun selitän pelin"- an open-source card game.
Christopher Wilcox
crwilcox
Software Developer @google.
Snakes, Gophers, sometimes Rocket Turtles.
He/Him.
Also a motorcycle racer.
Google Cloud Seattle, WA
Die, Master Monkey
diemastermonkey
Actually I'm Gary Arthur Douglas - this is my stage name. Most of this stuff stems from my "performance art" or personal research projects.
Bay Area, California
Sertay Akpinar
sertayy
MSc. in Informatics Student at Technical University of Munich |
Alumni of Boğaziçi University'21, Computer Engineering
Munich, Germany
Florian Wilhelm
fwilhe2
I work for SAP. This is my personal account.
Avatar made via chatgpt/dall-e.
TANG ZhiXiong
district10
Vim user under dvorak.
(Hiring for SLAM/GIS/C++/Python talents)
Momenta Suzhou, China
Klaus Ferreira
KlausEverWalkingDev
Software Developer | Angular | TypeScript | Git | Linux | Java | SQL | Creator and Community Manager at @DevCaminhante
@DevCaminhante Blumenau, SC, Brazil
Lennie Budgell
Bedrovelsen
Security Researcher & Software Developer
****
Maths/AI/Crypto/Infosec/Music
PreviousNext