Craic and Code #1

This is the audio version of our Twitch show 'Craic and Code' - we broadcast every Friday at 3pm CET. That's 9am in NYC and 7.30 in Mumbai. We have a look at some code and discuss some topics in 15 minute (approximately) segments. This week we talk: microservices architecture; formal verification methods in computer science; and 3. World Logic Day. We are still fixing technical issues - it will be a beautiful thing... bear with us!