Skip to content
View pirapira's full-sized avatar
787 followers · 73 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx4

Achievements

Achievement: Pair Extraordinairex3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx4

Organizations

@ethereum

Block or report pirapira

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
@xrchz
Ramana Kumar xrchz

London

@mx00s
Sage Mitchell mx00s
@Dominik1999
Dominik Schmid Dominik1999
Curious - atm trying to learn zero-knowledge
@0xMiden
Miden 0xMiden
The edge blockchain
@yizhou7
yizhou7
formally verified piece of garbage
@pitmonticone
Pietro Monticone pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at Harmonic || Formalising in @leanprover || Developing in @JuliaLang and @python.

University of Trento Trento, Italy

@PatrickMassot
Patrick Massot PatrickMassot

Paris

@lucasbazante
Lucas Bazante lucasbazante
Brazilian Computer Science undergraduate, (infinitely) hooked on mathematics and such things.

Natal - Brazil

@pi8027
Kazuhiko Sakaguchi pi8027
Postdoc in the Plume team | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity

CNRS, ENS de Lyon, UCBL, LIP Lyon, France

@spapinistarkware
Shahar Papini spapinistarkware
@argumentcomputer
Argument argumentcomputer
@loredanacirstea
Loredana Cirstea loredanacirstea

Europe

@nwtgck
Ryo Ota nwtgck
Japanese

Japan

@void4
void4
@evdenis
Denis Efremov evdenis
@chiro
chiro chiro

Tokyo, Japan

@jonchoi
jonchoi
🏴‍☠️

Americas

@snario
Liam Horne snario
Never stop learning.

Internet

@virgil
Virgil Griffith virgil
Avant-garde technologist. I am post-prison. In compliance with the USA's Export Control List, not working at @ethereum.

Georgetown.edu Maryland, USA

@keriwarr
Keri Warr keriwarr
Software Engineer. UWaterloo CS Grad. Co-founder of @ethwaterloo.

Anthropic San Francisco

@barbagrigia
Vlad Trukhin barbagrigia
Full Stack Developer

Saint Petersburg

@f3rnando
cypher f3rnando

~ 0.00 0.00

@raineorshine
Raine Revere raineorshine
I design and build augmented sensemaking tools. 🧠🧜‍♀️🔮

New York, NY

@karlfloersch
Karl Floersch karlfloersch
Loving Ethereum, Casper, Cryptoeconomics, blockchain, open source, mechanism design, FP, P2P and of course Meditation. @ethereum
@mattdf
Matthew Di Ferrante mattdf
software engineer // vuln finder

@PrimeIntellect-ai Switzerland

@sdiehl
Stephen Diehl sdiehl
I build software.

London

@5chdn
5chdn
@ebuchman
Ethan Buchman ebuchman

Informal Systems Guelph, Ontario

@douglas-larocca
Douglas La Rocca douglas-larocca

United States

@amiller
Andrew Miller amiller
Distributed systems, applied cryptography, programming languages

University of Illinois Champaign, IL

@swr1bm86
xxx swr1bm86
(∀ m. isMan(m) → isMortal(man)) → isMan(xxx) → isMortal(xxx)
@a-mitani
a-mitani
@syrohei
Yusaku Senga syrohei
Blockchain Developer/DevOps/CxO of start up. Research and build next valuable app.

syrohei@gmail.com

@khibino
日比野 啓 (Kei Hibino) khibino
Working Haskell Programmer . The author of Haskell Relational Record, Project Site https://khibino.github.io/haskell-relational-record/

Tokyo, Japan

@mhhf
Denis Erfurt mhhf

Berlin

@zramsay
Zach zramsay
Wrote the original Tendermint/Cosmos Docs. Doing it all over again @LaconicNetwork; ~labtul-moltev on Urbit

Guelph, ON

@Bunjin
Vincent Bunjin
Blockchain full stack developer, entrepreneur and researcher. Ph.D in Decision and Game Theory.
@androlo
Andreas Olofsson androlo
@MrChico
MrChico
@adridadou
David Roon adridadou

Tributelabs Zurich - Switzerland

@smly
smly smly

40°47'11.2"N 119°12'24.2"W

@vbgl
Vincent Laporte vbgl
@axic
Alex Beregszaszi axic
Works on decentralised stuff. eipnft:axic.eth

@ethereum @ipsilon @spearbit @ethereumjs Dublin, Ireland

@chfast
Paweł Bylica chfast
@hackaugusto
Augusto Hack hackaugusto

Berlin

@marleyg
Marley Gray marleyg
Developer of digital asset ecosystems

Houston, Texas

@konradkonrad
konradkonrad
@mrsmkl
Sami Mäkelä mrsmkl
@walter-weinmann
Walter Weinmann walter-weinmann

@KonnexionsGmbH @IO-Aero @IO-Swiss Aero GmbH Gunten, Switzerland

@aliensyntax
aliensyntax