Programação

Interpretable Machine Learning through Richly-Typed Genetic Programming

Seminário do Centro de Física Teórica e Computacional, por Alcides Fonseca (Departamento de Informática and LASIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal).

Ler mais acerca de Interpretable Machine Learning through Richly-Typed Genetic Programming

Kind Inference for the FreeST Programming Language

Seminário Doutoral do Departamento de Informática, por Bernardo Almeida.

Ler mais acerca de Kind Inference for the FreeST Programming Language

Automatic Detection and Resolution of Deadlocks in Go Programs

RSS Meetup, por António Ravara (FCT/UNL).

Ler mais acerca de Automatic Detection and Resolution of Deadlocks in Go Programs

Vectorial Genetic Programming for Symbolic Regression with Timeseries

Talk @LASIGE, por Philipp Fleck (Heuristic and Evolutionary Algorithms Laboratory, University of Applied Sciences Upper Austria).

Ler mais acerca de Vectorial Genetic Programming for Symbolic Regression with Timeseries

Refinement Types

Talk @LASIGE, por Niki Vazou (IMDEA).

Ler mais acerca de Refinement Types

Why learn Scala: the path to be a happier developer

Why would you be happier using Scala?

Ler mais acerca de Why learn Scala: the path to be a happier developer

Go and Go-routines (at Cloudflare)

Aula aberta sobre linguagem de programação Go, por Nuno Diegues (Systems Engineer at Cloudflare).

Ler mais acerca de Go and Go-routines (at Cloudflare)

Unlimited Coding

Um programa que junta o desenvolvimento de soft skills ao conhecimento do mercado de trabalho de uma forma dinâmica e descontraída.

Ler mais acerca de Unlimited Coding

LiquidJava - Extending Java with Refinements

RSS Meetup, por Catarina Gamboa (LASIGE, DI-FCUL).

Ler mais acerca de LiquidJava - Extending Java with Refinements

Advances and Challenges in Resilient Computing

Talk @LASIGE, com Paulo Esteves-Veríssimo (KAUST, CEMSE, RC3).

Ler mais acerca de Advances and Challenges in Resilient Computing

Ciências ULisboa