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

iPhone repression

Tom Morris write and excellent response (although a bit geeky) to Calanis’ post against the closeness of the iPhone.

I have to agree with Tom, those who buy an iPhone know what they are buying, they know how closed their iPhones (along with data-plans) are. Sure, all phones are closed, from being locked to a network, to block wifi/bluetooth/usb transfers to promote data-plans.

If you’re buying something (as awesome and eye candy as it can be), you must know if you can live with it’s closeness or not.