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

VC boom

This is why VC funding is a bubble ready to crash.

The valuation of startups is made based on the early rounds. And those are getting easier and easier because other companies fund the further rounds.

Only a tiny percentage is doing something (mostly being acquired by facebook or google as a easy process of recruiting good people). And the percentage is tiny even for normal VC standards.