Charles Southerland
proidiot
Computers don't have to suck, but we have to choose to fix them. Formal Methods, F(L)OSS, math memes, general nerdiness. aka @csoutherland
@stuphlabs Austin, TX
Rob Sison
robs-cse
There are few true mysteries in the world, but some of them are right here in Australia
Australia
Frederik Hanghøj Iversen
fredefox
Languages, functional programming, type theory and logic.
Penneo Copenhagen, Denmark
George Pîrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
Hao
ilovejs
0 headache approach
Write code IN [go, python, js]
Domain knownledge IN [oauth, crypto, jose]
Noah Diewald
noahdiewald
I am a PhD candidate in the Ohio State University Linguisitcs Department where I research morphology.
Ohio State University Columbus, OH USA
Michael Sproul
michaelsproul
Building Ethereum at Sigma Prime. I like types, specs and proofs.
@sigp Sydney, Australia
Eric Martindale
martindale
Code as craft! I like distributed systems and the human-friendly web. Formerly @Blockstream, @bitpay, @coursefork...
@FabricLabs [fc00::/8]