Martin Milan
martin12333
f8_text_file(s) (not only for PowerShell), browserPOSIX, visual_conlangs
James Gallicchio
JamesGallicchio
PhD student studying PL/FM.
I like building useful abstractions to make programming easier, and formal verification heavily guides that process for me :-)
Carnegie Mellon Pittsburgh, PA
Kevin Collas-Arundell
kcollasarundell
Melbourne Australia
José Moreira
cusspvz
Software Architecture, Security and Infrastructure | Open-Source <3
mosano.eu Póvoa de Varzim, Porto, Portugal
Adam Williams
lol768
SoftEng contractor in transport sector.
Previously @ MWR/F-Secure doing appsec consultancy.