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

O Melhor Jornal de Política

Não percebo nada de política é um excelente post de Luís Miguel Sequeira, enorme (verdadeiramente enorme) mas tem qualidade ao quadrado. Para quem não gosta de política, mas especialmente para aqueles que se queixam do Governo a torto e a direito.

Se virem que não têm tempo para o ler, substituam a secção de política do vosso jornal por este post. Mesmo que por 6 meses.

Vale mesmo a pena!