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

back to delicious

I’m so damn lucky! I decide to switch back to delicious after more than a year using ma.gnolia because of their OpenID support. Unfortunately OpenID is not taking off as it should have, so I decided to use the one with the best user interface, so I went back and imported all my ma.gnolia bookmarks into delicious.

Looks like today it went down with data corruption and loss. I’m so damn lucky!