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

Portal das Autárquicas

..

As pessoas em Portugal votam como fãs de partidos como se de clubes de futebol se tratasse. Parabéns à equipa do Lisboa Para Pessoas pelo trabalho nesta plataforma que agrega os programas dos vários partidos para os 18 municípios da zona de Lisboa.

Um sampling nada aleatório:

Nova Direita para Lisboa: Implementar mecanismos de dissuasão da criação de bairros de hegemonia religiosa.

Espero que não se esqueçam da religião católica. Vou adorar o baralhar e dar de novo que vai acontecer com a habitação em Lisboa!

CDU para Lisboa: Defender junto do Governo e da AR que os municípios devem poder, perante o reconhecimento da declaração de situação de carência habitacional, proceder à posse administrativa de fogos com uso habitacional, devolutos ou sem utilização há mais de um ano, após a notificação.

Uma pessoa faz uma sabática e fica sem casa. Que giro!

“Moedas para Lisboa:” 100% da frota da Carris com zero emissões até 2030.

Alguém que me explique como é possível ter zero emissões num transporte público. A matemática não faz sentido.

Read next