Yann Hamdaoui from Tweag published a blog article about semantics:
I think formal semantics are crucial to understanding programs. Game semantics seems like the best of both worlds of denotational semantics and operational semantics. It allows both abstract reasoning and enough precision to describe semantics exactly.
A more in-depth introduction to game semantics on my reading list are these lecture notes by Pierre-Louis Curien:
