I hack in C++, LISP, Rust, Coq & Idris. I think a lot about writing provably correct code.
- Portland, OR
- https://www.unwoundstack.com
- @unwoundstack
Emmanuel I. Obi
withtwoemms
Software Engineer interested in scalability and fault-tolerance
Chicago, IL
John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Will Crichton
willcrichton
Assistant professor of computer science. Bringing cognitive science to programming.
Brown University Providence, RI
Qingshui Zheng
qingshuizheng
Anesthesiologist,
setting up AnesWiki.com, very alpha version.
Wildomar, CA
PoliMath
politicalmath
Software developer, data visualization artist, writer of Marginally Compelling
Cranston McGee's Karaoke Speakeasy
John Regehr
regehr
CS professor at the University of Utah
University of Utah Salt Lake City, UT, USA
Jon Gjengset
jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.
@helsing-ai Oslo, Norway
Krzysztof
raidgar98
I am a student with huge passion to programming, especially for C++
BlockchainWares /home/raidg/
srrrse
withoutboats
In civilizations without boats, dreams dry up, espionage takes the place of adventure, and police take the place of pirates.
Berlin
Langston Barrett
langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.
@GaloisInc Brooklyn