Skip to content
View echo672's full-sized avatar

Block or report echo672

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
@my8100
LxL my8100
Life is short
@YAcademy-Residents
YAcademy-Residents YAcademy-Residents
Auditing repo for YAcademy residents
@sherlock-audit
Sherlock Audit sherlock-audit
Decentralized exploit protection
@emk
Eric Kidd emk

Vermont, USA

@quantopian
Quantopian, Inc. quantopian
Quantopian builds software tools and libraries for quantitative finance.

Boston, MA, USA

@blanchette
Jasmin Blanchette blanchette

Ludwig-Maximilians-Universität München Munich, Germany

@lostinet
honghu xu lostinet
Self-Driving Car Enthusiast Knowledgeable in the Automotive Industry

china

@sambacha
sam bacha sambacha
@sambacha on telegram https://x.com/@blockrotator

@manifoldfinance

@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

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@richardkiss
Richard Kiss richardkiss
I am lazy and enjoy eating donuts.
@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@FranklinMa810
Franklin Ma FranklinMa810
Quant

Baruch MFE NYC

@supermemo
SuperMemo supermemo
An all-SuperMemo repository, by the community, for everyone.

SuperMemo, jamming to knowledge.

@lean-dojo
LeanDojo lean-dojo
Machine Learning for Theorem Proving in Lean

United States of America

@Evian-Zhang
EvianZhang Evian-Zhang
ISCAS, China

Beijing, China

@chainflag
ChainFlag chainflag
Learn blockchain security through CTF challenges

Decentralized

@yanneta
Yannet Interian yanneta
I am an Associate Professor of Data Science at the University of San Francisco. I teach Machine Learning and Deep Learning.

University of San Francisco San Francisco, CA

@parrt
Terence Parr parrt
Tech lead at Google, ex-Professor of computer/data science, active contributor to open-source projects supporting developers. Creator of ANTLR parser generator.

San Francisco

@gpeyre
Gabriel Peyré gpeyre
CNRS senior researcher in the DMA, Ecole Normale Supérieure

CNRS Paris

@chriswolfram
Christopher Wolfram chriswolfram

@WolframResearch Chicago, Illinois

@JoramSoch
Joram Soch JoramSoch
Postdoc at OvGU Magdeburg. Interested in cognitive neuroscience, fMRI data analysis and Bayesian model selection. Developer of MACS for SPM (see right).

Otto von Guericke University Magdeburg, Germany

@0xJepsen
Jepsen ✨ 0xJepsen
Creating Biodigital Jazz

@Pluto Somewhere in meatspace

@mixbytes
MixBytes mixbytes
Development, research, audit of decentralized software
@flyq
liquan.eth flyq
#rust #SNARKs #STARKs #cryptography #ic #solidity #evm

Blockchain

@djrtwo
danny djrtwo
proof of stake, sharding, and other blockchain related research.

Ctrl^T New Orleans

@kenjihiranabe
Kenji Hiranabe kenjihiranabe
C++, Java programmer, Agile practitioner CTO and Co-Founder at Change Vision, Inc ; CEO at ESM, Inc.

Change Vision, Inc. Fukui

@0xalpharush
alpharush 0xalpharush

@asymmetric-research

@GuardianAudits
Guardian GuardianAudits
Devastatingly Effective Smart Contract Security
@wevm
wevm wevm
TypeScript tooling for Ethereum
@gwgundersen
Gregory Gundersen gwgundersen

Princeton University New York City