Alcides Fonseca.AI & Programming Languages researcher
40.197958, -8.408312

Making intelligent software
more reliable.

I work on the intersection of AI, Software Engineering and Programming Languages. Currently, I am applying Formal Methods to Agents, towards AI Safety.

Program synthesisLiquid typesReliable AIGuardrailsEvals

Regulação dos Jornalistas e Comunicação Social

Ligo a televisão hoje (já não a ligava à valentes semanas) e deparo-me com a Manuela Moura Guedes muito mais gorda e deforme a entrevistar o Presidente para a Autoridade Nacional da Regulação da Comunicação Social.

Podem ver aqui a entrevista bastante cómica. Eu não consigo porque eles teimam em usar o RealMedia plugin…