Interesting introduction to metaprogramming in the context of embedded systems. http://odinthenerd.blogspot.com/2014/07/introduction-to-c-metaprogramming-part-1.html Corresponding C++ library with full static checking and abstractions to special function registers of embedded microcontrollers. http://kvasir.io/

https://msdn.microsoft.com/en-us/library/8903062a.aspx

All of us are familiar with overflow bugs. However, sometimes you write code that counts on overflow. This is a story where overflow was supposed to happen but didn’t, hence the name underflow bug. https://labs.spotify.com/2015/08/27/underflow-bug/

This website explains the infamously difficult to understand Paxos consensus protocol using easy to understand invariants and code. http://paxos.systems/

http://libmill.org/