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

Yet Another Twitter Client

After 3 months working in Adobe AIR in Flash, I decided to give HTML+CSS+JS a try, and this was my demo project. Just a really simple Twitter application, that would allow you to update and see your timeline.

You can download the source, but keep in mind, you have to apply your own certificate if you want to build it yourself. (This code is under the WTFPL opensource license)