Favicon

I’ve added an animated favicon to the site:*To avoid becoming distracting, it only plays once, on page load, instead of indefinitely looping. The design has a few motifs: An upper case $\Lambda$ symbol: a nod to both the Lambda Calculus and the A in Abstract. That morphs into an uppercase blackboard bold $\mathbb{N}$ symbol: the set of natural numbers and the N in Nonsense. All of which is surrounded by square brackets (an array) to give the favicon a bit more presence. Lastly, the serifs are arrow-heads, evoking morphisms from Category Theory. Full disclosure: I tried multiple times to manually craft an SVG that had all the above components, but I just couldn’t get it right. Thus, inspired by a Google blog post announcing improved SVG design capabilities in the Gemini 3.1 Pro model, I decided to give it a try. It took many, many iterations to coerce Gemini’s output into something I was satisfied with, but I think the end result is pretty good.*There’s some issues with the animation…