Chris Penner
ChrisPenner
Writing software to improve the experience of writing software.
Author of Optics By Example
Unison Computing Victoria BC, CA
Zack
zack-bitcoin
I want to write software to save the unbanked.
Everyone should have access to modern financial tools.
Jason Gross
JasonGross
Machine Intelligence Research Institute Berkeley, California, United States
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
James Roper
jroper
Architect and creator of Kalix (https://kalix.io) at @lightbend, co-creator of @lagom, top contributor to @playframework.
@lightbend Canberra, Australia
Pascal Voitot
mandubian
AI applied research scientists & engineer - Data/Stream senior engineer - Senior developer on FP & typesafe languages
Job Free (Paris) Paris
Helena Edelson
helena
Snow Leopard and Wolf Conservation • Climate Change • AI • Aerial Robotics • Human-Wildlife Coexistence • Complex Adaptive Systems • previous
Earth
Shadaj Laddad
shadaj
Building @hydro-project, a framework for performant, modular, and correct distributed systems. PhD from UC Berkeley.
San Francisco
Vladimir Voevodsky
vladimirias
Vladimir Voevodsky died September 30, 2017. This account is maintained in memoriam by Dan Grayson as his academic executor, http://dangrayson.com/.