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

The Mars Volta - Cotopaxi

The Mars Volta release today Octahedron in Europe and tomorrow in the US (Yay!). This music, Cotopaxi is the single here while our friends overseas get Since we’ve been wrong.

I already have the music here, and I’m afraid they are going soft. Since we’ve been wrong is the perfect example of how clear their music is becoming. Not very Omarish of them.