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

Cara ASAE

Cara ASAE,

Parece que multaram uma empresa por ter um site com a funcionalidade de Convidar um Amigo.. Ora os CTT, cujo principal accionista é o Estado fez exactamente o mesmo no passatempo Amigos ViaCTT, também não deveriam ser multados?

Assim como todos os sites portugueses que façam uso de sistema de referral. E ainda me têm de explicar como é que isto é um esquema em pirâmide, havendo apenas descontos nos respectivos serviços/produtos?