Some style changes for longer blog posts, small update to add star semirings
New post on applications of starsemirings