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

Coldfingers

In this last week temperature dropped a lot around here. Although I like Winter more than Summer, this cold is really freezing my fingers and keeping me from doing any real programming work.

@meisenshi suggested a cool glove that not only keeps my hand warm, but also allows me to type. So if you have some bucks to spend, I can give you my address :)

And no, Luís, I don’t think a PowerGlove would make me more productive ;)