On: Interview with Xavier Leroy

[haskellandchill]

I don’t see many options career wise however, I invested heavily in formal methods but I think it’s time for me to pivot to machine learning and data science to have higher paying job opportunities in NYC. I still believe it will have a major moment in the future and Proof Engineer will be a thing.

[auggierose → haskellandchill]

Proof engineer is a thing. It's just that there are only a handful of them :)