The Guys, are my university colleagues João Rodrigues and Diogo Laginha, which don’t have much of an online presence, except for their Portuguese humor blog Hipertonia
Alcides Fonseca.AI & Programming Languages researcher
I work on the intersection of AI, Software Engineering and Programming Languages. Currently, I am applying Formal Methods to Agents, towards AI Safety.
The Guys, are my university colleagues João Rodrigues and Diogo Laginha, which don’t have much of an online presence, except for their Portuguese humor blog Hipertonia