Aviator
Soe San Win
anocendi
I work with system software, infrastructure, cloud and security.
San Francisco Bay Area, USA
Prasanna Ram Venkatachalam
prasrvenkat
A little bit of this and a whole of that ....
Abbotsford, BC, Canada
David Blue
extratone
Self-described Software Historian (and lapsed auto journalist,) writing in public via GitHub and ｈｅｒｅ ｔｏ ｈｅｌｐ.
If I've screwed up, tell me! (Please)
@softwarehistorysociety Columbia, Missouri
ʕ̡̢̡ʘ̅͟͜͡ʘ̲̅ʔ̢̡̢ ʕ•̫͡•ʕ*̫͡*ʕ•͓͡•ʔ-̫͡-ʕ•̫͡•ʔ*̫͡*ʔ-̫͡-ʔ
Guillaume Claret
clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲
Formal Land Paris
Terje Larsen
terlar
I am a developer, living in Stockholm, Sweden. I am inspired by problem solving, tooling and automation.
Sweden
