Skip to content
View msprotz's full-sized avatar
81 followers · 1 following

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Organizations

@microsoft @project-everest

Block or report msprotz

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
@monster0318
Full Stack Ninja monster0318
Senior Software Engineer | React, Vue, Angular | Python, Java, Ruby | Clean code, scalable systems, and real-world impact | Remote-first & always learning.
@narcisseuuh
Narcisse narcisseuuh
Student at Télécom SudParis. CTF player @ HackademINT, interested in formal methods, static analysis

Télécom-SudParis

@beike-zh
beike-zh
@IC7400A
Ayusman Avisek Nanda IC7400A
Passing the time with kernels !
@hypervanse
Frederico Moreira hypervanse
phd in physics with experience in @octave-app @microsoft

Hypervanse Brazil

@Marc-g-Z
Marc G Marc-g-Z
Driven.

Derisk Venture Studio

@fraware
Matéo H. Petel fraware
Curiosity. ________________________________________________________________________________________ Stanford | NASA JPL | Oxford | ENS

Stanford

@cfm
Cory Francis Myers cfm

@freedomofpress

@dconnolly
Deirdre Connolly dconnolly
✨ I do cryptography ✨

SandboxAQ

@momo286
Morgan Guesdon momo286
chocolate
@mrluanma
Zhao Xiaohong mrluanma

Shanghai, China

@mmitch1
Michael Mitchell mmitch1
CS @ Rice University

Rice University Houston, TX

@justanotherinternetguy
justanotherinternetguy justanotherinternetguy
cs/linux/linguistics/aviation

normalizedlinuxusr@proton.me XY8S Z GAMMA

@vavanade
vavanade
@nsrknth
nsrknth
@oneofvalts
Abdullah Uyu oneofvalts
Mathematics Graduate
@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@977812671
977812671 977812671

apple

@JeffCarpenter
Jeff Carpenter JeffCarpenter

Canada

@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

@facebook The edge of knowing

@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@ahuoguo
Alex Bai ahuoguo

MPI-SWS

@serious-gist
serious-gist

Germany

@jacobsomer
Jacob Somer jacobsomer
Aspiring software engineer interested in learning, building, and helping people through code

Falls Church, VA

@FermiQ
fermiq FermiQ
Im an InterGalactic Dust Particle; hanging on a Limited LifeSpan; anticipating a LightYr. old Ray of Luv 2 Consummate me with QFT; QT; QC; & Mode Collapsing AMI

Science Neutrino

@anishathalye
Anish Athalye anishathalye

@cleanlab San Francisco, CA

@cool1209
cool1209
@heidihoward
Heidi Howard heidihoward
Researcher in distributed systems

@Microsoft Cambridge, UK

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

Xanadu Canada

@hiroki-chen
Hiroki Chen hiroki-chen
CS Ph.D. @ IUB "Algorithms are the computational content of proofs." (Robert Harper)

Unemployed Saratoga, CA

@rtviii
Artem Kushner rtviii

Vienna

@HazardJ
HazardJ

http://github.com/CommonAccord

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@jryans
J. Ryan Stinnett jryans
Exploring how to make programs more malleable and computing more humane | My communities: @malleable-systems, @matrix-org, @mozilla

London, UK

@jaybosamiya
Jay Bosamiya jaybosamiya
🦊 Software security researcher. PhD from CMU. BTech (CSE) from IIT Roorkee. Open source dev. CTFer (PPP). Work account: @jaybosamiya-ms
@JCSIVO
JCSIVO JCSIVO
Finding Passion in the Back-End Developer World: C# | .NET | Python | Java | Spring | Git | JUnit | JavaScript | PHP | Laravel | Symfony | SQL

Juniper Travel Technology España, Spain

@SimJoSt
Joda Stößer SimJoSt
Motivated by weird problems & sleek solutions Working on, learning with and bootstrapping coders.fail #BuildInPublic

@codersfail Remote, based in Germany

@Enrique-porras
Enrique-porras15 Enrique-porras
@ky-bot
ky bot ky-bot
I'm a bot. @honpery

China

@mmcloughlin
Michael McLoughlin mmcloughlin

Aurora Innovation Pittsburgh, PA

@AddressXception
AddressXception AddressXception
Native & web dev on iOS, Android, Linux, Windows and wherever else code runs. VR/AR, Ethereum, Cryptography and anything else fun. I love maps.

@InfernoRed

@patevs
Pat patevs
<script>alert(0);</script>

New Zealand

@mgrabovsky
Matěj mgrabovsky

Fakta o klimatu, VŠE Czechia

@navidR
Navid Rahimi navidR
ex-Microsoft system software engineer. Working on TBA
@JOE1994
Youngsuk Kim JOE1994
Our theme: https://youtu.be/qYodWEKCuGg?feature=shared
@graydon
Graydon Hoare graydon

Vancouver, BC

@h0m3brew
h0m3brew
@ghuysmans
ghuysmans

Belgium

@mbouaziz
Mehdi Bouaziz mbouaziz

@SkipLabs Lille

@mytxd
尹名洋 mytxd
Haskeller