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

After all, Internet is all read/write

Brecke showed me this tip on how to edit any website.

Just enter this code in your address bar (tested in Firefox and IE7, and by me in Safari 3.1) and you’re done:

javascript:document.body.contentEditable='true'; document.designMode='on';void 0

Okay, so the changes are not saved, but still can help you to take some funny screenshots ;)