pschanely
pschanely avatar
Active user with invites disabled
8 days ago by invitation from yingw787
21, averaging 3.00 per story/comment
0
7
https://twitter.com/pschanely
https://github.com/pschanely

Hi! I’m interested in compilers and static analysis. My current big project is a theorem-prover-assisted property tester for python: https://github.com/pschanely/CrossHair

I’m also pretty friendly; send me a message anytime!