8000 msooseth (Mate Soos @ Argot) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View msooseth's full-sized avatar
56 followers · 14 following

Block or report msooseth

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
@d-kfmnn
Daniela Kaufmann d-kfmnn

TU Wien Vienna, Austria

@xrchz
Ramana Kumar xrchz

London

@gakonst
Georgios Konstantopoulos gakonst
cto & general partner at @paradigmxyz. mev, layer 2, proof of stake, zkps. we're hiring engineers internally & for the portfolio: georgios at paradigm dot xyz

@paradigmxyz Thessaloniki, Greece

@bshastry
Bhargava Shastry bshastry
Security Engineer @ethereum #solidity bshastry.github.io
@elopez
Emilio López elopez

@trailofbits Rosario, Argentina

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@holiman
Martin HS holiman
@chfast
Paweł Bylica chfast
@blishko
Martin Blicha blishko
@alexcere
Alejandro Hernández Cerezo alexcere
Assistant Professor in CS at Complutense University of Madrid. Working with @costa-group on tools for analysis and optimization of Ethereum smart contracts

Complutense University of Madrid Madrid, Spain

@costa-group
The Costa Group costa-group

Madrid

@MrChico
MrChico
@pcaversaccio
sudo rm -rf --no-preserve-root / pcaversaccio
𝐖𝐨𝐫𝐤𝐢𝐧𝐠 𝐨𝐧 𝐰𝐡𝐚𝐭'𝐬 𝐧𝐞𝐱𝐭.

w021d

@ehildenb
Everett Hildenbrandt ehildenb
0