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.

Explore my research Get in touch
Program synthesisLiquid typesReliable AIGuardrailsEvals

Microsoft and XDA

Microsoft send a legal notice to XDA for them to remove the upcoming WindowsMobile 6.5 ROM links.

While they are legally right, they should support XDA Developers. They are the biggest community of WinMobile Developers, and they are the ones that make the experience with Windows-powered smartphones and PDAs bearable.

Leaking wm6.5 to developers and hardcore users is the best way of doing a beta test, and improve the product launch since there will be 3rd party apps since 0day.

Published:
Author: Alcides Fonseca
Language: English