TomMD
TomMD avatar
Active user
3 months ago by invitation from dmz
41, averaging 4.56 per story/comment
2, most commonly tagged formalmethods
7
https://tommd.github.io
https://github.com/TomMD
@MDTom

With a background in security, cryptography, and protocol correctness I’m now working (with muse.dev) to make static analysis more main stream and accessible to developers at-large. Remember how the Haskell community realized “Monad” should be “warm fuzzy thing” or “the easy path”? Same idea here, “static analysis” should be “code check” - it might be hard to be the inventor but not the user.