Skip to content
View EdAyers's full-sized avatar
🦕
🦕

Sponsoring

@syncthing

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
@mallamanis
Miltos mallamanis
Machine Learning Researcher

UK

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

United States of America

@frankmcsherry
Frank McSherry frankmcsherry

@MaterializeInc New York, NY

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

@ziglang Portland, Oregon

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

Bay Area, CA

@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)
@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/
@johnchandlerburnham
John Chandler Burnham johnchandlerburnham

Argument Computer Corporation Boston, MA

@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

@splitgraph
Splitgraph splitgraph
Building the Unified Data Stack (acquired by @EnterpriseDB)
@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@robertylewis
Rob Lewis robertylewis

Brown University Providence, RI

@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

@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

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@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