Tag: Well-Typed

IOHK | Cardano Meetup in Rotterdam – Edsko de Vries – Cardano Wallet

IOHK | Cardano Meetup in Rotterdam – Edsko de Vries – Cardano Wallet

The inaugural Cardano meetup in the Netherlands was held in Rotterdam in July. From the beautiful event space, the amazing speaker line up and the overwhelming attendance from the Dutch community, it’s an understatement to say this meetup was a success. Following Bernardo’s talk in the first part of this event, the next speaker was…

IOHK | Cardano development techniques, with Duncan Coutts, PhD

IOHK | Cardano development techniques, with Duncan Coutts, PhD

Cardano is being developed with the aim of making it high assurance software. This is code that is rigorously developed using certain techniques to ensure it is bug free and fit to carry huge amounts of value safely, something which is currently missing in the cryptocurrency area. In this talk, Dr Duncan Coutts, IOHK’s Director…