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

Vodafone integra Asus EEE na sua oferta

a Vodafone deverá comercializar o Asus Eee PC na sua versão Linux, incluindo diversas aplicações open-source de produtividade, em conjunto com uma pen USB para acesso à Internet móvel de banda larga.

Fonte: Tek

O iPhone para o resto de nós…