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

Symbian Platform opensources

After some Nokia bashing after the interview where they said OpenSource was not ready for the telco/entreprise business, today it was announced that , together with Morotola, Sony-Ericsson, NTT and other telco companies they will start developing a common UI framework that will be released under the Eclipse Public License ( which means it is opensource, royalties-free and less restrictive for companies when it comes to copyleft).

You can read more about this in OpenGarden.

I guess competition is always a good thing, right? So excluding the elites phone and bussiness-oriented (WM, BlackBerries and Palm), there will be Android vs Symbian, and both being OpenSource, that’s a good outcome either way.