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

SecondLife rolls out Mono-powered servers

LindenLabs have started to roll out the Mono-powered simulation servers

This means we’re one step closer (really really closer!) to start using IronPython and IronRuby in the Second Life virtual world.

Published: Aug 21, 2008

Author: Alcides Fonseca

Language: English

Making intelligent softwaremore reliable.

SecondLife rolls out Mono-powered servers

Making intelligent software
more reliable.