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

Atheist Bus

London buses are now displaying a beautiful slogan for the Atheist Campaign.

Although I like the idea, enjoy the ad they came up with, and even find the girl in the pic attractive with that tshirt, I won’t donate.

I don’t intend to take part of active atheism. Let the others believe in whatever they want, without any kind of pressure against.

I won’t say that ad will not light up some doubtful heads though.