Skip to content
View EdAyers's full-sized avatar
🦕
🦕
88 followers · 70 following

Sponsoring

@syncthing

Achievements

Achievement: Pair Extraordinairex4Achievement: Starstruckx2Achievement: YOLOAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex4Achievement: Starstruckx2Achievement: YOLOAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Organizations

@leanprover-community

Block or report EdAyers

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@0x91
Charlie Stocker 0x91
@Human-Oriented-ATP
Human-Oriented-ATP
@seabo
George Seabridge seabo

Zuni London

@mallamanis
Miltos mallamanis
Machine Learning Researcher

UK

@Jarred-Sumner
Jarred Sumner Jarred-Sumner

San Francisco, CA

@tigerbeetle
TigerBeetle tigerbeetle
The financial transactions database designed for mission critical safety and performance.

United States of America

@mixu
Mikito Takada mixu
@mithuna-y
mithuna-y
@larsmennen
Lars Mennen larsmennen
Cogna

@cogna-co

@frankmcsherry
Frank McSherry frankmcsherry

@MaterializeInc New York, NY

@andrewrk
Andrew Kelley andrewrk
Lead developer & president of Zig Software Foundation

@ziglang Portland, Oregon

@DanB91
DanB91

NYC

@grantjenks
Grant Jenks grantjenks
listen | learn | think | solve

Bay Area, CA

@adriangb
Adrian Garcia Badaracco adriangb

Chicago, IL

@jamii
Jamie Brandon jamii
Feral man-ape.

Vancouver, BC

@DonJayamanne
Don Jayamanne DonJayamanne
Software engineer with a soft spot for Golang and Node.js. Loves tinkering with Arduino and Raspberry Pi. Lives in a cave.

@microsoft Australia

@ericrbg
Eric Rodriguez ericrbg
Research Engineer at Harmonic (@ericrbg-harmonic)
@cogna-co
Cogna cogna-co
@swyxio
swyx.io swyxio
ai/software 3.0: https://latent.space/ devrel/devtools: https://dx.tips/ blog: https://swyx.io/ideas advice/career book: https://learninpublic.org

smol.ai San Francisco

@cristianoc
Cristiano Calcagno cristianoc
https://rescript-lang.org/ https://fbinfer.com/
@jesse-michael-han
Jesse Michael Han jesse-michael-han

Morph Labs San Francisco, CA

@johnchandlerburnham
John Chandler Burnham johnchandlerburnham

Argument Computer Corporation Boston, MA

@oppiliappan
tangled.org/oppi.li oppiliappan
@rsdy
rsdy rsdy

Symmetree Research Labs London, UK

@reflex-dev
Reflex reflex-dev
Web apps in pure Python. Deploy with a single command.

United States of America

@JukkaL
Jukka Lehtosalo JukkaL

Cambridge, UK

@96LAyers
Lawrence Ayers 96LAyers
@splitgraph
Splitgraph splitgraph
Building the Unified Data Stack (acquired by @EnterpriseDB)
@jamesgunnfiveai
James Gunn jamesgunnfiveai

Cambridge, UK

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@JCSadeghi
Jonathan Sadeghi JCSadeghi

UK

@zhangir-azerbayev
Zhangir Azerbayev zhangir-azerbayev
@jcommelin
Johan Commelin jcommelin

— —

@robertylewis
Rob Lewis robertylewis

Brown University Providence, RI

@kim-em
Kim Morrison kim-em

Canberra

@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

@arthurpaulino
Arthur Paulino arthurpaulino
I'm a computer scientist with many interests

Argument Computer Corporation Brazil

@Vtec234
Wojciech Nawrocki Vtec234

Pittsburgh, USA

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@BartoszPiotrowski
Bartosz Piotrowski BartoszPiotrowski

Meta Fundamental AI Research (FAIR) New York, NY

@ramonfmir
Ramon Fernández Mir ramonfmir

London

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@johoelzl
Johannes Hölzl johoelzl

München

@0art0
Anand Rao 0art0
@crabbo-rave
crab crabbo-rave

In a chair

@dwrensha
David Renshaw dwrensha

Pittsburgh, PA

@xubaiw
王虚白 xubaiw
Only responsive at weekend maybe

ACEM, SJTU Shanghai, China

@insightmind
Niklas Bülow insightmind

Apple Inc, San Francisco, California

@Julian
Julian Berman Julian
Lover of things. Climber of molehills. Seeking friends for the end of the world.

New York, NY

@aaronstockdill
Aaron Stockdill aaronstockdill

QubeRT London, United Kingdom