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.

Explore my research Get in touch
Program synthesisLiquid typesReliable AIGuardrailsEvals

Quantum of Solace

I’ve just watched Quantum of Solace the first one with this new guy as James Bond. I enjoyed the movie, but it was not a 007 movie.

It lacked:

  • My name is Bond, James Bond
  • Moneypenny
  • Martini
  • Charm
  • Gadgets, the multitouch UI was the only thing, and very weak.

Replace Craig with Statham, and it’s a regular action movie.

Published:
Author: Alcides Fonseca
Language: English