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

7 signs your UI was created by a programmer

It’s really easy to spot if an interface was made by a programmer, or by someone who really cares about human-machine interaction. Here are 7 obvious signs and I’ve seen almost all of them in some software I’ve used, or even in some small projects I made.

Of course not all the projects have a budget for an interface designer, but not all programs are professional, right?