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

Android Review

O Luís Abreu mandou vir um Android Developer Phone 1 há um tempo (visto que ainda não está à venda em Portugal) e anda agora a fazer umas reviews ao bicho.

Não fazia ideia que o bicho estava tão bom em termos de software (em hardware é muito mais feio que o meu TyTN) e o vídeo do wikitude está mesmo surpreendente.

Wikitude Augmented Reality no Android em Lisboa from Luis Abreu on Vimeo.

Ainda falta um bocado para renovar o meu telemóvel (provavelmente dentro de uns meses), mas vou estar de olho nos androids!