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

Don't Trust Documentation

Marcus Zarra wrote an article about not trusting documentation. It is based on the point that you are a lousy programmer compared to what you are going to be in the future. Therefore your documentation right now will suck for yourself in the future (and of course other people).