The recording and slides are in Spanish.
This is a talk I gave at the STEM Week event, by the Universidad Tecnológica de Campeche and members of the Microsoft Learn Student Ambassadors community.
Thank you to the organizers for extending my invitation and doing the following flyer:
My talk is titled The Lazy Programmer’s Guide to Bulletproof Code, where I touch on the next 3 subjects:
- Static type analysis.
- Property-based testing.
- Design by contracts.
At first hand, they might be unknown to some, but I try to show how you don’t need an extraordinary knowledge to be able to leverage them on your day to day.
My aim with this talk is to give evidence on how investing a little more time to the integration of certain tools to our work environment can spare us lots of bugs and time on the long-run. We achieve this by the use of concepts that we get from the Formal Methods community, but with a much lower learning curve.
You can download the slides I used at the event, here.
The recording of the talk is available here, starting at 1:00:00.