Dana MaProving things that aren’t true: a study in soundness and static typingAs a mathematics-student-turned-software developer, I’ve spent a lot of time thinking about how my undergraduate studies in mathematics…Apr 27, 2020Apr 27, 2020
Dana MainZendesk EngineeringHow we use AWS Batch at Zendesk to Build All The Machine Learning ModelsIn the first part of this epic trilogy, Wai Chee Yau discussed why we chose AWS Batch as the solution to our problem: scaling the building…Nov 8, 20183Nov 8, 20183