Hi all, For a while now I've been working on understanding GHC's STM implementation and I finally have something to share. I've written a commentary on the implementation which can be found here: http://fryguybob.github.io/STM-Commentary/ The source is here: https://github.com/fryguybob/STM-Commentary/ It still could use a bit of polish and I would love to hear about any missing details, confusion, or misunderstandings. My goal in writing this was to fill in the gap found here http://hackage.haskell.org/trac/ghc/wiki/Commentary/Rts/STM. I happy to have it live where it is most appropriate. If anyone has opinions on that, let me know. Any comments are welcome, it may be easiest to just comment on the source directly on Github, but I will, of course, take feedback in any form. Thanks, Ryan Yates