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

On Resting

We need the rest. It’s important in ways we don’t often think about. We need to de-stress, and we need to recharge our mental batteries.

Quiet and solitude and reflection lead to greater happiness when they’re a part of our daily lives, at least in some degree. What you do during this time — read, write, run, nap, sit, watch, listen, even have a quiet conversation, play, study, build — isn’t as important as the simple fact of having that time of disconnection.

— Leo Babauta, The Importance of Finding Focus (via Minimal)