Lucas Fernandes da Costa — Computability, types, tests, and why flat earthers are bad at QA