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

SuperDuperDudes

SuperDuperDudes é a minha Mailing List privada e elitista. A entrada é por convite pessoal, mas podem tentar pedir-me, que se estiver num dia bom pode ser que sim.

A ideia surgiu quando enviei um link para duas pessoas que não se conheciam, e eles acabaram por trocar umas ideias entre eles. Gostei da ideia e decidi expandi-la.

A lista, bastante informal, fala sobretudo de temas geeks: programação, web, mobile, engenharia de software, etc… mas de vez em quando foge para a forma como a tecnologia afecta a vida das pessoas, a política, etc…