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

Ratzinger, condoms, AIDS and Africa

Aids, he [Pope Benedict XVI] said, “is a tragedy that cannot be overcome by money alone, and that cannot be overcome through the distribution of condoms, which even aggravates the problems”.

This is one step from passive atheist to anti-catholic for me.