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

Tech Startups in 2014

Everyone and their dog in the Startup world should read this:

Waffle’s 2014

Venture Capital and their eagerness to own the next Facebook has made them blind. They are throwing away money at stupid ideas, or event at cool domains without ideas.

Please make your idea work without any funding at first. In Computer Businesses, things are cheap to make. VCs, please focus on things that have real value, and not only in the VC Round A, Series B bubble world.