Users following generalgalactic
Guillaume Claret
clarus
Security researcher at @formal-land π² for Web3 applications
Applying the π proof system to find all the vulnerabilities.
π»ββοΈ
Formal Land Paris
Robert Tolar Haining
rhaining
currently Aura @pushd; formerly @generalgalactic, @NuggetAudio, @venmo, @paypal, @braintree, modest, @digg, news.me, @CondeNast, cox newspapers
@pushd Brooklyn, New York