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
Chen-Pang He
jdh8
I'm a compiler engineer at @skymizer. I love numerical analysis and linear algebra. I was a doctor.
@skymizer Taipei, Taiwan
Will O'Brien
willscripted
Operations and systems engineer, sometimes even for hire.
Bracket Software Bawston, MA
HigherOrderCO
HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
Branimir Karadžić
bkaradzic
coder (gamedev, open source, ex-demoscene) 🍀 author of bgfx open source rendering library
Los Angeles, CA
Formerly: Harvard Intelligent Probabilistic Systems Group -- Now at Princeton
HIPS
Ryan Adams' research group. Formerly at Harvard, now at Princeton. New Github repositories here: https://github.com/PrincetonLIPS
Princeton University, Princeton, NJ
AWS for the BEAM (Erlang VM)
aws-beam
Libraries and project to be able to use AWS for BEAM languages (e.g. Erlang and Elixir)
Kenton Varda
kentonv
Tech lead of Cloudflare Workers, Cap'n Proto, Sandstorm.io.
@cloudflare Austin, TX
John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Roberto Clapis
empijei
Go coder and Security Toolsmith with a horrible sense of humor.
Asymmetric Research Milano
Bilge
It's never too late to start writing good code.
Code for future you.
Experience is anticipating edge cases.
Weak programmers are afraid of spaces.
@ScriptFUSION All my code is golfed
PreviousNext