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

Idiocracy

Humanity doesn’t have a nice future from now on. Smart people stop having children while dumbasses have one after another. While homo sapiens de-evolute, an average soldier and a prostitute hibernate due to a unsuccessful military project (Think Futurama’s Fry). When they woke up 500 years in the future, society is dumb as hell and the average soldier is the smartest man on earth (for good and evil). As for the prostitute, almost nothing changed.

It’s a nice adventure in the future, a future that resembled Wall-E’s, and among some dumb-dumb-dumb stuff, the way they handle the rest of the world is entertaining, and I really rolled on the floor when he did his Scoffield-trick to break jail.

Oh, and the end is predicable, amused me nevertheless.