Linkedin
Talks@DI:  Edwin Brady, “Type-driven Development with Idris”

Talks@DI: Edwin Brady, “Type-driven Development with Idris”

The next Talk @ DI will be presented by Edwin Brady, Lecturer at the University of St Andrews (UK) and Idris’ creator, in the follow up of the invitation addressed by Vasco Vasconcelos. The lecture, with the same title of Brady’s book “Type-Driven...
Advanced virtual network @ SUPERCLOUD

Advanced virtual network @ SUPERCLOUD

A team of LASIGE, constituted by Nuno Neves, Fernando Ramos, Max Alaluna and Eric Vial, demonstrated the creation of a virtual network connecting 10 000 Docker containers over a multi-cloud setting spanning three providers (Amazon, Google, and LASIGE as a private...