Alcides Fonseca.AI & Programming Languages researcher

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.

Explore my research Get in touch

Program synthesisLiquid typesReliable AIGuardrailsEvals

It confirms! Twitter is the IRC 2.0

How am I sure that Twitter is, in fact, the IRC 2.0?

When I was 12 years old, kids like me spent their free time doing some mIRC scripts¹. Today, we just write twitter clients or just some mashups.

Well, I eventually gave up on mIRC and started writing Klient skripts. ↩

Published: Dec 05, 2008

Author: Alcides Fonseca

Language: English

Making intelligent softwaremore reliable.

It confirms! Twitter is the IRC 2.0

Making intelligent software
more reliable.