Sign up to save your podcasts
Or
Share How math can change the way we write software forever with Jeremiah Dunham
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
How math can change the way we write software forever with Jeremiah Dunham
Join Allen Helton and Jeremiah Dunham as they explore math in the world of computer science. Do developers use it as much as they thought they would or is it abstracted away to a point where we have no idea? What if there was a way to use math to prove the correctness of your code instead of writing unit tests? Guess what? It's possible. Tune into the episode as Allen and Jeremiah talk about the future of testing and exactly how you can (or can't) guarantee your code does what you expect it to.
About Jeremiah
Jeremiah is a Senior Software Development Manager on the AWS IAM Access Analyzer team. In 9+ years at Amazon, he's launched new services and features (AWS Elemental MediaStore and AWS IAM Access Analyzer custom policy checks), helped hundreds of people adopt AWS (including your podcast host!), received 10 patents, and spoken at several conferences, including re:Invent and re:Inforce. He cares deeply about using math to make the world a better place. When he's not thinking about things related to math, you'll probably find him running or enjoying a craft beer.
Links
View all episodes
By Allen Helton
5
22 ratings
Join Allen Helton and Jeremiah Dunham as they explore math in the world of computer science. Do developers use it as much as they thought they would or is it abstracted away to a point where we have no idea? What if there was a way to use math to prove the correctness of your code instead of writing unit tests? Guess what? It's possible. Tune into the episode as Allen and Jeremiah talk about the future of testing and exactly how you can (or can't) guarantee your code does what you expect it to.
About Jeremiah
Jeremiah is a Senior Software Development Manager on the AWS IAM Access Analyzer team. In 9+ years at Amazon, he's launched new services and features (AWS Elemental MediaStore and AWS IAM Access Analyzer custom policy checks), helped hundreds of people adopt AWS (including your podcast host!), received 10 patents, and spoken at several conferences, including re:Invent and re:Inforce. He cares deeply about using math to make the world a better place. When he's not thinking about things related to math, you'll probably find him running or enjoying a craft beer.
Links