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

Web Zeroes

This season is full of nice shows for me ( Simpsons, House, Heroes1, The Big Bang Theory, Two and Half Men, Lie to Me, The New Adventures of Old Christine, FlashForward2, The Mentalist, StarWars: Clone Wars and Stargate Universe3) but none of them air on Wednesday, so to fill in with Web Zeroes.

It’s a 10 minutes long video podcast where three internet geeks try to get rich and famous in the Internet. Each episode a different approach.

It’s not something amazing, but acceptable enough to watch on boring wednesdays :)


  1. It sucks. Big time. Don’t ask. ↩

  2. I give it 5 more episodes, and I’ll give up. ↩

  3. Same as above. ↩