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

Don't plan a big software

Optimizing for your software project becoming big is the same as optimizing a car to hit a rock wall – you are optimizing for failure

Ola Bini on how you should think about small working pieces of software at a time, and make sure they work well, and they work together with others. This way your project won’t become as big as if you were planing it to be right from the start.