chess.com United States
renlabs
Vancouver, BC, Canada
@google Berkeley, CA
Unison Computing Victoria BC, CA
@Bloomberg New York City
Glasgow, UK
@nubank São Paulo, Brazil
@ImperialCollegeLondon London
ARM United Kingdom
@ObsidianSystems New York
{{ message }}
Andrew Grant
AndyGrant
Author of the chess engine Ethereal, as well as OpenBench, a distributed testing framework for engines.
FunctorFlow
functor-flow
ex–DARPA subcontractor (Skunk Works biotech ops, Phase 3 wetware trial escapee). former SOCOM contractor (2009–2014).
Pedro Delfino
pdelfino
Lawyer and Applied Mathematician (education) working as a Software Engineer. I know, it is weird.
Photo: São Cristóvão, Rio Grande do Norte, Brazil, Dez/2021
Manish Goregaokar
Manishearth
@rust-lang devtools, ex-core, internationalization @google
Chris Penner
ChrisPenner
Writing software to improve the experience of writing software.
Author of Optics By Example
Joomy Korkut
joom
Formal verification and programming languages researcher.
Matteo Capucci
mattecapu
Independent Researcher.
Applied Category Theory + ε.
Retired web dev.
Anne Isabelle "Anya" Macedo
retpolanne
Systems Engineer @nubank - Personal account
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
Lewis Russell
lewis6991
Formal verification engineer by day. Hobbyist software tinkerer at night.
John Ericson
Ericson2314
*x* should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary.
HigherOrderCO
HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
PreviousNext