8000 protz (Jonathan Protzenko) / Followers · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View protz's full-sized avatar

Block or report protz

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
@remigerme
Rémi Germe remigerme
CS student

École polytechnique, UC Berkeley Berkeley

@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

@shonfeder
Shon Feder shonfeder
Allophilia x Synechism x Rhythmicism

@tarides

@venkat-oss
Venkat venkat-oss
Builds Stuff., Electronics and Software.
@mikolajkapica
Mikołaj Kapica mikolajkapica

Politechnika Wrocławska

@ggfevans
Gareth Evans ggfevans

British Columbia, Canada

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

ETH Zurich

@justanotherinternetguy
justanotherinternetguy justanotherinternetguy
cs/linux/linguistics/aviation

normalizedlinuxusr@proton.me XY8S Z GAMMA

@colltoaction
Martin Coll colltoaction
Hyping hypergraphs

🇦🇷

@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

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

@facebook The edge of knowing

@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@me-diru
Rohit Dandamudi me-diru
Likes Rust, Open Source and Anime😴

@UBC Canada

@palash25
Palash Nigam palash25
GeneralistPolyglotDev | Previously: @percona @interviewstreet | LFX Intern @cncf | @atlanhq | @appbaseio | GSoC @coala

(f)unemployed Remote

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

Unemployed Saratoga, CA

@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

@SeriousBusiness101
SeriousBusiness101
i have no mouth and i must beatbox
@matteobusi
Matteo Busi matteobusi
Researcher at the Ca' Foscari University of Venice. Formal methods and security.

Italy

@rit
Rit Li rit
time-traveling healer

@carbonfive Los Angeles

@mdear
Myles Dear mdear
Software and product designer, former dad of medically complex teen, community advocate, optimist !

mPwrWare (11994808) Canada Inc

@heidihoward
Heidi Howard heidihoward
Researcher in distributed systems

@Microsoft Cambridge, UK

@dconnolly
Deirdre Connolly dconnolly
✨ I do cryptography ✨

SandboxAQ

@kziemski
Kryspin Ziemski kziemski

QCOMPUTE United States

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

Xanadu Canada

@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

0