))
How math can change the way we write software forever with Jeremiah Dunham
Manage episode 401281407 series 3521932
Το περιεχόμενο παρέχεται από το Allen Helton. Όλο το περιεχόμενο podcast, συμπεριλαμβανομένων των επεισοδίων, των γραφικών και των περιγραφών podcast, μεταφορτώνεται και παρέχεται απευθείας από τον Allen Helton ή τον συνεργάτη της πλατφόρμας podcast. Εάν πιστεύετε ότι κάποιος χρησιμοποιεί το έργο σας που προστατεύεται από πνευματικά δικαιώματα χωρίς την άδειά σας, μπορείτε να ακολουθήσετε τη διαδικασία που περιγράφεται εδώ https://el.player.fm/legal.
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
- LinkedIn -https://www.linkedin.com/in/jdunham
- AWS IAM Access Analyzer - https://aws.amazon.com/iam/access-analyzer
- Custom Policy Check Science Blog - https://www.amazon.science/blog/custom-policy-checks-help-democratize-automated-reasoning
- Dafny - https://dafny.org
36 επεισόδια
Μοίρασέ το
