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

Google Reader's favicon behavior explained

So regarding Google’s new favicon a lot of people noticed that in Firefox3 and Safari, the favicon for Google Reader was changing a lot.

Someone commented in my flickr page what seems the reason for this behavior:

dblume says:
Tipped like that means you have new content to read. If it is flat, there are no new items.