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

MetaProgramming is okay

Even though Jeff Atwood believes that metaprogramming will lead to the apocalypse, I’ve recently discovered occasions where the metahammer has proven most useful.

Tony Perrie replies to Jeff Atwood about why monkey patching is okay to use. As long as you know what you are doing.

Oddly, I would get behind a law to make drunken monkeypatching a felony.